|
|
 |
| Результат поиска |
Поиск книг, содержащих: Связка логическая
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 12 | | Новиков Ф.А. — Дискретная математика для программистов | 108 | | Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 12 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 22 | | Попов Э.В. — Общение с ЭВМ на естественном языке | 95 | | Белоусов А.И., Ткачев С.Б. — Дискретная математика | 24 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 21 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 | | Уэно Х., Исидзука М. — Представление и использование знаний | 132 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 55, 297, 355 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 60, 477 | | Бунге М. — Причинность. Место принципа причинности в современной науке | 276 | | Калужин Л.А. — Введение в общую алгебру | 63 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 22 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 191 |
|
|
|
|
О проекте