ИСТИНА

Защищенные диссертации сортировать по фамилии диссертанта сортировать по году защиты

• • 2012 Обобщенная релевантная логика и модели рассуждений
  • Докторская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Зайцев Дмитрий Владимирович, д.ф.н., доц., МГУ имени М.В. Ломоносова
  • Научный консультант: нет
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2008 Структурные описания множеств формальных теорий (на материале формальных силлогистик)
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Шиян Тарас Александрович, к.ф.н.
  • Научный руководитель: Бочаров Вячеслав Александрович
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • Ведущая организация: Институт философии РАН
  • Оппоненты: Бахтияров Камиль Ибрагимович, Шангин Василий Олегович
• • 2005 Теория рассуждений Ч. Пирса (проблема абдукции)
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Боброва Ангелина Сергеевна
  • Научный руководитель: Смирнова Е.Д., д.ф.н., проф.
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2004 Автоматический поиск натурального вывода в классической логике предикатов
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Шангин Василий Олегович, к.ф.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Бочаров В.А.
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2004 Аналитико-табличная формализация систем временной логики
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Григорьев Олег Михайлович, к.ф.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Маркин В.И., д.ф.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2004 Интуиционистская логика и теория множеств
  • Докторская диссертация по специальности 09.00.07 - Логика (физ.-мат. науки)
  • Автор: Хаханян Валерий Христофорович, д.ф.н.
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
  • Организация, в которой выполнялась работа: Философский факультет МГУ им. М.В.Ломоносова
  • Ведущая организация: Кафедра логики философского факультета СПбГУ
  • Оппоненты: Хомич Валентин Иванович, Васюков Владимир Леонидович, Панов Михаил Иванович
• • 2003 Логические идеи И. Канта
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Михайлов Кирилл Авенирович
  • Научный руководитель: Смирнова Е.Д., д.ф.н., проф.
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2003 Теория и практика формальных переводов
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Карпенко И.А.
  • Научный руководитель: Попов В.М., к.ф.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
• • 2001 Семантики ограниченных множеств описаний состояний
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Архиереев Николай Львович, д.ф.н.
  • Научный руководитель: Ивлев Юрий Васильевич, д.ф.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова
  • Ведущая организация: Институт философии РАН
• • 1991 Релевантная логика и социология: семантические проблемы
  • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
  • Автор: Зайцев Д.В., д.ф.н., доц., МГУ имени М.В. Ломоносова
  • Научный руководитель: Войшвилло Е.К.
  • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова