𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Вводный курс математической логики: [Учеб. пособие]

✍ Scribed by Успенский В.А., Верещагин Н.К., Плиско В.Е.

Book ID
127396837
Publisher
ФИЗМАТЛИТ
Year
2004
Tongue
Russian
Weight
863 KB
Edition
2-е
Category
Library
City
Москва
ISBN-13
9785922102780

No coin nor oath required. For personal study only.

✦ Synopsis

В учебном пособии содержится материал основного курса <Введение в математическую логику>, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Вероятностное моделирование в финансово-
Вероятностное моделирование в финансово-экономической области: Учеб. пособие для студентов, обучающихся по специальностям ''Финансы и кредит'', ''Бухгалт. учет, анализ и аудит'' и ''Мировая экономика''
✍ Лабскер Л.Г. 📂 Library 📅 2002 🏛 Альпина 🌐 Russian ⚖ 2 MB

В пособии излагаются основы теории марковских случайных процессов, протекающих в дискретных системах с дискретным и непрерывным временем. Иллюстрируется их применение в качестве вероятностных моделей различных финансово-экономических ситуаций. Пособие содержит достаточное количество детально разобра

cover
Аркадий и Борис Стругацкие. Все романы, повести, рассказы и пьесы в одной книге. Иллюстрированное издание: Пикник на обочине, Сталкер, Понедельник начинается в субботу, Трудно быть богом, Обитаемый остров, Улитка на склоне, Град Обреченный и другие
✍ Аркадий и Борис Стругацкие 📂 Fiction 📅 2022 🏛 Strelbytskyy Multimedia Publishing 🌐 Russian ⚖ 3 MB

Романы, повести, рассказы и пьесы Аркадия и Бориса Стругацких несомненно входят в золотой фонд мировой классики ХХ века. В настоящем уникальном иллюстрированном издании собрано практически все творческое наследие великих мастеров фантастики. В книгу вошли: Романы и повести Страна багровых туч Путь н

Элементы автоматических устройств энерго
Элементы автоматических устройств энергосистем. Учебное пособие для студентов высших учебных заведений. Второе издание, переработанное и дополненное
✍ В.Г.Дорогунцев, Н.И.Овчаренко. 📂 Library 📅 1979 🏛 Энергия 🌐 Russian ⚖ 7 MB

Аннотация издательства: В книге рассматриваются аналоговые и цифровые функциональные элементы автоматических управляющих устройств н автоматических систем управления процессом производства и распределения электроэнергии. Первое издание вышло в 1970 г. Во втором издании приводятся качественные и коли

Toyota Corolla / Fielder / Runx / Allex
Toyota Corolla / Fielder / Runx / Allex с 2000г. Выпуска (Праворульные модели 2WD & 4WD с 2000 г. выпуска с бензиновыми двигателями). Устройство, техническое обслуживание и ремонт
📂 Standards 📅 2006;2007 🏛 Легион-Автодата 🌐 Russian ⚖ 2 MB

В руководстве дается пошаговое описание процедур по эксплуатации, ремонту и технического обслуживанию праворульных автомобилей Toyota семейства Corolla (Corolla, Fielder, Runx, Allex) с 2000 выпуска, оборудованных бензиновыми двигателями 1NZ-FE (1,5 л), 2NZ-FE (1,3 л), 1ZZ-FE (1,8 л), 2ZZ-G (1,8 л