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