Electronic Documents Search
Documents found: 2
-
Creators Гончарко Оксана Юрьевна Organization Санкт-Петербургский государственный университет; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Collection Общая коллекция Subjects Логика; Общие вопросы логики; модальная логика; временная логика; логика юмора; смеховые культуры; античная смеховая культура; византийская смеховая культура; темпоральный аспект реальности; модально-временные системы; неклассические логические системы; моделирование шуток; модально-временные аксиоматики; семантический анализ UDC 16 LBC 87.4 Document type Article, report File type PDF Language Russian DOI 10.5862/JHSS.239.20 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 199 Kb -
Creators Подоров Андрей Алексеевич Scientific adviser Полтавцева Мария Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2025 Collection Выпускные квалификационные работы; Общая коллекция Subjects большие данные; безопасность; контроль доступа; временная логика; формальная верификация; TLA+; Model Checking; big data; security; access control; temporal logic; formal verification Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2025/vr/vr25-802 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 1.0 Mb
