10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 4 407,91 soʻm oling.
matnPDF
Hajm 255 sahifalar
2006 yil
Математическая логика и теория алгоритмов
44 079,04 soʻm
Kitob haqida
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob tavsifi
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Kitob Е. В. Зайцевой, Л. М. Гуровой «Математическая логика и теория алгоритмов» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
25 avgust 2017Oxirgi yangilanish:
2006Hajm:
255 Sahifa ISBN:
5-7418-0451-9, 978-5-7418-0451-3Umumiy o'lcham:
5.1 МБUmumiy sahifalar soni :
255Mualliflik huquqi egasi:
Горная книгаФормат скачивания:
pdf
