Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»



Скачать 21.15 Kb.
Дата30.12.2012
Размер21.15 Kb.
ТипДокументы
Аннотация рабочей программы дисциплины

Теория автоматов и формальных языков
Место дисциплины в структуре ООП

Принципы построения курса:

Курс входит в математический и естественнонаучный цикл ООП 010300 «Фундаментальная информатика и информационные технологии»

Изучению курса предшествуют следующие дисциплины:

«Логика», «Математическая логика и теория алгоритмов», «Дискретная математика», «Языки программирования».

Успешное освоение курса позволяет перейти к изучению дисциплин «Программная инженерия», «Интеллектуальные системы» в профессиональном цикле ООП 010300 «Фундаментальная информатика и информационные технологии»

В курсе выделено несколько разделов / тем:

Формальные грамматики и языки. Абстрактные автоматы: многоленточные машины Тьюринга, линейно-ограниченные автоматы, автоматы с магазинной памятью, конечные автоматы и определяемые ими языки. Теория перевода, понятие синтаксически управляемого перевода, методы лексического и синтаксического анализа. Введение в формальную семантику, атрибутные грамматики, операционная и денотационная семантика языков. Модели естественных языков, синтаксические структуры естественного языка, основные этапы перевода с естественного языка. Введение в теорию сетей Петри, помеченные сети и классы языков сетей Петри, ординарные сети, автоматные сети и синхронизационные графы, применение сетей Петри для описания сетевых протоколов, бизнес-процессов и дискретных систем управления. Машины клеточных автоматов, определение правила работы клеточного автомата, вероятностные машины клеточных автоматов, классы задач, решаемые с помощью машин клеточных автоматов. Однородные вычислительные среды (ОВС), структурная и функциональная схема модели коллектива вычислителей, микроструктурная теория ОВС, микроструктурное моделирование в тканях, макроструктурная теория ОВС.


Компетенция обучающегося,

формируемая в результате освоения дисциплины
- -способность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования (ОК-10);

-способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки) (ПК-4);

-способность профессионально владеть базовыми математическими знаниями и информационными технологиями, эффективно применять их для решения научно-технических задач и прикладных задач, связанных с развитием и использованием информационных технологий (ПК-8);

-понимание концепций и абстракций, способность использовать на практике базовые математические дисциплины (ПК-15).

Похожие:

Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Логика Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconИсследование операций Место дисциплины в структуре ооп принципы построения курса
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Дискретная математика Место дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Основы программирования Место дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп
Курс входит в математический и естественнонаучный цикл ооп 010300 Фундаментальная информатика и информационные технологии
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Дифференцируемость функций комплексного переменного, условие Коши-Римана. Понятие интеграла функции комплексного переменного. Теорема...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org