Техника и инструменты

непейвода николай николаевич прикладная логика учебное пособие


Описание:

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология". Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное). Текст приводится в авторской редакции. 3-е издание, существенно переработанное и дополненное.

Наш каталог:

электрическая газонокосилка stiga slm 540 ae kit 860 вт 38 см | аккумулятор black decker bl2018 xj li ion 18 в 2 а·ч | колготки conte kids для девочек фантазийные фиолетовый | холст на подрамнике студия 20 20см 100 | колготки conte kids детские фантазийные 300 den розовый | аккумулятор cs bdx512px для black | printio футболка wearcraft premium slim fit футболка hbb 2020 | аккумуляторные 1211 ножницы для газонов аккумуляторные gardena accucut | электрическая газонокосилка stiga combi 340c 1600 вт 38 см | аккумулятор black decker bl2018 xj 18в 2ач li ion | электрическая газонокосилка stiga collector 132e kit 350 вт 30 см | аккумулятор для электроинструмента dewalt dcb183 xj 18v 2 0 аh xr li ion | колготки conte kids для мальчиков фантазийные 250 den размер 80 86 розовый | аккумулятор black decker bl1512 xj li ion 10 8 в 1 5 а·ч | колготки conte kids детские классические без шортиков бежевый | колготки conte kids для мальчиков фантазийные 250 den размер 62 74 розовый | колготки conte kids детские размер 62 74 серый | колготки conte kids детские ажурные без шортиков синий | колготки conte kids детские фантазийные размер 62 74 зеленый | холст на подрамнике московская палитра 24 30см 100 | lilo помада для губ cosmic тон 508 | колготки conte kids для девочек классические размер 62 74 белый | помада lilo помада губная cosmic | газонокосилка stiga collector 548 s 2l0482048 st2 | холст для акварели на картоне московская палитра 25 35см 100 |

© Copyright - my-manor.ru 2016-2023 Карта сайта