Козеренко, СергійКошмак, Iлля2024-04-192024-04-192022https://ekmair.ukma.edu.ua/handle/123456789/29069В квалiфiкацiйнiй роботi розглянуто базовi поняття класичної математичної логiки. Розглянутi модальнi оператори 2 та ♢, шкали та Моделi Крiпке. Дослiдженi теоретико-графовi вiдношення в моделях Крiпке. Також, розроблена низка алгоритмiв на шкалах та моделях Крiпке.ukмодальна логiкамодель Крiпкеp-морфiзмбакалаврська роботаТопологiчнi та теоретико-графовi властивостi моделей Крiпке в модальнiй логiцiOther