Логика первого порядка
это формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
- Предмет: Логика
- Автор: Белова Марина
Похожие термины по предмету логика
ADO.NET
это библиотека классов, с помощью которых приложение устанавливает подключение к базе данных и выполняет запросы.
