Принцип резолюции в исчислении высказываний и логике предикатов и его модификации
Информатика, программирование

Похожие рефераты

Расчет устройства по комплектующим

Контроль структури програми

Графічні роботи на комп’ютері

Построение многооконных приложений для Windows

Экспертные системы как прикладная область искусственного интеллекта

Практика оператора (WINDOWS 95, MICROSOFT WORD 97, MATHCAD, ЯЗЫКИ ПРОГРАММИРОВАНИЯ, ЭЛЕКТРОННЫЕ КНИГИ, VISIO, Norton Utilites 3.0 for Windows 95)

Вычисление определённых интегралов

Базы данных. Создание форм и отчетов (на примере ACCESS)

Защита информации: цифровая подпись

«Азы» программирования и обучающие программы

Печать в сети Windows

Разработка базы данных для приложения "Радиодетали"