Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Konstruktiwnye naprawleniq XX weka: uspehi, neudachi, wozmozhnosti ispol'zowaniq, perspektiwy
Details
| Verlag | LAP LAMBERT Academic Publishing |
| Ersterscheinung | 14. Juli 2011 |
| Maße | 22 cm x 15 cm x 0.6 cm |
| Gewicht | 149 Gramm |
| Format | Softcover |
| ISBN-13 | 9783844351811 |
| Seiten | 88 |