-
Ruský jazyk
Uroki konstruktiwizma
Autor: Nikolaj Nepejwoda
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
45.36 €
bežná cena: 50.40 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783844351811
Anglický jazyk 
