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