semestr_2_mat_logika_12-13_IVT / Литература матлогика
.docx
Учебно-методические материалы по дисциплине
Математическая логика
ИВТ 2 семестр
1. Основная и дополнительная литература
№№ п-п |
Автор и наименование |
Вид пособия |
Год издания |
Кол-во экз. в библиотеке |
|
Основная |
|
|
|
1 |
С. Д. Шапорев. Математическая логика |
У |
2007 |
0 |
2 |
Ю.Л. Ершов Математическая логика, М: Наука, |
У |
1987. |
5 |
3 |
Н.К. Верещагин, А.Шень Лекции по математической логике и теории алгоритмов, часть 1, М: МЦНМО, |
У |
1999. |
1 |
4 |
Н.К. Верещагин, А.Шень Лекции по математической логике и теории алгоритмов. Языки и исчисления, М: МЦНМО, |
У |
2000. |
1 |
5 |
Н.К. Верещагин, А.Шень Лекции по математической логике и теории алгоритмов. Вычислимые функции, М: МЦНМО, |
У |
1999. |
1 |
6 |
А.И. Мальцев Алгоритмы и рекурсивные функции, М.:Наука |
У |
1986 |
2 |
|
|
|
|
|
Примечание:
1. Порядковая нумерация сквозная, двухиндексная (Л-1, Л-2, Л-3 и т.д.);
2. Дополнительная литература отделяется заголовком;
3. Условные обозначения вида пособия: У – учебник, УП – учебное пособие, Др – монография и другая литература.
2. Методические пособия и указания
№№ п-п |
Наименование |
Год издания (состава) |
Кол-во экз. |
1 |
В.Н. Пушкин, Математическая логика и теория алгоритмов. Часть 1 метод. указания и контр. работы/ – Ухта: УГТУ, - 30 с. |
2010
|
100
|
|
|
|
|
Примечание.
Порядковая нумерация двухиндексная: М-1, М-2, М-3 и т.д.