Учебно-методическое обеспечение. Список основной литературы (а)

Список основной литературы (а)

1. Игошин В.И. Математическая логика и теория алгоритмов. М: Издательский центр «Академия», 2004. – 448 с.

2. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М: Издательский центр «Академия», 2005. – 304 с.

3. Латотин Л.А., Макаренков Ю.А., Николаева В.В., Столяр А.А. Математическая логика. Минск: Вышэйшая школа, 1991.

4. Мадер В.В. Математический детектив: Кн. для учащихся. - М.: Просвещение, 1992. – 96 с.

5. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. СПб.: Издательство «Лань», 1999. – 288 с.

6. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МЦМНО, 2000. – 288 с.

Б. Список дополнительной литературы (б)

1. Градштейн, И.С. Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. – М.: Наука, 1972. – 128 с.

2. Лихтарников, Л.М. Математическая логика [Текст]: курс лекций, задачник-практикум и решения / Л.М. Лихтарников, Т.Г. Сукачева. – СПб.: Лань, 1998. – 288 с.

3. Мадер, В.В. Школьнику об алгебре логики: книга для внеклассного чтения учащихся 10-11 кл. сред. школы / В.В. Мадер. – М.: Просвещение, 1993.

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

5. Шенфилд, Д.Р. Математическая логика. – М.: Наука, 1975. – 527 с.

Список учебно-методических разработок для студента (в)

1. Емельченков Е.П., Емельченков В.Е. Аксиоматические теории. Математическая морфология. Смоленск: Изд-во СГМА, 2000. Том 4, вып. 1. С. 35-56.