|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формула общезначимая
| Книга | Страницы для поиска | | Новиков Ф.А. — Дискретная математика для программистов | 102, 107, 122 | | Верещагин Н.К., Шень А. — Языки и исчисления | 158 | | Эдельман С.Л. — Математическая логика | 75, 78, 79 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 108 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 37, 44 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 63 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 167 | | Такеути Г. — Теория доказательств | 51 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 84, 241 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 79, 227 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 61 | | Бочаров В.А., Маркин В.И. — Основы логики | 62, 120 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 156 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 108 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 211 |
|
|
|
|
О проекте