ИСТИНА

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

• • 1998 Моделирование вычислительных процессов средствами пропозициональных логик
  • Докторская диссертация по специальностям 05.13.17 - Теоретические основы информатики, 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
  • Автор: Чагров Александр Васильевич
  • Научный консультант: Любецкий Василий Александрович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 003.29.01 при Институт прикладной математики им. М. В. Келдыша РАН
  • Организация, в которой выполнялась работа: Институт проблем передачи информации им. А.А.Харкевича РАН
  • Ведущая организация: Институт прикладной математики им. М.В.Келдыша РАН
  • Оппоненты: Журавлев Юрий Иванович, Тайцлин Михаил Абрамович, Бениаминов Евгений Михайлович
• • 1991 Оценки и пучки: теоремы переноса
  • Докторская диссертация по специальностям 05.13.17 - Теоретические основы информатики, 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
  • Автор: Любецкий Василий Александрович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 003.29.01 при Институт прикладной математики им. М. В. Келдыша РАН
  • Организация, в которой выполнялась работа: Институт проблем передачи информации Академии наук СССР
  • Ведущая организация: Ленинградское отделение Математического института АН СССР
  • Оппоненты: Палютин Евгений Андреевич, Кановей Владимир Григорьевич, Чернавский Алексей Викторович