|
|
 |
| Результат поиска |
Поиск книг, содержащих: Тезис Чёрча
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 271 | | Мендельсон Э. — Введение в математическую логику | 164, 249, 250 | | Клини С. — Математическая логика | 281, 290 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 306, 487, 488 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 254 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 12, 44 | | Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления | 19 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 92, 106 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 15 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 121 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 12, 72, 84, 88 | | Степанов С.А. — Арифметика алгебраических кривых | 346 | | Карри Х.Б. — Основания математической логики | 188 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 144 | | Мартин-Лёф П. — Очерки по конструктивной математике | 24, 31 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 41 | | Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 159 | | Пуаза Б. — Курс теории моделей | 7.b | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 190 | | Клини С.К. — Введение в метаматематику | 287 | | Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 330 | | Панов М.И. — Методические проблемы интуиционистской математики | 171, 172 | | Успенский В.А. — Лекции о вычислимых функциях | 157 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 22 | | Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 563 | | Клини С.К. — Математическая логика | 281, 290 | | Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 330 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 31 | | Мендельсон Э. — Введение в математическую логику | 164, 249, 250 | | Жолков С.Ю. — Математика и информатика для гуманитариев | 490—492, 494 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 254 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 190 | | Лопатинский. — Разложение полиномиальной матрицы на множители | 119 |
|
|
|
|
О проекте