Список спецсеминаров кафедры

Интеллектуальные системы

Основной целью семинара является освещение работ и новых достижений, полученных в рамках направления научных исследований под названием «искусственный интеллект» (ИИ). На семинаре рассматриваются вопросы применения при создании прикладных программных систем уже существующих и создания новых моделей, методов, программных средств и языков представления знаний, а также методов поиска решений, разрабатываемых в рамках направления «искусственный интеллект».

Конструирование и оптимизация программ

Объединенный учебно-научный семинар кафедры программирования НГУ и Института систем информатики имени А.П. Ершова СО РАН проводится с 1979 года. В нем участвуют студенты, специализирующиеся на кафедре, институтские и университетские аспиранты, преподаватели кафедры и сотрудники института, а также ученые и преподаватели из других российских и зарубежных организаций.

Методы и технологии программирования

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

Системное программирование

Тематика семинара охватывает широкий круг вопросов, связанных с технологией и практикой разработки программного обеспечения.
В частности, рассматриваются следующие вопросы:

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

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

Современные информационные технологии

Семинар "Информационные технологии" основан в 2000 г.

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

  1. Обмен опытом в области разработки и создания информационных систем.
  2. Разработка и построение информационных моделей.
  3. Проектирование распределенных баз данных удаленного доступа.

Семинар предназначен для специалистов, аспирантов и студентов НГУ.

Теоретическое и экспериментальное программирование

На семинаре обсуждаются формальные модели и современные методы для описания семантики, спецификации и верификации программ, систем и процессов. Среди формальных моделей рассматриваются автоматные и логические модели, сети Петри, программные модели распределенных систем. Также обсуждаются экспериментальные программные средства, предназначенные для моделирования, анализа и верификации систем, представленных на языках С, C#, SDL и др.