ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Доклад посвящен заданию логических процессов средствами пропозициональных исчислений. Будет рассказано о том, как логические системы задаются исчислениями, условия существования такого задания, свойства решетки логических систем, порожденных исчислениями, условия разрешимости проблемы вывода для пропозициональных исчислений и сложность этого вывода.