Гриф: УМО вузов РФ по образованию в области подготовки педагогических кадров

Отраслевые рубрики: логика, математика, математическая логика, философские науки

Ключевые слова: аксиоматические теории, алгебра высказываний, булевы функции, высказывания, дедукция, кванторные операции, логика предикатов, логическая равносильность, логические операции, логическое программирование, логическое следование, метод резолюции, мощность множеств, нормальные формы, полнота, предикаты, проблема разрешения выполнимости, проблема разрешения общезначимости, Пролог, равносильные преобразования формул, система аксиом, тавтология, теория формального вывода, формализованные исчисления высказываний, формальные аксиоматические теории

Условия доступа:

ЭБС ZNANIUM
Доступ по логину и паролю. Доступ до 31.12.2024.