Нет отзывов
Аннотация
| Издательство | |
|---|---|
| Страниц | 320 |
| Год, тираж | 2018 |
Не в наличии
Отзывы
0Описание и характеристики
Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики».
.В учебнике представлены с двух точек зрения — содержательной (семантической) и формальной (синтаксической) — два основных раздела математической логики — алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории — на содержательном и формальном уровнях, — становясь основой аксиоматического метода и превращая математические теории в аксиоматические — содержательные и формальные.
.Для студентов учреждений среднего профессионального образования.
| Код | 2543316 |
|---|---|
| Издательство | |
| Кол-во страниц | 320 |
| Год издания | 2018 |
| ISBN | 978-5-44-682579-0 |
| Раздел | Математика |
| Размеры | 1.7 см × 14.5 см × 21.5 см |
| Вес | 0.4 кг |