7. Учебно-методическое и информационное обеспечение дисциплины «Математическая логика»

а) основная литература:

1. Новиков П.С. Элементы математической логики. – М.: Наука, 1973.

2. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – СПБ: Лань, 1999.

3. Игошин В.И. Задачник – практикум по математической логике. – М.: Просвещение, 1986.

4. Лавров И.А., Максимова Л.Л. Задачник по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975.

5. Практикум по математической логике и теории алгоритмов. Нижневартовск. НГГУ. 2012. 28 с.

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

б) дополнительная литература:

1. Игошин В.И. Математическая логика и теория алгоритмов. – Саратов: Изд-во Саратовского университета, 1991.

2. Гиндикин С.Г. Алгебра логики в задачах. –М.: Наука, 1972.

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

4. Черч А. Введение в математическую логику. –М.: Мир, 1960.

5. Эдельман С.Л. Математическая логика. –Мн.: ВШ, 1975.

6. Варпаховский Ф.Л. Математическая логика. Изд-во «Альфа», 1993.

7. Клини С.К. Математическая логика. –М.:1973.

8. Ершов Ю.Л. Палютин Е.А. Математическая логика. –М.: Наука, 1973.

12. Латонин Л.А. и др. Математическая логика. –Мн.ВШ,1991.

27.  Захаров Д.А. Рекурсивные функции. – Новосибирск. Изд-во НГУ, 1970.

28. Лавров И.А. Логика и алгоритмы. – Новосибирск. Изд-во НГУ, 1970.

в) программное обеспечение и Интернет-ресурсы

1. Электронно - библиотечная система образовательные и просветительские издания: [сайт ] url: http://www.Iqlib.Ru/

2. Основы теории множеств и математической логики: [сайт ] url: http://otmml.Narod.Ru/

8. Материально-техническое обеспечение дисциплины (модуля)

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

Программа составлена в соответствии с требованиями ФГОС ВПО с учетом рекомендаций и ПрООП ВПО по специальности «Прикладная математика»

Автор Уразаева Л.Ю.

Рецензент Дмитриев Н.П.

Программа одобрена на заседании кафедры физико-математического образования от 01.06.12 года, протокол № 9.