Караваев, Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып : 1. - С. 87-94. - Библиогр. в сносках
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования. Доп.точки доступа: Саймон \г.\; Хорти \дж.\; Белнап \н.\; Хэмблин \ч.\; Перлов \м.\ |
Малюкова, Ольга Владимировна. Эпистемология времени [Текст] / О. В. Малюкова // Философия и культура. - 2011. - N 1 (37). - С. 35-40. . - Библиогр.: с. 40 (9 назв. )
Рубрики: Философия Теория познания Кл.слова (ненормированные): время -- наука -- физика -- теория относительности -- восприятие времени -- физическая концепция времени -- темпоральность -- научные знания -- естествознание -- изучение времени -- временные программы -- временная логика -- синергетика -- культура -- культурные образования -- эпистемология -- эпистемологические программы -- методология эпистемологических программ Аннотация: Уделяется внимание особенностям различных предметных областей во временном аспекте, а также методам темпоральности в той или иной сфере научного знания. Нет сведений об экземплярах (Источник в БД не найден) |
Гончарко, Оксана Юрьевна. Семантический анализ временного аспекта византийских и позднеантичных греческих шуток [Текст] = Temporal aspect analysis of ancient and Byzantine jokes / О. Ю. Гончарко // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Гуманитарные и общественные науки. - 2016. - № 1 (239). - С. 160-165. - Библиогр.: с. 164 (5 назв.). - Реф. на англ. яз.: с. 165 . - ISSN 1994-2354
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): модальная логика -- временная логика -- логика юмора -- смеховые культуры -- античная смеховая культура -- византийская смеховая культура -- темпоральный аспект реальности -- модально-временные системы -- неклассические логические системы -- моделирование шуток -- модально-временные аксиоматики -- семантический анализ Аннотация: Рассмотрены модельно-временные модели шуток, понимание которых зависит от способности соотносить различные модально-временные аксиоматики. Приведены примеры византийских шуток, основанных на языковой игре с темпоральным аспектом реальности. Дан их анализ средствами неклассических модально-временных логических систем.Considered a model-temporal models of jokes, the understanding of which depends on the ability to correlate the different modal and temporal axiomatic. Examples of the Byzantine jokes, based on the language game with the temporal aspect of reality. Given its analysis of non-classical means of modal and temporal logic systems. Нет сведений об экземплярах (Источник в БД не найден) |
Шипов, А. А. Метод распределенного анализа свойств верифицируемых моделей [Текст] = The method of distributed analysis of verifiable models properties / А. А. Шипов // Программные продукты и системы. - 2016. - № 2. - С. 53-61 : ил.: 9 рис., 6 табл. - Библиогр.: с. 61 (12 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Spin -- верификация -- автомат Бюхи -- Бюхи автомат -- временная логика Аннотация: В статье предложен и рассмотрен новый метод распределенного анализа, существенно снижающий проблему комбинаторного взрыва за счет распределения вычислительной нагрузки на несколько вычислительных узлов во время верификации. Нет сведений об экземплярах (Источник в БД не найден) |