Элементы математической логики
Элементы математической логики
Издание: 6-е изд., стер.
Год выпуска: 2024
Купить печатное издание: В наличии
Купить доступ в электронной библиотеке:
Купить печатное издание: В наличии
Купить доступ в электронной библиотеке:
Уровень образования: Специальности среднего профессионального образования
Издание: 6-е изд., стер.
Артикул издания: 106117155
Вид издания: Печатные учебные издания
ISBN издания: 978-5-0054-2359-7
Год выпуска: 2024
Объем: 320 c.
Переплет: Пер. № 7 бц.
Формат: 60х90/16
Учебник подготовлен в соответствии с требованиями федерального государственного образовательного стандарта среднего профессионального образования и предназначен для изучения дисциплины «Элементы математической логики».В учебнике представлены с двух точек зрения — содержательной (семантической) и формальной (синтаксической) — два основных раздела математической логики — алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории — на содержательном и формальном уровнях, — становясь основой аксиоматического метода и превращая математические теории в аксиоматические — содержательные и формальные.
Для студентов, обучающихся по профессиям и специальностям среднего профессионального образования. Выгрузить библиографическое описание
Назад в раздел