Подробное описание документа

Бочаров В. А.
   Пропозиционная логика в функциональном моделировании / Бочаров В. А. // Комплексная автоматизация проектирования и производства (КАПП(М) - 2024) : материалы 2-ой молодёжной конференции с международным участием, Москва, 31 мая 2024 года / ред. Карпенко А. П. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М., 2025. - С. 7-13.

Работа содержит в себе исследования в области функционирования киберфизических систем - логики отношений между их внутренними состояниями и внешними свойствами, и нацелена на решение проблемы неопределенности соответствия между ними в процессах разработки. В качестве метода исследования привлечена логика первого порядка и использованы ее возможности для получения свойств системы на основе логических выводов.
Ключевые слова: язык, семантика, киберфизические системы, пропозиционная логика, логика первого порядка, логика предикатов, логика функционирования