Вводный курс математической логики: Успенский, Верещагин, Плиско
Оцените и оставьте рецензию
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление преди
Полная аннотация
Издательство
Все характеристики
Аннотация
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Характеристики
Издательство
ID товара
1032375
ISBN
5-9221-0278-0
Все характеристики
Ожидается1 225
Рецензии на книгу
Читали книгу? Как она вам?
+50 ₽ за рецензию
Вы можете стать одним из первых, кто напишет рецензию на эту книгу, и получить бонус — до 50 рублей на баланс в Лабиринте!
Книги из жанра
2 0904 179 -50% Еще 2 дня
1 3002 600 -50% Еще 2 дня
1 4442 888 -50% Еще 2 дня
1 0642 128 -50% Еще 2 дня
8671 733 -50% Еще 2 дня
2 9525 904 -50% Еще 2 дня
3 8267 651 -50% Еще 2 дня
1 5253 050 -50% Еще 2 дня
1 3002 600 -50% Еще 2 дня
1 5943 187 -50% Еще 2 дня
8671 733 -50% Еще 2 дня
1 2322 464 -50% Еще 2 дня
5781 155 -50% Еще 2 дня
6071 214 -50% Еще 2 дня
4.8
2 2304 459 -50% Еще 2 дня
6071 214 -50% Еще 2 дня
1 0082 016 -50% Еще 2 дня
1 7383 476 -50% Еще 2 дня
