Спецкурсы кафедры
(2-й семестр 2001-2002 учебного года)

• Алгебра-3 читает д.ф.-м.н. О.В.Богопольский
  среда, 17.45, ИМ, предконференцзал
• Теория групп читает доц. Д.Г.Храмцов
  понедельник, 17.45, НГУ, ауд.320
• Теория колец читает доц. И.В.Львов
  
• Теория моделей читает член-корр.РАН проф. С.С.Гончаров
  понедельник, 19.30, НГУ, ауд.307^a
• Теория чисел читает доц. В.Я.Блощицын
  понедельник, 17.45, НГУ, ауд.334
• Группы и геометрии читает проф. В.А.Чуркин
  вторник, 17.45, НГУ, ауд.326
• Теория нумераций читает к.ф.-м.н. В.Г.Пузаренко
  
• Булевы алгебры читает к.ф.-м.н. С.Ю.Подзоров
  пятница, 17.45, НГУ, ауд.320
• Математическая логика на компьютере читает к.ф.-м.н. А.А.Викентьев
  понедельник, 19.30, НГУ, т.к.305
• Избранные вопросы теории чисел читает к.ф.-м.н. А.А.Викентьев
  четверг, 17.45, ИМ, к.417
• Теории моделей, близкие к элементарным читает к.ф.-м.н. О.В.Кудинов
  

Спецсеминары

• Алгебра и логика - общекафедральный семинар
  по вторникам в 16.00 в ауд.313 НГУ
• Теория групп, руководитель - проф. В.Д.Мазуров
  по понедельникам в 16.00 в к.417 Института Математики
• Теория колец,руководители - проф. Л.А,Бокуть, проф.В.Т.Филиппов
  по средам в 16.30 в к.344 Института Математики
• Геометрическая теория групп, руководители - к.ф.-м.н. О.В.Богопольский, доц. Д.Г.Храмцов, проф. В.А.Чуркин
  по средам в 10.00 в предконференцзале Института Математики
• Теория моделей, руководители - акад.РАН проф. Ю.Л.Ершов, проф. Е.А.Палютин
  по средам в 13.00 в к.344 ИМ
• Теория нумераций, руководители - акад.РАН проф. Ю.Л.Ершов, член-корр.РАН проф. С.С.Гончаров
  по вторникам в 17.45 в ауд.313 НГУ
• Конструктивные модели, руководитель - член-корр.РАН С.С.Гончаров
  по четвергам в 17.45 в к.344 ИМ
• "Эварист Галуа", руководитель - к.ф.-м.н. В.Г.Бардаков
  
• Ассоциативные кольца и кольца Ли, руководители - проф. Л.А.Бокуть, доц. И.В.Львов
  по четвергам в 15.00 в к.344 ИМ
• Нестандартные логики, руководители - проф. Л.Л.Максимова, ст.преп. С.И.Мардаев
  
• Логический анализ естественного языка, руководитель - проф. Д.Е.Пальчунов,
  по пятницам в 17.00 в предконференцзале ИМ
• Объединенный семинар лаборатории программных систем и лаборатории логических основ программирования, руководители - проф. Д.Е.Пальчунов, В.В.Ващенко,
  по понедельникам в 18.00 в к.417 ИМ
• Конечномерные ассоциативные алгебры и алгебры Ли, руководители - д.ф.-м.н. В.Н.Желябин, д.ф.-м.н. С.Р.Сверчков,
  по четвергам в 17.45 в ауд.326 НГУ
• Универсальная Хорнова логика, руководитель - проф. Е.А.Палютин
  ,
• Прикладная логика, руководители - акад.РАН проф. Ю.Л.Ершов, член-корр.РАН проф. С.С.Гончаров
  

Компьютерная поддержка курсов

• Компьютерная поддержка основных курсов "Высшая алгебра", "Математическая логика" и "Теория чисел", ведет к.ф.-м.н. А.А.Викентьев
  по понедельникам и вторникам в 17.45 в т.к.305 НГУ