Autor/Autorin: ????????? ???????
????????? ??????????? ???????????? (??????, ??????). ???????? ?????????? - ??????????????????? ???????????? (??????, ???????????,?????????, ???????????, ??????????). ???????? ??????????"?????????? ????????????" (??????)
????? ???????? ???????? ??????????? ?????????????? ?????????? (????????????, ????????? ??????????????, ????????????? ?????????) ? ????? ?????? ??????????? ????????????? ???????????. ??? ???? ??? ????????? ???????????????? ????? ???????, ????? ??? ????? ???? ????????? ? ?????????? ?????????? ?????? (??????????????, ??????????????) ? ????????? ? ???????? ???????????????? ???????? ??????. ???????? ???????????? ?????????????? ???????????: ??????, ?????????, ???????, ?????? ?????????. ???????? ????????????? ????? ?????? ???????????? ? ??????? ???????, ????????????? ? ?????????????? ????????????. ????????? ????? ??????? ??????? ?????????? ??????????????? ? ????????????? ??????????? ????????. ?????? ????? ???????? ? ??????? ??????????? ??????? ???????????????, ?????????? ? ???????? ??????????????? ? ????????????? ?????????. ??????????? ????? ?????????? ??????????? ???????????????.
Über den Autor
Professor Udmurtskogo uniwersiteta (Izhewsk, Rossiq). Osnownoj rodzanqtij - interdisciplinarnye issledowaniq (logika, informatika,filosofiq, lingwistika, matematika). Redaktor ezhegodnika"Logicheskie issledowaniq" (Moskwa)
Klappentext
Kniga izlagaet osnownye naprawleniq konstruktiwnoj matematiki (intuicionizm, sowetskij konstruktiwizm, promezhutochnye koncepcii) s tochki zreniq sowremennoj teoreticheskoj informatiki. Pri ätom wse koncepcii pererabatywaütsq takim obrazom, chtoby oni mogli byt' primeneny k nechislowym strukturam dannyh (algebraicheskim, topologicheskim) i primeneny k sistemam programmirowaniq wysokogo urownq. Osnownye ispol'zuemye matematicheskie instrumenty: logika, topologiq, algebra, teoriq kategorij. Pokazany principial'no nowye metody formalizacii i analiza ponqtij, razrabotannye w konstruktiwnyh naprawleniqh. Razobrany uroki popytok prqmogo prilozheniq konstruktiwizma k nesowershennym programmnym sistemam. Daetsq takzhe wwedenie w nedawno poqwiwshiesq razdely konstruktiwizma, rabotaüschie s real'noj osuschestwimost'ü i ogranichennymi resursami. Zawershaetsq kniga manifestom prikladnogo konstruktiwizma.
