Еще
Логотип LiveLib

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
Реймонд М. Смальян - Теория формальных систем
18+
User AvatarВаша оценка
0
(0)

Теория формальных систем

Реймонд М. Смальян
В книге в систематической фор­ме излагаются основы обширной области математической логики - общей теории формальных си­стем. Изложение охватывает так­же основные сведения об алгорифмических (рекурсивных) функ­циях, перечислимых, разреши­мых и креативных множествах, эффективных операциях над мно­жествами и функциями. Автору с помощью удачных теоретиче­ских и методических находок (таких, как понятие рудиментар­ного предиката, специальные способы кодирования слов, су­щественно упрощающие арифметиза...

Жанры

Издательство:

Главная редакция физико-математической литературы издательства "Наука"

Серия:

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

Год издания:

1981

Язык:

Русский

Мягкая обложка, суперобложка, 204 стр.

Тираж: 9000 экз.

Формат: 84x108/32 (130х200 мм)

Возрастные ограничения:

18+

Содержание

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 9

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Другие издания

  • Теория формальных систем