Uroki Konstruktivizma: Konstruktivnye Napravleniya Xx Veka: Uspekhi, Neudachi, Vozmozhnosti Ispol'zovaniya, Perspektivy - Nikolay Nepeyvoda - Books - LAP LAMBERT Academic Publishing - 9783844351811 - July 14, 2011
In case cover and title do not match, the title is correct

Uroki Konstruktivizma: Konstruktivnye Napravleniya Xx Veka: Uspekhi, Neudachi, Vozmozhnosti Ispol'zovaniya, Perspektivy Russian edition

Price
€ 40.49

Ordered from remote warehouse

Expected delivery Nov 26 - Dec 4
Christmas presents can be returned until 31 January
Get notified about new Nikolay Nepeyvoda releases
Add to your iMusic wish list

Not rated yet

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