Топологiчнi та теоретико-графовi властивостi моделей Крiпке в модальнiй логiцi
| dc.contributor.advisor | Козеренко, Сергій | |
| dc.contributor.author | Кошмак, Iлля | |
| dc.date.accessioned | 2024-04-19T06:04:13Z | |
| dc.date.available | 2024-04-19T06:04:13Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | В квалiфiкацiйнiй роботi розглянуто базовi поняття класичної математичної логiки. Розглянутi модальнi оператори 2 та ♢, шкали та Моделi Крiпке. Дослiдженi теоретико-графовi вiдношення в моделях Крiпке. Також, розроблена низка алгоритмiв на шкалах та моделях Крiпке. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/29069 | |
| dc.language.iso | uk | uk_UA |
| dc.status | first published | uk_UA |
| dc.subject | модальна логiка | uk_UA |
| dc.subject | модель Крiпке | uk_UA |
| dc.subject | p-морфiзм | uk_UA |
| dc.subject | бакалаврська робота | uk_UA |
| dc.title | Топологiчнi та теоретико-графовi властивостi моделей Крiпке в модальнiй логiцi | uk_UA |
| dc.type | Other | uk_UA |