Логика и компьютер. Выпуск 5. Пусть докажет компьютер

Нехудожественная литература → Компьютерная литература → Основы информатики, общие работы
Логика и компьютер. Выпуск 5. Пусть докажет компьютер
Год
 
Страниц
 
208
ISBN
 
5020328596
Издатель
 
Наука
Категория
 
Основы информатики, общие работы

Описание:

Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте.

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

Внешние дифференциальные системы и вариационное исчислениеВнешние дифференциальные системы и вариационное исчисление
Автор: Ф. Гриффитс
Год: 1999
Высшая математика для технических университетов. Интегральное исчисление функций одной переменнойВысшая математика для технических университетов. Интегральное исчисление функций одной переменной
Автор: А. А. Карпук
Год: 2008
Внешние дифференциальные системы и вариационное исчислениеВнешние дифференциальные системы и вариационное исчисление
Автор: Гриффитс Ф.
Год: 1986
Дифференциальное исчислениеДифференциальное исчисление
Автор: Тихомиров В.М.
Год: 2002
Вещественный и комплексный анализ. В 6 частях. Книга 2. Часть 2. Интегральное исчисление функций скалярного аргумента. Часть 3. Дифференциальное исчисление функций векторного аргументаВещественный и комплексный анализ. В 6 частях. Книга 2. Часть 2. Интегральное исчисление функций скалярного аргумента. Часть 3. Дифференциальное исчисление функций векторного аргумента
Автор: Э. И. Зверович
Год: 2008
Вариационное исчисление и оптимальное управлениеВариационное исчисление и оптимальное управление
Автор: Ванько В.И., Ермошина О.В., Кувыркин Г.Н.
Год: 2006