|
|
 |
| Результат поиска |
Поиск книг, содержащих: Логика высказываний
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 9, 10 | | Верещагин Н.К., Шень А. — Языки и исчисления | 9 | | Клини С. — Математическая логика | 12 | | Малпас Дж. — Реляционный язык Пролог и его применение | 29—37 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 237, 258, 295, 53 | | Кон П. — Универсальная алгебра | 209 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 90 | | Энгелер Э. — Метаматематика элементарной математики | 14 | | Уэно Х., Исидзука М. — Представление и использование знаний | 131 | | Осуга С. — Обработка знаний | 124 | | Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 111—112 | | Куринной Г.Ч. — Математика. Справочник | 57 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 93 | | Бочаров В.А., Маркин В.И. — Основы логики | 42 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 9 | | Клини С.К. — Математическая логика | 12 | | Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 82, 93, 164, 211, 267, 273, 288, 289 |
|
|
|
|
О проекте