Аннотация рабочей программы дисциплины


Скачать 22.77 Kb.
НазваниеАннотация рабочей программы дисциплины
Дата20.04.2013
Размер22.77 Kb.
ТипДокументы
АННОТАЦИЯ РАБОЧЕЙ ПРОГРАММЫ ДИСЦИПЛИНЫ

Абстрактные автоматы и машины

Место дисциплины в структуре ООП

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

Курс входит в общенаучный цикл ООП 010320 Информатика и компьютерные науки.

Курс адресован магистрам 2-го курса (1 семестр).

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

Конечные автоматы, эквивалентность автоматов, приведенные автоматы. Схемы из логических элементов и элементов задержки; реализация автоматных функций; события; операции над событиями; регулярные события и их представимость в автоматах; теорема Клини; регулярные выражения; представимость событий регулярными выражениями. Логические исчисления, модели: исчисление высказываний; аксиомы; правило вывода; тождественная истинность выводимых формул; непротиворечивость исчисления высказываний; теорема о полноте исчисления высказываний. Предикаты, кванторы; модели; формулы; свободные и связанные переменные; истинность формул в модели, на множестве. Общезначимые формулы, эквивалентные формулы логики предикатов, нормальная форма; исчисление предикатов; аксиомы; правила вывода; производные правила вывода; тождественная истинность выводимых формул; непротиворечивость исчисления предикатов; теорема о полноте для случая одноместных предикатов. Вычислимые функции, машины Тьюринга, тезис Черча; рекурсивно перечислимые множества и их алгоритмическая характеристика; теорема Поста; неразрешимость проблем самоприменимости, применимости; теорема Поста–Маркова о существовании ассоциативного исчисления с алгоритмически неразрешимой проблемой равенства; теорема о неразрешимости проблемы распознавания тождественно истинных формул исчисления предикатов; операции суперпозиции и примитивной рекурсии; примитивно-рекурсивные функции; частично-рекурсивные функции; вычислимость частично-рекурсивных функций по переменной; совершенная дизъюнктивная нормальная форма; полные системы функций; полиномы Жегалкина; представление булевых функций полиномами; замыкание; линейные функции; самодвойственные функции; принцип двойственности; монотонные функции; теорема о неполноте систем функций алгебры логики; базисы; дизъюнктивные нормальные формы. Функции k-значной логики; элементарные функции: полнота систем функций; особенности функций k-значной логики, теорема Кузнецова о функциональной полноте; существенные функции; теорема Слупецкого.


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

формируемые в результате освоения дисциплины

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

Добавить документ в свой блог или на сайт

Похожие:

Разместите кнопку на своём сайте:
cat.convdocs.org


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