Основной контент книги Математическая логика и теория алгоритмов
matnPDF
Hajm 255 sahifalar
2006 yil
Математическая логика и теория алгоритмов
40 735,54 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 4 073,56 soʻm oling.
Kitob haqida
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
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 2017Yozilgan sana:
2006Hajm:
255 Sahifa ISBN:
5-7418-0451-9, 978-5-7418-0451-3Umumiy o'lcham:
5.1 МБUmumiy sahifalar soni :
255Mualliflik huquqi egasi:
Горная книгаYuklab olish formati: