Логика и компьютер: Моделирование рассуждений и проверка правильности программ
A

Логика и компьютер: Моделирование рассуждений и проверка правильности программ

Машинное обучение
mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems
Автор
Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак
Издательство
Наука
Год
1990
Язык
Русский
43
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Модели, методы, алгоритмы и программные решения вычислительных машин, комплексов и систем

Модели, методы, алгоритмы и программные решения вычислительных машин, комплексов и систем

С. В. Веретехина, В. Л. Симонов, О. Л. Мнацаканян

Изучаем SQL и MySQL. С легкостью извлекайте данные и манипулируйте ими с помощью команд SQL

Изучаем SQL и MySQL. С легкостью извлекайте данные и манипулируйте ими с помощью команд SQL

Ашвин Паджанкар

Алгоритмы и модели вычисления

Алгоритмы и модели вычисления

Дмитрий Голубенко, Алексей Крошнин, Эдуард Горбунов

Введение в логическое программирование

Введение в логическое программирование

Майкл Дженесерет, Винай К. Чаудри

Теория алгоритмов

Теория алгоритмов

В.И. Игошин

Программирование: введение в профессию. Том 2: Системное программирование

Программирование: введение в профессию. Том 2: Системное программирование

А. Н. Столяров

Изучаем SQL. Генерация, выборка и обработка данных

Изучаем SQL. Генерация, выборка и обработка данных

Алан Болье

Алгоритмы. Справочник с примерами на С, C++, Java и Python. Второе издание

Алгоритмы. Справочник с примерами на С, C++, Java и Python. Второе издание

Джордж Хайнеман, Гэри Поллис, Стэнли Селков

Программирование: типовые задачи, алгоритмы, методы

Программирование: типовые задачи, алгоритмы, методы

Д. М. Златопольский

Практикум по проектированию программного обеспечения экономических информационных систем

Практикум по проектированию программного обеспечения экономических информационных систем

Вендров А. М.