Uroki Konstruktivizma

Kniga izlagaet osnovnye napravleniya konstruktivnoy matematiki (intuitsionizm, sovetskiy konstruktivizm, promezhutochnye kontseptsii) s tochki zreniya sovremennoy teoreticheskoy informatiki. Pri etom vse kontseptsii pererabatyvayutsya takim obrazom, chtoby oni mogli byt' primeneny k nechislovym strukturam dannykh (algebraicheskim, topologicheskim) i primeneny k sistemam programmirovaniya vysokogo urovnya. Osnovnye ispol'zuemye matematicheskie instrumenty: logika, topologiya, algebra, teoriya kategoriy. Pokazany printsipial'no novye metody formalizatsii i analiza ponyatiy, razrabotannye v konstruktivnykh napravleniyakh. Razobrany uroki popytok pryamogo prilozheniya konstruktivizma k nesovershennym programmnym sistemam. Daetsya takzhe vvedenie v nedavno poyavivshiesya razdely konstruktivizma, rabotayushchie s real'noy osushchestvimost'yu i ogranichennymi resursami. Zavershaetsya kniga manifestom prikladnogo konstruktivizma.