|
|
 |
| Результат поиска |
Поиск книг, содержащих: Правило подстановки
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 20, 54, 181 | | Верещагин Н.К., Шень А. — Языки и исчисления | 52 | | Мендельсон Э. — Введение в математическую логику | 135 | | Новиков Ф.А. — Дискретная математика для программистов | 85 | | Клини С. — Математическая логика | 49, 144, 316 | | Эдельман С.Л. — Математическая логика | 131 | | Бухбергер Б., Коллинз Дж., Лоос Р. — Компьютерная алгебра: символьные и алгебраические вычисления | 31 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 64 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 111 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 165 | | Фейс Р. — Модальная логика | 32, 33, 341 | | Карри Х.Б. — Основания математической логики | 270 | | Такеути Г. — Теория доказательств | 356, 372 | | Ширков Д.В., Серебряков В.В., Мещеряков В.А. — Дисперсионные теории сильных взаимодействий при низких энергиях | 49 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 60, 221 | | Ту Дж., Гонсалес Р. — Принципы распознавания образов | см. «Грамматическое правило» | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 56, 207 | | Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 241, 242, 251 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 61, 64 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 221 | | Берс Л. — Математический анализ, том 1 | 273, 480 | | Бенерджи Р. — Теория решения задач | 47 | | Грауэрт Г., Либ И. — Дифференциальное интегральное исчисление | 206 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 1023, 1252 | | Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 218, 589 | | Желобенко Д.П. — Основные структуры и методы теории представлений | 97 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 51 | | Клини С.К. — Математическая логика | 49, 144, 316 | | Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы | 81 | | Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления | 31 | | Мендельсон Э. — Введение в математическую логику | 135 |
|
|
|
|
О проекте