|
|
 |
| Результат поиска |
Поиск книг, содержащих: Предикат (predicate)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 35 | | Клоксин У., Меллиш К. — Программирование на языке пролог | 20, 262 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 12 | | Шенфилд Дж. — Математическая логика | 24 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 79, 85 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 12 | | Чёрч А. — Введение в математическую логику (том 1) | § 49, п. 458 | | Карри Х.Б. — Основания математической логики | 63, 445 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 92 | | Хоггер К. — Введение в логическое программирование | 19—20, 22 | | Шенфилд Дж. — Степени неразрешимости | 113 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 110, 123 | | Клини С.К. — Введение в метаматематику | 131, 132, 203 | | Хоггер К. — Введение в логическое программирование | 19—20, 22 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 23 | | Вайнгартен Ф. — Трансляция языков программирования | 17 | | Грогоно П. — Программирование на языке Паскаль | см. "Условие" | | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 96 | | Сэвидж Д.Э. — Сложность вычислений | 184 | | Грогоно П. — Программирование на языке Pascal | см. "Условие" | | Шенфилд Дж. — Математическая логика | 24 |
|
|
|
|
О проекте