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

1.

Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Ижевский государственный технический университет
имени М. Т. Калашникова»
Курс «Математическая логика и теория алгоритмов»
Введение
Автор Исенбаева Е.Н., старший преподаватель
Ижевск
2013

2. ДЛЯ ЧЕГО НУЖНО ИЗУЧАТЬ ЭТОТ КУРС?

После изучения курса «Математическая логика и
теория алгоритмов» вы научитесь:
- применять аппарат математической логики при
написании математического раздела курсовых работ
и выпускной квалификационной работы;
- строить адекватную математическую модель
предметной области;
- ставить задачу и разрабатывать алгоритм ее
решения;
- оценивать сложность алгоритма;
- использовать знания теории алгоритмов для
построения эффективного алгоритма решения
задачи.
Курс «Математическая логика и теория алгоритмов »
Введение
2

3. РАЗДЕЛЫ КУРСА

1. Исторический очерк развития науки «логика».
2. Алгебра высказываний. Операции над высказываниями.
Основные равносильности.
3. Основные понятия и определения алгебры высказываний.
Двойственность.
4. Функциональная полнота и замкнутость логических систем.
Специальные классы функций.
5. Теория предикатов. Операции над предикатами. Логическая
интерпретация формулы логики предикатов.
6. Исчисление высказываний. Исчисление предикатов.
7. Теория алгоритмов. Основные понятия и определения. Машина
Тьюринга. Трудоемкость и сложность алгоритма.
По всем разделам предусмотрено тестирование
По разделам 2,3,4,5,7 предусмотрено выполнение практических
заданий
Курс «Математическая логика и теория алгоритмов »
Введение
3

4. СИСТЕМА ОЦЕНИВАНИЯ

Что оценивается?
1. Практические работы
2. Тесты
Максимальное количество баллов по результатам
работы в семестре - 100
«Отлично»: 96 - 100
«Хорошо»: 81 - 95
«Удовлетворительно»: 65 – 80
Максимальное количество баллов за экзамен- 20
Курс «Математическая логика и теория алгоритмов »
Введение
4

5. ВАШ ПРЕПОДАВАТЕЛЬ

Исенбаева Елена Насимьяновна,
старший преподаватель кафедры
АСОИУ ИжГТУ имени
М.Т. Калашникова
Контакты:
email: [email protected]
сот. 8-950-835-46-96
Курс «Математическая логика и теория алгоритмов »
Введение
5

6.

English Русский Rules