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