Tell your friends about this item:
Uroki Konstruktivizma: Konstruktivnye Napravleniya Xx Veka: Uspekhi, Neudachi, Vozmozhnosti Ispol'zovaniya, Perspektivy Nikolay Nepeyvoda Russian edition
Uroki Konstruktivizma: Konstruktivnye Napravleniya Xx Veka: Uspekhi, Neudachi, Vozmozhnosti Ispol'zovaniya, Perspektivy
Nikolay Nepeyvoda
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.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 14, 2011 |
| ISBN13 | 9783844351811 |
| Publishers | LAP LAMBERT Academic Publishing |
| Pages | 88 |
| Dimensions | 150 × 5 × 226 mm · 149 g |
| Language | German |
Christmas presents can be returned until 31 January