|
|
 |
| Результат поиска |
Поиск книг, содержащих: Роджерс
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 270, 272, 320 | | Мендельсон Э. — Введение в математическую логику | 270, 278, 280, 300, 303, 305, 307 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 2) Спектральная теория | 972 | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 19 | | Уэзерелл Ч. — Этюды для программистов | 59 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 5, 424, 428, 509, 569 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 46 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 287, 363 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 85 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 46 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 74, 246 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 13, 70, 263 | | Карри Х.Б. — Основания математической логики | 188 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 12, 425 | | Харари Ф., Палмер Э. — Перечисление графов | 9 | | Роджерс Д., Адамс Дж. — Математические основы машинной графики | 20, 243, 382, 458, 460 | | Милнор Дж., Хьюзмоллер Д. — Симметрические билинейные формы | 44, 48 | | Ту Дж., Гонсалес Р. — Принципы распознавания образов | 125, 390 | | Куранский Е.С. (ред.) — Альберт Эйнштейн и теория гравитации. Сборник статей | 571 | | Бленд Д. — Нелинейная динамическая теория упругости | 125 | | Линдон Р. — Заметки по логике | 57 | | Шенфилд Дж. — Степени неразрешимости | 10, 82, 109, 166, 179, 180, 184 | | Венкатараман К., Вульфсон Н.С. (ред.) — Химия синтетических красителей (т. 2) | 1371 | | Харнед Г., Оуэн Б. — Физическая химия растворов электролитов | 269 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 1) Общая теория. | 107, 796, 835 | | Иберла К. — Факторный анализ | 317 | | Леман Э. — Теория точечного оценивания | 357 | | Кокрен У. — Методы выборочного исследования | 14 | | Пич А., Лизоркин П.И. (ред.) — Операторные идеалы | 35, 482 | | Штокало И.З. (ред.) — История отечественной математики. Том 3 | 373 | | Штокало И.З. (ред.) — История отечественной математики. В 4-х томах | 373 | | Штокало И.З. — История отечественной математики. Том 3. 1917-1967 | 373 |
|
|
|
|
О проекте