Спецкурсы кафедры
(2-й семестр 2001-2002 учебного года)
- Алгебра-3 читает д.ф.-м.н. О.В.Богопольский
среда, 17.45, ИМ, предконференцзал
- Теория групп читает доц. Д.Г.Храмцов
понедельник, 17.45, НГУ, ауд.320
- Теория колец читает доц. И.В.Львов
- Теория моделей читает член-корр.РАН проф. С.С.Гончаров
понедельник, 19.30, НГУ, ауд.307a
- Теория чисел читает доц. В.Я.Блощицын
понедельник, 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 НГУ