Курс предназначен для студентов, специализирующихся в области программной инженерии, и знакомит их с логическим и функциональным программированием, основанной на логике предикатов и логических функций, которая является от наиболее широко распространенной в программировании.
Курс содержит достаточно подробное изложение теоретических основ логического программирования, а также служит практическим пособием по современным языкам логического и функционального программирования Prolog и Lisp – которые могут использоваться и используются для разработки исследовательских и промышленных систем. В курсе также рассматривается использование логического программирования для создания экспертный систем, излагаются основные понятия искусственного интеллекта, такие как представление знаний, системы основанные на знаниях и др.
ЭОР SWI-Prolog.pdfЭОР SWI-Prolog.pdf

Институт вычислительной математики и информационных технологий, отделение фундаментальной информатики и информационных технологий, кафедра технологий программирования

Направление подготовки: 01.04.02 - Прикладная математика и информатика

Учебный план: Открытая информатика, магистры, очное обучение, 2016 г.

Дисциплина: Программное обеспечение гарантии качества (Б1.В.ДВ.3) (магистры, 2 курс, очное обучение)

Количество часов: 108 (в том числе: лекции - 14, практические занятия - 14), форма контроля - экзамен (3 семестр).

Аннотация: В данном курсе рассматривается задача программного обеспечения гарантии качества проектов в области информационных технологий с точки зрения автоматизированного тестирования. Рассмотрены способы обзора качества, методы тестирования программного обеспечения, концепция управления качеством. В роли инструментального средства для проведения тестирования предложен проект Selenium. Проведено автоматизированное тестирования веб-приложений с помощью Selenium WebDriver.

Темы:

1. Способы обзора качества. Тестирование программного обеспечения

2. Методы тестирования программного обеспечения

3. Управление качеством проекта

4. Автоматизированное функциональное тестирование с использованием проекта Selenium

5. Принцип работы Selenium WebDriver

Ключевые слова: качество программного обеспечения, автоматизированное тестирование, проект Selenium

Автор:

Медведева Ольга Анатолиевна, доцент, к.ф.-м.н., Институт вычислительной математики и информационных технологий, отделение фундаментальной информатики и информационных технологий, кафедра технологий программирования

Дата начала эксплуатации:

Доступность: записанные на курс пользователи

Язык интерфейса: русский

Институт вычислительной математики и информационных технологий, отделение фундаментальной информатики и информационных технологий, кафедра технологий программирования
Направление подготовки: 01.03.02 - Прикладная математика и информатика
Предметная область: Естественные и точные науки, Информатика
Учебный план: Системное программирование, бакалавриат, очное обучение, 2015г.
Дисциплина: Пакеты прикладных программ (Б1.В.ДВ.8) (бакалавриат, 4 курс, очное обучение)
Количество часов: 108 (в том числе: лабораторные занятия - 54, самостоятельная работа - 54), форма контроля - экзамен (7 семестр).
Аннотация: В данном курсе рассматриваются пакеты, входящие в стандартный набор UNIX - подобных систем и технология их использования. Наиболее подробно изучаются пакеты YACC и LEX, используемые для автоматизации построения специализированных языков обработки информации. Аналоги подобных средств автоматизации, основанные на генерации лексического анализатора в виде конечного автомата и синтаксического анализатора в виде автомата с магазинной памятью, имеются во всех современных универсальных средах.
Ключевые слова: математическая лингвистика, лексический анализ, синтаксический анализ, генераторы анализаторов
Авторы:
Гусенков Александр Михайлович, старший преподаватель, к. т. н., Институт вычислительной математики и информационных технологий, отделение фундаментальной информатики и информационных технологий, кафедра технологий программирования
Прокопьев Николай Аркадиевич, ассистент, Институт вычислительной математики и информационных технологий, отделение фундаментальной информатики и информационных технологий, кафедра технологий программирования
Дата начала эксплуатации: 
Доступность: записанные на курс пользователи
Язык интерфейса: русский

ActiveMap GS – это система геомониторинга, осуществляющая сбор, регистрацию, обработку, хранение и анализ данных, мониторинг и управление задачами и сообщениями, учет любых объектов и территорий.

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

Чтобы программировать приложения для iOS 7, вы должны знать основы языка Objective-C, с которым мы будем работать. Как понятно из названия, язык Objective-C основан на С, но имеет определенные расширения, которые облегчают оперирование объектами. Объекты и классы имеют фундаментальное значение в объектно-ориентированном программировании (ООП). К числу объектно-ориентированных языков относятся Objective-C, Java, C++ и многие другие. В Objective-C, как и в любом объектно-ориентированном языке, вы имеете доступ не только к объектам, но и к примитивам.

В сущности, все приложения iOS используют архитектуру «модель — вид — контроллер» (MVC). C архитектурной точки зрения модель, вид и контроллер — это три основные составляющие приложения iOS.

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

Направление: 09.04.02 «Информационные системы и технологии»
Учебный план: Информационные системы и технологии (магистры, очное, 2 курс, 2015)
Дисциплина: «Имитационное моделирование» (магистры, 2 курс, очное обучение)
Количество часов: 108 ч. (в том числе: лабораторные занятия – 18, самостоятельная работа – 90), форма контроля: зачет.
Аннотация: Основное внимание в курсе посвящено изучению имитационного моделирования. Приводятся краткие методические положения, включающие основные понятия, определения, формулы. В курсе дается введение в систему имитационного моделирования GPSS World, приводятся основные операторы и описан принцип работы системы.
Темы: 
1.Основы имитационного моделирования
2.Методы формирования случайных чисел
3.Введение в систему имитационного моделирования GPSS World
4.Процесс моделирования в среде GPSS World
5.Операторы блоков GPSS World. Общие сведения
6.Команды GPSS World. Общие сведения 
7.GPSS-модели массового обслуживания

Ключевые слова: имитационное моделирование, GPSS World
Автор курса: Уткина Елена Анатольевна, доцент кафедры общей математики, доктор физико-математических наук, тел.: (843) 233-71-09 , email: eutkina1@yandex.ru
Дата начала эксплуатации: 1 сентября 2015 года
Доступность: записанные на курс пользователи
Язык интерфейса: русский