{"product_id":"uroki-konstruktiwizma-von-nikolaj-nepejwoda","title":"Uroki konstruktiwizma","description":"\u003cp\u003eKniga 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783844351811\"\u003e\u003ch3\u003eKonstruktiwnye naprawleniq XX weka: uspehi, neudachi, wozmozhnosti ispol'zowaniq, perspektiwy\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783844351811","offer_id":39493623218269,"sku":"9783844351811","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/921f975c-5d35-4493-8f3b-c57df469129b.jpg?v=1773382169","url":"https:\/\/shop.autorenwelt.de\/products\/uroki-konstruktiwizma-von-nikolaj-nepejwoda","provider":"Autorenwelt Shop","version":"1.0","type":"link"}