Книга: Зюзьков В. «Введение в математическую логику Учебное пособие»
|
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. . Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений. Формат: Твердая глянцевая, 268 стр.
ISBN: 9785811430536 |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Зюзьков Валентин Михайлович | Введение в математическую логику. Учебное пособие | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, Учебники для вузов. Специальная литература Подробнее... | 2018 | 2735 | бумажная книга |
| Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, - Подробнее... | 2018 | 1384 | бумажная книга |
| Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, (формат: 70x100/16, 268 стр.) Подробнее... | 2018 | 1790 | бумажная книга |
| Верещагин Н.К. | Вводный курс математической логики | В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на… — Физматлит, - Подробнее... | 2007 | 318 | бумажная книга |
См. также в других словарях:
Замятин, Алексей Петрович — Алексей Петрович Замятин Дата рождения: 3 октября 1946(1946 10 03) Место рождения … Википедия
Столяр, Абрам Аронович — Абрам Аронович Столяр (белор. Абрам Аронавіч Столяр, 20 февраля 1919, Тарутино, Бессарабия, ныне Одесская область Украины 6 мая 1993, Москва) белорусский советский педагог методист, известный работами по проблемам развития логического мышления… … Википедия
Российская Советская Федеративная Социалистическая Республика — РСФСР. I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… … Большая советская энциклопедия
Российская Советская Федеративная Социалистическая Республика, РСФСР (народное образование и культурно-просветительные учреждения) — VIII. Народное образование и культурно просветительные учреждения = История народного образования на территории РСФСР уходит в глубокую древность. В Киевской Руси элементарная грамотность была распространена среди разных слоев населения, о чём… … Большая советская энциклопедия
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия
