Рабочая программа дисциплины «Философия»



Скачать 129.28 Kb.
страница14/59
Дата28.07.2018
Размер129.28 Kb.
ТипРабочая программа
1   ...   10   11   12   13   14   15   16   17   ...   59
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

«Математическая логика и теория алгоритмов»

для подготовки бакалавров

по направлению 231000 «Программная инженерия»

(аннотация)
Цели освоения дисциплины

Дисциплина "Логика и теория алгоритмов" предназначена для студентов второго

курса, обучающихся по направлению 231000 «Программная инженерия». В результате изучения курса студент должен знать основные понятия математической логики: формальной теории, исчисления; структуру исчислений высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгорифмы Маркова), понятия вычислимости, разрешимости, перечислимости; основные неразрешимые массовые проблемы.

Студент должен уметь доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгорифмов для решения простых вычислительных задач.


Общая трудоемкость дисциплины составляет 3 зачетных единицы, 108 часов.
Содержание дисциплины

Логика высказываний (пропозициональная логика). Высказывания и истинностные значения высказываний. Логические операции. Формулы логики высказываний (пропозициональные формулы). Истинностные функции. Тавтологии. Эквивалентность формул. Замена эквивалентным и двойственность. Дизъюнктивная и конъюнктивная нормальные формы.

Классическое исчисление высказываний. Аксиомы и правила вывода. Вывод формул и вывод формул из гипотез. Теорема о дедукции. Теоремы полноты и непротиворечивости.

Исчисление предикатов. Предикаты и кванторы. Предикатные формулы. Интерпретация предикатных формул. Выполнимость, истинность. Логическая общезначимость.

Аксиомы и правила вывода исчисления предикатов 1-го порядка. Структура теории 1-го порядка. Нормальные алгорифмы и машины Тьюринга. Вычисление словарных функций нормальными алгорифмам и и машинами Тьюринга. Принцип нормализации и тезис Тьюринга.

Универсальные алгоритмы. Теоремы сочетания. Разрешимость и перечислимость.Неразрешимые массовые проблемы.




Каталог: sites -> edu.sfu-kras.ru -> files
sites -> Петинова М. А. П 29 Философия техники
sites -> Народная художественная культура. Профиль Теория и история народной художественной культуры
sites -> Программа «Психология личности»
sites -> Отчет о научно-исследовательской работе за 2014 год ростов-на-Дону 2014
sites -> Вопросы для обсуждения, докладов, рефератов по дисциплине социология молодежи для студентов, обучающихся на направлении 040700 Организация работы с молодёжью
files -> Аннотации рабочих дисциплин Направление подготовки 080200. 62 Менеджмент Профиль подготовки


Поделитесь с Вашими друзьями:
1   ...   10   11   12   13   14   15   16   17   ...   59


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

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