> Шифр: phna/2003/2 Журнал 2003г. N 2 . - 108.20, р. Гулидов, А. И. Существует ли "стрела времени" / А.И. Гулидов, Ю.И. Наберухин. - С.3-15 Кл.слова: стрела времени,термодинамическая,космологическая,волновая, Эволюционная стрела времени Целищев, В. В. Комбинаторная природа математического доказательства / Целищев В.В. . - С.16-33 Кл.слова: математическая наука, априорное познание, индивиды,комбинаторное доказательство Хлебалин, А. В. Эссенцианализм и антиэссенциализм в модальной логике / А.В. Хлебалин. - С.34-46 Кл.слова: модальная логика, аристотелевский эссенциализм Попова, С. С. Некоторые аспекты междисциплинарного взаимодействия физики и биологии в научных исследованиях / С.С. Попова. - С.47-59 Кл.слова: биофизика, научная дисциплина, фрактальная размерность Пещевицкий, Б. И. Корпускулярно-волновой дуализм и классическая механика / Б.И. Пещевицкий. - С.60-73 Куперштох, Н. А. Физико-математические институты Омска: история становления и развития / Н.А. Куперштох. - С.74-89 Кл.слова: омск, физико-математический институт, сенсорная микроэлектроника Хакинг, Я. Среднеевропейский фарс / Я. Хакинг. - С.90-98 Кл.слова: философия науки,англоязычные страны Плюснин, Ю. М. Институциональный кризис науки и новые ценностные ориентиры профессионального ученого / Ю.М. Плюснин. - С.99-108 Комлева, Е.В. Социальная роль ядерных технологий и общественное сознание / Е.В. Комлева. - С.109-117 Кл.слова: Моисеев Н.Н.,ученый-энциклопедист, ядерные технологии,общественное сознание, российские ядерные объекты, повышенная безопасность Головко, Н. В. Специальная теория относительности: основные предпосылки / Н.В. Головко, А.Л. Симанов, А.Ю. Сторожук. - С.118-145 Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Кудинов, А. В. О топологической модальной логике R с неравенством [Текст] / А. В. Кудинов ; представлено В. М. Бухштабером> // Успехи математических наук. - 2008. - Т. 63, Вып. 1. - С. 163-164. - Библиогр.: с. 164 (3 назв. )
Рубрики: Математика Топология Кл.слова (ненормированные): модальная логика -- топологическая логика -- пропозициональная логика Аннотация: В работе рассматриваются пропозициональные модальные логики с двумя модальностями. Доп.точки доступа: Бухштабер, В. М. \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хомич, В. И. О свойстве простой подстановки для суперинтуиционистских и модальных пропозициональных логик [Текст] / В. И. Хомич> // Доклады Академии наук. - 2008. - Т. 423, N 6, декабрь. - С. 740-742. . - Библиогр.: с. 742 (14 назв. )
Рубрики: Математика Математическая логика Кл.слова (ненормированные): простая подстановка -- модальная логика -- модальное исчисление -- модальные пропозициональные формулы -- топологическая булева алгебра Аннотация: Изучены свойства простой подстановки. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Непейвода, А. Н. Верификация модели технической системы средствами линейной темпоральной логики [Текст] / А. Н. Непейвода> // Автоматика и телемеханика. - 2012. - № 9. - С. 124-140 : ил. - Библиогр.: с. 140 (8 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Математика Исследование операций Кл.слова (ненормированные): верификация моделей -- линейная темпоральная логика -- электромеханические устройства -- модальная логика -- технические средства -- технические системы -- Linear Temporal Logic -- LTL -- модели технических систем -- темпоральная логика Аннотация: Решается задача верификации электромеханического устройства с переменным числом контактов с помощью модальной логики LTL (Linear Temporal Logic). В ходе анализа доказываются теоремы о непрерывности и однозначности работы устройства, а также уясняются ограничения, необходимые для того, чтобы алгоритм работы устройства мог считаться полностью корректным. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Максимова, Лариса Львовна. Классификация расширений модальной логики S4 [Текст] / Л. Л. Максимова> // Сибирский математический журнал. - 2013. - Т. 54, № 6 (322). - С. 1337-1352. - Библиогр.: с. 1351-1352 (16 назв.) . - ISSN 0037-4474
Рубрики: Математика Математическая логика Кл.слова (ненормированные): Крипке шкала -- алгебраическая семантика -- интерполяционные свойства -- модальная логика -- финитная аппроксимируемость -- шкала Крипке Аннотация: Вводится естественная классификация нормальных расширений модальной логики S4 в соответствии с объектами кластеров в шкалах Крипке, доказана разрешимость классификации. Выделены основные логики в этой классификации и установлены их важные свойства: конечная аксиоматизируемость, финитная аппроксимируемость и узнаваемость. Нет сведений об экземплярах (Источник в БД не найден) |
Ламберов, Л. Д. Модальности как фундаментальный элемент реальности: обзор книги "Williamsom on Modality" [Текст] / Л. Д. Ламберов> // Философия науки. - 2018. - № 3. - С. 158-171. - Библиогр.: с. 171 (5 назв. ) . - ISSN 1560-7488
Рубрики: Философия Всемирная история философии Кл.слова (ненормированные): компактные подмножества -- контингентизм -- метафизика -- множественности -- модальная логика -- модальная метафизика -- модальная наука -- модальности -- обзоры книг -- свободная логика -- структура объектов -- трехмерная модель -- фундаментальный элемент реальности -- эпистемологические модальности Аннотация: Обзор книги "Williamson on Modality" содержит краткое изложение основных идей по вопросам модальной метафизики. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Целищев, В. В. Интенсиональность математического дискурса: необходимость истин математики [Текст] / В. В. Целищев> // Философия науки. - 2018. - № 4. - С. 34-47. - Библиогр.: с. 46-47 (11 назв. ) . - ISSN 1560-7488
Рубрики: Математика Математическая логика Философия Метафизика. Онтология Кл.слова (ненормированные): интенсиональность -- математическая практика -- математические дискурсы -- математические истины -- модальная логика -- модальность Аннотация: Рассматривается применение модальной логики к анализу математического дискурса. Показано, что такое применение требует осторожности, поскольку часто приводит к абсурдным результатам. В частности, анализируется тезис о том, что в математике доказуема необходимость математических истин. Показано, что подобное смешение метафизики и математической логики является неправомерным. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |