Основной контент книги Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
ТекстmatnPDF

Hajm 255 sahifalar

2006 yil

0+

Математическая логика и теория алгоритмов

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 2017
Yozilgan sana:
2006
Hajm:
255 Sahifa
ISBN:
5-7418-0451-9, 978-5-7418-0451-3
Umumiy o'lcham:
5.1 МБ
Umumiy sahifalar soni :
255
Mualliflik huquqi egasi:
Горная книга
Yuklab olish formati:

Ushbu kitob bilan o'qiladi