Электронная библиотека российских диссертаций Электронная библиотека российских диссертаций Электронная библиотека российских диссертаций Электронная библиотека российских диссертаций Электронная библиотека российских диссертаций Электронная библиотека российских диссертаций
Каталог

Обратная связь

Я ищу:

Содержимое электронного каталога российских диссертаций
Диссертационные работы
Философские науки
Логика
Тема: Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости Автор диссертационной (докторской) работы: Гончарко Оксана Юрьевна. Работа защищена в 2010 году.
Тема: Регулярные логики клини: расширение и обобщение Автор диссертационной (докторской) работы: Томова Наталья Евгеньевна. Работа защищена в 2010 году.
Тема: Интервальная временная логика и грамматические времена Автор диссертационной (докторской) работы: Шапчиц Павел Анатольевич. Работа защищена в 2010 году.
Тема: Иллокутивная логика: логическое следование, семантика и прагматика Автор диссертационной (докторской) работы: Карпов Глеб Викторович. Работа защищена в 2009 году.
Тема: Алгоритм поиска вывода для систем негативной силлогистики Автор диссертационной (докторской) работы: Красненкова Анастасия Владимировна. Работа защищена в 2009 году.
Тема: Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму Автор диссертационной (докторской) работы: Новиченков Сергей Александрович. Работа защищена в 2009 году.
Тема: Многозначные изоморфы классической пропозициональной логики Автор диссертационной (докторской) работы: Девяткин Леонид Юрьевич. Работа защищена в 2008 году.
Тема: Структурные описания множеств формальных теорий : на материале формальных силлогистик Автор диссертационной (докторской) работы: Шиян Тарас Александрович. Работа защищена в 2008 году.
Тема: Логика древнего Китая Автор диссертационной (докторской) работы: Крушинский Андрей Андреевич. Работа защищена в 2006 году.
Тема: Теория смысла в общей интенсиональной логике Автор диссертационной (докторской) работы: Микиртумов Иван Борисович. Работа защищена в 2006 году.
Тема: Современные проблемы использования табличных методов в логике Автор диссертационной (докторской) работы: Антонова Ольга Аркадьевна. Работа защищена в 2005 году.
Тема: Аналитико-табличная формализация систем временной логики Автор диссертационной (докторской) работы: Григорьев Олег Михайлович. Работа защищена в 2004 году.
Тема: Паранепротиворечивость и релевантность Автор диссертационной (докторской) работы: Кварталова Наталия Леонидовна. Работа защищена в 2004 году.
Тема: Интуиционистская логика и теория множеств Автор диссертационной (докторской) работы: Хаханян Валерий Христофорович. Работа защищена в 2004 году.
Тема: Логико-методологическое исследование происхождения теории поиска вывода Автор диссертационной (докторской) работы: Ходикова Нина Анатольевна. Работа защищена в 2004 году.
Тема: Автоматический поиск натурального вывода в классической логике предикатов Автор диссертационной (докторской) работы: Шангин Василий Олегович. Работа защищена в 2004 году.
Тема: Применение системной модели аргументации к анализу текста Автор диссертационной (докторской) работы: Золотов Эдгар Станиславович. Работа защищена в 2003 году.
Тема: Теория вывода в многозначных логиках Автор диссертационной (докторской) работы: Комендантский Владимир Евгеньевич. Работа защищена в 2003 году.
Тема: Логические идеи И. Канта Автор диссертационной (докторской) работы: Михайлов Кирилл Авенирович. Работа защищена в 2003 году.
Тема: Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр Автор диссертационной (докторской) работы: Нечитайлов Юрий Вячеславович. Работа защищена в 2003 году.
Тема: Обоснование дедуктивного подхода в научном объяснении Автор диссертационной (докторской) работы: Тарковский Владимир Николаевич. Работа защищена в 2003 году.
Тема: Расширение выразительных возможностей языка современной логики Автор диссертационной (докторской) работы: Яйлеткан Александр Александрович. Работа защищена в 2003 году.
Тема: Алгоритм поиска натурального вывода для интуиционистской логики высказываний Автор диссертационной (докторской) работы: Макаров Валентин Валентинович. Работа защищена в 2002 году.
Тема: Семантики ограниченных множеств описаний состояний Автор диссертационной (докторской) работы: Архиереев Николай Львович. Работа защищена в 2001 году.
Тема: Учение Аристотеля о модальности Автор диссертационной (докторской) работы: Кускова Светлана Михайловна. Работа защищена в 2001 году.
Тема: Становление формальных методов в логике отношений Автор диссертационной (докторской) работы: Маков Борис Васильевич. Работа защищена в 2001 году.
Тема: Логические схемы в философии. Приложение к диссертации ""Гносеологические аспекты проблемы схематизации и наглядности философского знания"" Автор диссертационной (докторской) работы: Итесь, Г.В.. Работа защищена в 1984 году.
Тема: Вклад С. Лесневского в формирование семантики Автор диссертационной (докторской) работы: Агапов Евгений Петрович. Работа защищена в году.
Тема: Логические проблемы научной дискуссии Автор диссертационной (докторской) работы: Алексеева Ирина Юрьевна. Работа защищена в году.
Тема: Логические идеи Н.А. Васильева и паранепротиворечивые системы логики Автор диссертационной (докторской) работы: Аносова Виктория Валентиновна. Работа защищена в году.
Тема: Семантический анализ простых паранормальных логик Автор диссертационной (докторской) работы: Баташев Денис Вячеславович. Работа защищена в году.
Тема: Теория рассуждений Ч. Пирса Автор диссертационной (докторской) работы: Боброва Ангелина Сергеевна. Работа защищена в году.
Тема: Логико-семантические средства формализации текста в вопросно-ответной системе Автор диссертационной (докторской) работы: Волченко Мария Викторовна. Работа защищена в году.
Тема: Логико-философские исследования Боэция Автор диссертационной (докторской) работы: Гусева Марианна Анатольевна. Работа защищена в году.
Тема: Логико-методологические проблемы научного объяснения Автор диссертационной (докторской) работы: Жамбалдагбаев Нима Цыренович. Работа защищена в году.
Тема: Сравнительный анализ методов античной, средневековой и классической индуктивной логики Автор диссертационной (докторской) работы: Иванова Ирина Ивановна. Работа защищена в году.
Тема: Логический анализ основных этапов становления теории Автор диссертационной (докторской) работы: Карпович Валентин Никонович. Работа защищена в году.
Тема: Действия и нормы исследование по логике деонтических модальностей Автор диссертационной (докторской) работы: Курбатов Владимир Иванович. Работа защищена в году.
Тема: Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков Автор диссертационной (докторской) работы: Ломова Ирина Олеговна. Работа защищена в году.
Тема: Логико-семантический анализ внутренних модальностей Автор диссертационной (докторской) работы: Маркин Владимир Ильич. Работа защищена в году.

[0] [1]
Реклама


2006-20011 © Каталог российских диссертаций