Uroki konstruktiwizma

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.