|
|
 |
| Результат поиска |
Поиск книг, содержащих: Пустое слово
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 126 | | Мендельсон Э. — Введение в математическую логику | 229 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 842 | | Эдельман С.Л. — Математическая логика | 129 | | Коснёвски Ч. — Начальный курс алгебраической топологии | 203 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 12, 44, 51, 87, 143, 154 | | Масси У., Столлингс Дж. — Алгебраическая топология. Введение. | 113 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 25 | | Мартин-Лёф П. — Очерки по конструктивной математике | 9 | | Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 168 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | II—1043; IV—1209 | | Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов | 17 | | Ландо С.К. — Лекции о производящих функциях | 40 | | Успенский В.А. — Лекции о вычислимых функциях | 409 | | Ревзин И.И. — Современная структурная лингвистика | 1.2.3.1 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 342 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 154 | | Мендельсон Э. — Введение в математическую логику | 229 |
|
|
|
|
О проекте