|
|
 |
| Результат поиска |
Поиск книг, содержащих: Исчисление предикатов
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 457 | | Верещагин Н.К., Шень А. — Языки и исчисления | 58, 158 | | Новиков Ф.А. — Дискретная математика для программистов | 119 | | Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 276 | | Дейт К. — Введение в системы баз данных | 899, 907 | | Клини С. — Математическая логика | 93—176, 241, 248, 339 | | Эдельман С.Л. — Математическая логика | 115, 127, 157—163 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 41, 440 | | Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 142 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 172 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 62 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 61 | | Фути К., Судзуки Н. — Языки программирования и схемотехника СБИС | 46 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 46, 52 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 69 (см. также «Логика предикатов») | | Фейс Р. — Модальная логика | 24 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 141, 144—145 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 110, 439 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 228 | | Каллан Р. — Основные концепции нейронных сетей | 199 | | Юревич Е.И. — Основы робототехники | 221 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 214 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 81 | | Энгелер Э. — Метаматематика элементарной математики | 14 | | Пенроуз Р. — Тени разума. В поисках науки о сознании | 155, 260 | | Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 219 | | Слэйгл Дж. — Искусственный интелект | 119, 261 | | Андерсон Р. — Доказательство правильности программ | 79 | | 3алманзон Л.А. — Беседы об автоматике и кибернетике | 291 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 17 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 208, 216 | | Себеста Р.У. — Основные концепции языков программирования | 617 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 101 | | Гетманова А.Д. — Учебник по логике | 73 | | Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 59 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 56, 156 | | Клини С.К. — Математическая логика | 93—176, 241, 248, 339 | | Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 70, 89, 90, 93, 201, 203 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 100, 192 | | Гришкин И.И. — Понятие информации. Логико-методолгический аспект. | 31, 62, 65, 196—-198, 203 | | Рафаэл Б. — Думающий компьютер | 157—162, 166, 179, 349 |
|
|
|
|
О проекте