Кафедра теоретических основ информатики

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