| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Успенский, В. А.
Вводный курс математической логики : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2007. - 126 с. - URL: http://www.iprbookshop.ru/17196.
Вводный курс математической логики : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2007. - 126 с. - URL: http://www.iprbookshop.ru/17196.
Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
ББК: 22.12
Рубрики: Естественные науки, Математика, Математическая логика (основания математика)
Ключевые слова: вычислимая функция, исчисление предикатов, логико-математический язык, математическая логика, теория алгоритмов, теория множеств
Ссылка на ресурс: http://www.iprbookshop.ru/17196