Компилятор формальной логики
С++ автоматическая компиляция формальная аксиоматическая теория теория высказываний
Программа предназначена для автоматической компиляции выражений формальной логики. Область применения: практические и лекционные занятия по курсу "Математическая логика и теория алгоритмов". Функциональные возможности программы: компилятор позволяет проводить проверку корректности и тождественной истинности введенных формул в терминах формальной логики. Компилятор реализован на языке программирования С++. Доступ к программе осуществляется через диалоговое окно программы. Функционал программы позволяет осуществлять проверку корректности вывода формулы, а также позволяет получать кратчайший по числу переходов вывод на основе введенной классической аксиоматики и правил вывода.
практические и лекционные занятия по курсу "Математическая логика и теория алгоритмов"
Павел
Плотников
Владимирович
доцент
Кандидат физико-математических наук
Отсутствует
А-9431-2017
56673927000
872534
0000-0001-8869-6142
РОССИЯ
Сергей
Брусиловский
Александрович
Проректор по научной работе
РОССИЯ
50.41.23
Программное обеспечение вычислительных сетей
50.41.25
Прикладное программное обеспечение
02.02.ES
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
02.02.EU
COMMUNICATION
Артём
Боклаженко
Алексеевич
РОССИЯ
Павел
Плотников
Владимирович
РОССИЯ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ ИМ. ПРОФ. М.А. БОНЧ-БРУЕВИЧА"
1027809197635
РУСЛАН
КИРИЧЕК
ВАЛЕНТИНОВИЧ
Организация
Министерство цифрового развития, связи и массовых коммуникаций Российской Федерации
Федеральные государственные бюджетные учреждения
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ ИМ. ПРОФ. М.А. БОНЧ-БРУЕВИЧА"
1027809197635
РУСЛАН
КИРИЧЕК
ВАЛЕНТИНОВИЧ
Организация
Министерство цифрового развития, связи и массовых коммуникаций Российской Федерации
Федеральные государственные бюджетные учреждения