Ассистент Новый вопросИстория

Области знаний

Партнёрские проекты

Спецпроекты

Стать автором

Сменить язык

О РУВИКИ

Ответ на вопрос

Исчисление предикатов

Перенаправление на:

Логика первого порядка

Исчисление предикатов

Часть материалов РУВИКИ подготовлена на основе внешних источников и проходит редакторскую проверку с использованием собственной дообучаемой системы. Возможны неточности. Если вы заметили ошибку, пожалуйста, сообщите нам на info@ruwiki.ru.

Краткие правила
Ценности редакции
Лицензирование
Условия использования
Политика конфиденциальности