СлабовидящимСлабовидящим

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

Бельтюков Анатолий Петрович
Руководитель:
Бельтюков Анатолий Петрович, профессор по кафедре математического обеспечения ЭВМ, доктор физико-математических наук
Телефон:
91-60-68
Адрес:
корп. VI, ауд. 312.4
E-mail:
belt.udsu@mail.ru

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

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

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

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

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

Обучение

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

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

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

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

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

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

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

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

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

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

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

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

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