Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.)КНИГИ » НАУКА И УЧЕБА
Название: Математическая логика и теория алгоритмов Автор: Блатов И.А., Старожилова О.В. Издательство: Самара: ПГУТИ Год: 2017 Страниц: 214 Формат: djvu Размер: 30,3 Мб Язык: Русский
В настоящее время математическая логика с успехом применяется в радиотехнике, лингвистике, теории автоматического управления, программировании, системах искусственного интеллекта. Пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Пособие предназначено для студентов и специалистов, желающих изучать математическую логику самостоятельно.
Навигация
Вход на сайт
Реклама
Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.) 
