Поиск книг, содержащих Определение рекурсивное :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Определение рекурсивное

Книга	Страницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.	466
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции	156
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.	357
Такеути Г. — Теория доказательств	94
Феферман С. — Числовые системы. Основания алгебры и анализа	88
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	IV—961
Рассел С., Норвиг П. — Искусственный интеллект: современный подход	915

О проекте