![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Список основной литературы (а)
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.
Дата публикования: 2015-03-26; Прочитано: 512 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!