остальных форм обучения). Каждая контрольная работа содержит по три задания, за выполнение которых начисляется определенное число баллов:

−за 1-е задание (контрольная работа № 1) число баллов равно утроенному числу правильно упрощенных из 12 формул исчисления высказываний (от 0 до 36);

−за 2-е задание (контрольная работа № 1) число баллов равно удвоенному числу правильно установленных значений истинности 5 импликаций (от 0 до 10);

−за 3-е задание (контрольная работа № 1) число баллов равно числу правильно найденных множеств истинности 4 предикатов (от 0 до 4);

−за 4-е задание (контрольная работа № 2) число баллов равно удвоенному числу правильно установленных значений истинности 8 формул исчисления предикатов с заданной интерпретацией (от 0 до 16);

−за 5-е задание (контрольная работа № 2) число баллов равно числу правильных значений 3 последовательных операторов присваивания (от 0 до 3);

−за 6-е задание (контрольная работа № 2) число баллов равно удвоенному числу правильно вычисленных значений функции с 6 ветвями (от 0 до 12).

Таким образом, максимальное число баллов за выполнение контрольных работ равно 81. Для получения допуска к экзамену необходимо набрать не менее двух третей от этой суммы, т.е. 54 и более баллов. Студенты, обучающиеся по ДОТ, дополнительно проходят контрольное тестирование в среде Moodle по Интернету.

3. Информационные ресурсы дисциплины

3.1. Библиографический список

Основной:

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

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

-30 с.

3.Анкудинов, Г.И. Логическое программирование на языке Prolog: учеб. пособие / Г.И. Анкудинов, О.И. Золотов, О.А. Петухов. – СПб.: Изд-во СЗТУ, 2001. – 172 с.

13

Дополнительный:

4.Петухов, О.А Моделирование. Нечеткие модели: учеб. пособие / О.А. Петухов, И.А. Бригаднов, Р.Р. Хамидуллин. – СПб.: Изд-во СЗТУ, 2005. – 92 c.

5.Шоломов, Л.А. Основы теории дискретных логических и вычислительных устройств: учеб..пособие / Л.А. Шоломов. – М.: Наука, 1980. – 400 с.

6.Гэри, М. Вычислительные машины и труднорешаемые задачи: пер. с англ. / М. Гэри, Д. Джонсон. – М.: Мир, 1982. – 416 с.

7.Заде, Л. Понятие лингвистической переменной и его применение к принятию приближенных решений / Л. Заде. – М.: Мир, 1976. – 150 с.

8.Ковальски Р. Логика в решении проблем: пер. с англ. / Р. Ковальски. - М.:

Наука, 1990.– 280 с.

9.Лингер, Р. Теория и практика структурного программирования: пер. с англ. /

Р. Лингер, Х. Миллс, Б. Уитт. – М.: Мир, 1982.− 406 с.

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

Наука, 1984. – 320 с.

11.Минский, М. Вычисления и автоматы: пер. с англ. / М. Минский. − М.: Мир, 1971. – 368 с.

12.Формальная логика: учеб. пособие / под ред. И.Я. Чупахина, И.Н. Бродского. -

Л.: Изд-во ЛГУ, 1977. – 360 с.

Средства обеспечения освоения дисциплины (ресурсы Internet)

Электронная библиотека системы федеральных образовательных порталов

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

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

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

-2-е изд. / Г.И. Анкудинов, И.Г. Анкудинов, О.А. Петухов. - СПб.: Изд-во СЗТУ, 2003. – 104 с.

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

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

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

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

19.Сергиевская, И.М. Математическая логика и теория алгоритмов: учеб. пособие / И.М. Сергиевская. - Самара: Изд-во ПГАТИ, 2004. - 59 с.

14