|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Условия выразимости и полноты пропозициональных исчисленийдиссертация
- Научный руководитель: Кудрявцев Валерий Борисович
- Автор: Боков Григорий Владимирович
- Год защиты: 2013
- Шифр диссертационного совета: Д 501.001.84
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Физика и математика
- Специальность: 01.01.09 - Дискретная математика и математическая кибернетика
- Тип диссертации: Кандидатская
-
Аннотация:
Диссертация посвящена проблемам выразимости и полноты для функциональных систем формул двузначной логики с операцией суперпозиции и операциями типа Харропа (пропозициональных исчислений).
- Добавил в систему: Боков Григорий Владимирович