|
Всего работ:110
51. Шалак, Владимир Иванович. Логический анализ сети интернет
Год: 2008 52. Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик
Год: 2008 53. Крушинский Андрей Андреевич. Логика древнего Китая
Год: 2006 54. Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике
Год: 2006 55. Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике
Год: 2005 56. Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики
Год: 2004 57. Кварталова Наталия Леонидовна. Паранепротиворечивость и релевантность
Год: 2004 58. Хаханян Валерий Христофорович. Интуиционистская логика и теория множеств
Год: 2004 59. Ходикова Нина Анатольевна. Логико-методологическое исследование происхождения теории поиска вывода
Год: 2004 60. Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов
Год: 2004 61. Золотов Эдгар Станиславович. Применение системной модели аргументации к анализу текста
Год: 2003 62. Комендантский Владимир Евгеньевич. Теория вывода в многозначных логиках
Год: 2003 63. Михайлов Кирилл Авенирович. Логические идеи И. Канта
Год: 2003 64. Нечитайлов Юрий Вячеславович. Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
Год: 2003 65. Тарковский Владимир Николаевич. Обоснование дедуктивного подхода в научном объяснении
Год: 2003 66. Яйлеткан Александр Александрович. Расширение выразительных возможностей языка современной логики
Год: 2003 67. Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний
Год: 2002 68. Архиереев Николай Львович. Семантики ограниченных множеств описаний состояний
Год: 2001 69. Кускова Светлана Михайловна. Учение Аристотеля о модальности
Год: 2001 70. Маков Борис Васильевич. Становление формальных методов в логике отношений
Год: 2001 71. Гриненко, Галина Валентиновна. Логико-семиотический анализ сакральных текстов и сакральной коммуникации
Год: 2000 72. Невдобенко, Оксана Ивановна. Отношение следования и нестандартные семантики
Год: 2000 73. Нкодиа Орельен-Серж-Жерве. Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
Год: 2000 74. Павлов, Сергей Афанасьевич. Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
Год: 2000 75. Антонова, Ольга Аркадьевна. Табличные исчисления в классической и неклассических логиках
Год: 1998 76. Беляев, Вадим Владимирович. Моделирование финитных ситуаций и критика финитных моделей в традиционной логике
Год: 1998 77. Петров, Василий Борисович. Логико-методологический анализ представлений индуктивных рассуждений в современных логических теориях
Год: 1998 78. Шрамко, Ярослав Владиславович. Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики)
Год: 1998 79. Домбровский, Борис Тарасович. Логическая семиотика во Львовско-Варшавской философской школе
Год: 1997 80. Ларионова, Виктория Константиновна. Этика Абсолюта русской философии интуитивизма (Н.О. Лосского и С. Л. Франка)
Год: 1997 81. Фримучкова, Екатерина Владимировна. Полимодальные фрагменты временных логик
Год: 1997 82. Василевская, Татьяна Эдуардовна. Ответственность как духовно-нравственное измерение личности
Год: 1996 83. Кульматов, Владимир Александрович. Логическое учение Раймунда Луллия
Год: 1996 84. Ладушкин, Сергей Иванович. Дедукционная теорема в системах релевантной логики
Год: 1996 85. Микиртумов, Иван Борисович. Биокомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата)
Год: 1996 86. Микиртумов, Иван Борисович. Бикомпонентная семантика и интенсиональная логика (проблемы логики смысла и денотата)
Год: 1996 87. Мулярчук, Евгений Иванович. Феномен конечности бытия человека, экзистенциальныйи этический аспекты
Год: 1996 88. Гордова, Татьяна Викторовна. Логицизм И. Г. Ламберта
Год: 1995 89. Переверзев, Василий Николаевич. Концептуальные основания формального языка металогики
Год: 1995 90. Голованова, Ирина Павловна. Точечные и интервальные семантики для модальных и временных систем
Год: 1994 91. Карпинская, Ольга Юрьевна. Многомерные семантики временной и модально-временной логик
Год: 1994 92. Джалиашвили, Зураб Отарович. Логические основы компьютеризации диалога
Год: 1993 93. Левенец, Елена Владимировна. Аналогия: логический анализ, применение в искусственном интеллекте и моделировании
Год: 1993 94. Мухачев, Виктор Павлович. Генценовские методы в логике
Год: 1993 95. Спивак, Веда Игоревна. Логика в России в конце XIX- начале XX века. Логика отношений С. И. Поварнина
Год: 1993 96. Катречко, Сергей Леонидович. Логический анализ интеллектуальных систем с метапроцедурами
Год: 1992 97. Хлус, Андрей Михайлович. "Логический анализ рассуждений с неявными предпосылками"
Год: 1992 98. Царева, Светлана Михайловна. Логико-лингвистические характеристики аргументации
Год: 1992 99. Цукерман, Галина Анатольевна. Совместная учебная деятельность как основа формирования умения учиться
Год: 1992 100. Балобанов, Виталий Серафимович. Логика функций с неопределенными аргументами
Год: 1991 |
