Элементы математической логики
Специальности среднего профессионального образования
Гриф: Рекомендовано (ФГАУ «ФИРО») в качестве учебника для использования в учебном процессе образовательных учреждений, реализующих программы СПО по специальностям 09.02.02, 09.02.03.,09.02.04.
Издание: 1-е изд.
Артикул издания: 101117155
Вид издания: Печатные учебные издания
ISBN издания: 978-5-4468-2579-0
Год выпуска: 2016
Объем: 320 c.
Переплет: № 7 бц.
Формат: 60х90/16
Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики».В учебнике представлены с двух точек зрения – содержательной (семантической) и формальной (синтаксической) – два основных раздела математической логики – алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории – на содержательном и формальном уровнях, – становясь основой аксиоматического метода и превращая математические теории в аксиоматические – содержательные и формальные.
Для студентов учреждений среднего профессионального образования. Выгрузить библиографическое описание
Назад в раздел