MLTA_dlya_vsekh (1) / Электронные лекции 2013 / Введение

2

Содержание курса

I.Лекции:

1.Логика высказываний

2.Логика предикатов

3.Варианты логики: модальная и нечеткая логика

4.Элементы теории алгоритмов

II.Практические занятия:

1.Исчисление формул логики высказываний и предикатов, решение задач нечеткой логики

2.Решение задач по тестированию алгоритмов и программ

3

Литература

1.Анкудинов Г.И., Бригаднов И.А. Математическая логика и теория алгоритмов: Учебно-

методический комплекс. – СПб.: Изд-во СЗТУ, 2008. – 112 с.

2.Анкудинов Г.И., Анкудинов И.Г., Петухов О.А.

Математическая логика и теория алгоритмов: Учебное пособие. - СПб.: Изд-во СЗТУ, 2005. – 104 c.

4

3.Заде Л. Понятие лингвистической переменной и

его применение к принятию приближенных решений. – М.: Мир, 1976. – 150 с.

4.Ковальски Р. Логика в решении проблем: Пер. с

англ. – М.: Наука, 1990. – 280 с.

5.Линдон Р. Заметки по логике. – М.: Мир, 1968. – 128 с.

6.Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984. – 320 с.

5

Библиотечные ресурсы Internet

http://window.edu.ru/window/library

1.Анкудинов Г.И. Математическая логика и теория алгоритмов: рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы / Г.И. Анкудинов, И.В. Иванова, И.А. Бригаднов. - СПб.: Изд-во СЗТУ, 2003. - 30 с.

6

2.Анкудинов Г.И. Математическая логика и теория алгоритмов: учебное пособие. 2-е изд. / Г.И. Анкудинов, И.Г. Анкудинов, О.А. Петухов. - СПб.:

Изд-во СЗТУ, 2003. – 104 с.

3.Подзоров С.Ю. Теория алгоритмов. Полный

конспект лекций по курсу / С.Ю. Подзоров - Новосибирск: Изд-во НГУ, 2005. - 130 с.

7

4.Битюцкий В.П. Математическая логика. Исчисления высказываний и предикатов:

методическое пособие / В.П. Битюцкий, Н.В. Папуловская. - Екатеринбург: Изд-во УГТУ-УПИ, 2005. - 44 с.

5.Галуев Г.А. Математическая логика и теория алгоритмов: учебно-методическое пособие / Г.А. Галуев. - Таганрог: Изд-во ТГТУ, 2003. - 65 с.

8

6.Самохин А.В. Математическая логика и теория алгоритмов: учебное пособие / А.В. Самохин. - М.: Изд-во МГТУ ГА, 2003. - 237 с.

7.Сергиевская И.М. Математическая логика и теория алгоритмов: учебное пособие / И.М.

Сергиевская. - Самара: Изд-во ПГАТИ, 2004. - 59 с.

Форма отчетности

1.Контрольные работы (2 шт.)

2.Экзамен

9

Все методические материалы по дисциплине МЛТА представлены в УМК. Контрольные работы

автоматически генерируются программой

MLTA2005.exe по последним пяти цифрам шифра. При помощи этой же программы можно

автоматически проверить правильность выполнения контрольных работ.