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