П.Е. Алаев. Математическая логика

Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».

Издательство: Профобразование, Ай Пи Ар Медиа
Год: 2020
Страниц: 98
Формат: PDF
Язык: русский

 

Скачать книгу (10,1 МБ):