|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Пропозициональные исчисления как средство задания логических процессовдоклад на конференции
- Автор: Боков Г.В.
- Международная Конференция : XI международная конференция «Интеллектуальные системы и компьютерные науки»
- Даты проведения конференции: 28 ноября - 2 декабря 2016
- Дата доклада: 30 ноября 2016
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Механико-математический факультет МГУ им.М.В.Ломоносова., Russia
-
Аннотация доклада:
Доклад посвящен заданию логических процессов средствами пропозициональных исчислений. Будет рассказано о том, как логические системы задаются исчислениями, условия существования такого задания, свойства решетки логических систем, порожденных исчислениями, условия разрешимости проблемы вывода для пропозициональных исчислений и сложность этого вывода.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Боков Григорий Владимирович