| Найдено документов - 3 | Найти похожие: "Заглавие" = 'Введение в математическую логику' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.45я44я73 - К 608
Колмогоров, А. Н.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Колмогоров А. Н., Драгалин А. Г.
Отраслевые рубрики: логика, математика, математическая логика
Ключевые слова: алгоритмы, доказательства, исчисление высказываний, исчисление предикатов, логико-математические языки, логические законы, множества, теория алгоритмов, теория доказательств, теория множеств, формальные аксиоматические теории
Форматированное содержание:
Введение в математическую логику
Математическая логика. Дополнительные главы
Индексы ББК: 87.45я44я73, 22.12я44я73
Представления: Формат MARC21
2. Книга
Полочный шифр: 22.122я73 - К 608
Колмогоров, А. Н.
Введение в математическую логику : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Дрыгалин. — Москва : Издательство Московского университета, 1982. — 120 с. — Прил.: с. 116. - Лит.: с. 120. — Текст : непосредственный.
Введение в математическую логику : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Дрыгалин. — Москва : Издательство Московского университета, 1982. — 120 с. — Прил.: с. 116. - Лит.: с. 120. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Колмогоров А. Н., Дрыгалин А. Г.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: булева алгебра, высказывания, исчисление высказываний, исчисление предикатов, логика высказываний, логика предикатов, логико-математические языки, логические законы, логические знаки, математические знаки, математические структуры, синтаксис, теорема дедукции, теория множеств, формальные аксиоматические теории
Индексы ББК: 22.122я73
Представления: Формат MARC21
3. Книга
Полочный шифр: 22.122 - Ч-50-8
Черч, А.
Введение в математическую логику. Т.1 / А. Черч ; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. — Москва : Иностранная литература, 1960. — 487 с. — Примеч. — Текст : непосредственный : непосредственный.
Введение в математическую логику. Т.1 / А. Черч ; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. — Москва : Иностранная литература, 1960. — 487 с. — Примеч. — Текст : непосредственный : непосредственный.
Экземпляры: Всего: 1, из них: ч/з-1 в наличии 1
Подробнее
Авторы: Черч А.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: аксиома бесконечности, аксиома сводимости, бесконечность, вычислительная математика, дедукция, исчисления, исчисления второго порядка, исчисления первого порядка, кванторы, константы, механика, операторы, переменные, постулаты, пропозициальные функции, равенства, сводимость, семантика, синтаксис, суждение, теорема дедукции, теория постулатов, функции
Индексы ББК: 22.122, 87.3, 22.161.62
Представления: Формат MARC21