Ваша оценкаВ книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметиза...
Жанры
Год издания:
1981
Язык:
Русский
Мягкая обложка, суперобложка, 204 стр.
Тираж: 9000 экз.
Формат: 84x108/32 (130х200 мм)
Возрастные ограничения:
18+
Содержание
Перевод: Н. Косовский
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 9
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
Подборки с этой книгой
Математическая логика и основания математики
- 25 книг
Логика
- 7 книг
Хочу прочитать
- 489 книг
Математика
- 23 книги
