Институт математики, информационных технологий и физики

История кафедры

Кафедра организована вместе с факультетом на основе кафедры математического обеспечения ЭВМ математического факультета. Кафедра МО ЭВМ существовала на математическом факультете с 1993 года, когда была создана на основе кафедры вычислительной математики.

Специальности, специализации

Направления и программы, по которым ведется выпуск:

• «Прикладная информатика» - бакалавриат.
• «Информатика и компьютерные науки» - магистратура.

Обучение

Кафедра ведет дисциплины:

• Логика,
• Язык математики,
• Теория алгоритмов и сложности,
• Информационные системы в машиностроении
• Математика и информатика,
• Основы информатики,
• Информационная безопасность,
• Технология разработки программных комплексов,
• Теория систем и системный анализ,
• Проектирование информационных систем,
• Корпоративные сети,
• Имитационное моделирование экономических процессов,
• Теория кодирования,
• Интеллектуальные информационные системы,
• ЭВМ и искусство программирования,
• Новые информационные технологии,
• Представление знаний,
• Практикум на ЭВМ,
• Информатика и программирование,
• Базы данных,
• Мировые информационные ресурсы,
• Распределенные базы данных,
• Компьютерные науки,
• Компьютерный практикум,
• Алгоритмизация и языки программирования
• Инструментальные системы,
• Компьютерная лингвистика,
• Операционные системы,
• JAVA-технологии,
• Программное обеспечение многопроцессорных вычислительных систем,
• Проектирование программного обеспечения,
• Основы компьютерных наук,
• Основы программирования,
• Практикум по программированию,
• Математическая логика и теория алгоритмов,
• Алгоритмы и анализ сложности,
• Теория автоматов и формальных языков,
• Интеллектуальные системы и технологии,
• Неклассические логики,
• Синтез алгоритмов,
• Теория автоматов,
• Теория информационных процессов и систем,
• Инструментальные средства информационных систем,
• Информационные системы в дизайне,
• Экономические информационные системы,
• Мультимедиа технологии,
• Автоматизированные информационные системы,
• Программная инженерия,
• Информатика,
• Программно-техническое обеспечение автоматизированных библиотечно-информационных систем,
• Проектирование автоматизированных библиотечно-информационных систем,
• Автоматическое доказательство теорем,
• Алгоритмическая сложность вычислений,
• Парадигмы и языки программирования,
• Формальные языки и грамматики,
• Алгоритмические основы мультимедийных технологий,
• Объектно-ориентированные CASE-технологии,
• Технологии разработки программного обеспечения,
• Информатика и программирование,
• Технологии WEB в программировании,
• Технологии программирования,
• Теория меры,
• Вычислительные системы, сети и телекоммуникации,
• Информационная безопасность и защита информации,
• Информационные системы и технологии,
• Проектный практикум,
• Технологии обработки информации,
• Программирование в .NET,
• Теория систем и системный анализ,
• Математическое программирование,
• Основы трансляции,
• Имитационное моделирование экономических процессов,
• Высокопроизводительные вычисления,
• Программирование на ассемблере,
• Управление проектами,
• Информационные сети и системы.

Будущее выпускников

Выпускники работают специалистами в области информатики практически во всех сферах деятельности. Например, руководитель ассоциации МАРК С. Г. Катаев делал свою выпускную работу под руководством нынешнего заведующего кафедрой.

Научная работа

Направления работы:

• теория алгоритмов и сложности вычислений,
• автоматический дедуктивный синтез алгоритмов управляемой вычислительной сложности,
• синтез алгоритмов в базах данных,
• компьютерная лингвистика,
• системный анализ.

Успешно выполнен ряд международных научных проектов, связанных с теорией информационных систем и новыми теориями компьютерных арифметик. На основе этих теоретических работ сотрудниками кафедры созданы инструментарии для информационных систем некоторых крупных предприятий.

Сотрудничество

Кафедра сотрудничает с Санкт-Петербургским государственным университетом, Санкт-Петербургским отделением Математического института Российской академии наук, Институтом проблем управления РАН, Уфимским авиационным техническим университетом, Институтом проблем информатики и автоматизации национальной академии наук республики Армения, Университетами Франции (Париж, Клермон-Ферран, Метц), Бельгии, Италии, Греции, Украины.

На кафедре теоретических основ информатики проводится постоянный научный семинар, на котором выступают известные специалисты и ученые в области информатики и математики.

Состав кафедры

1. Бельтюков Анатолий Петрович — зав.каф., профессор, д.ф.-м.н.,
2. Маслов Сергей Геннадьевич — доцент, к.т.н.,
3. Гребнев Андрей Николаевич — к.т.н., старший преподаватель,
4. Анисимов Андрей Евгеньевич — старший преподаватель,
5. Логов Алексей Генритович — старший преподаватель,
6. Трофимов Николай Иванович — старший преподаватель,
7. Дунаев Дмитрий Александрович – старший преподаватель,
8. Урбанович Дмитрий Владимирович – ассистент,
9. Сапаров Алексей Юрьевич – доцент,
10. Леонтьева Валентина Ивановна — делопроизводитель.