Программа дисциплины Спецкурс «Доказательства и вычисления» для направления 010100. 62 «Математика»


Компетенции обучающегося, формируемые в результате освоения дисциплины



Скачать 89.98 Kb.
страница3/4
Дата30.07.2018
Размер89.98 Kb.
ТипПрограмма дисциплины
1   2   3   4

3Компетенции обучающегося, формируемые в результате освоения дисциплины


В результате освоения дисциплины студент должен:

  • Знать точный смысл слов: вычислимая функция, разрешимая (неразрешимая) алгоритмическая проблема, m-сводимость, теорема Райса-Успенского, сложностные классы P и NP, формальная арифметика Пеано, первая терема Гёделя о неполноте, вторая теорема Гёделя о неполноте.

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

  • Уметь уметь строить формальные выводы простейших утверждений в арифметике Пеано.

  • Приобрести начальный опыт использования техники «неподвижных точек» в общей теории алгоритмов и теории доказательств.



4Место дисциплины в структуре образовательной программы


Настоящая дисциплина относится к циклу специальных дисциплин и блоку дисциплин по выбору.
Изучение данной дисциплины базируется на следующих дисциплинах:

  • Логика и алгоритмы

Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и компетенциями:

  • Уметь реализовывать простые алгоритмы с помощью машин Тьюринга. Владеть методами доказательства теорем в исчислении высказываний и исчислении предикатов. Знать теорему о полноте исчисления предикатов первого порядка и уметь её применять.



Основные положения дисциплины должны быть использованы в дальнейшем при изучении следующих дисциплин:



Каталог: data -> 2013
2013 -> Федеральное государственное автономное образовательное
2013 -> Источники в социологии
2013 -> Концепция устойчивого развития признана мировым сообществом в качестве центральной стратегии развития человечества, которая направлена на преодоление глобального экологического кризиса
2013 -> Политические ориентации современной российской молодежи
2013 -> 5 Алёшин А. И. Несколько тезисов к теме конференции 7
2013 -> Исследование особенностей жизнедеятельности семей в современной России
2013 -> Владимир карлович кантор
2013 -> Факт и образ: жанровая специфика мультимедийных и телевизионных проектов на темы истории


Поделитесь с Вашими друзьями:
1   2   3   4


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

    Главная страница