Ресурси курсу "Навчальний курс "Математична логіка", ФМФ"

Головна

Зміст курсу

Графік навчання

Ресурси

Учасники

Результати

 

Ресурси

Рекомендована література

Базова

1. Гуц А.К. Математическая логика и теория алгоритмов: учебное пособие. — Омск: Изд-во Наследие. Диалог-Сибирь, 2003. — 108 с.
2. Донской В. И. Дискретная математика. — Издательство «СОНАТ», 2000. — 360с.
3. Игошин В.И. Математическая логика и теория алгоритмов.- Изд-во Саратовського ун-та, 1991.-256с.
4. Калужнін Л.А.,Королюк В.С. Алгоритми і математичні машини.-К.:Вища школа, 1965
5. Лиман Ф.М. Математична логіка та теорія алгоритмів.- Суми, вид-во „Слобожанщина”,1998.-152 с.
6. Мендельсон Э. Введение в математическую логику.- М.:Наука, 1976.-320 с.
7. Никольская И. Л. Математическая логика: Учебник. — М.: Высш. школа, 1981.— 127 с.
8. Новиков П.С. Элементы математической логики.-М.:Наука, 1973.-399с.
9. Євладенко В.М., Паращук С.Д. Методичні вказівки до практичних занять з математичної логіки.-Кіровоград:КДПІ, 1990
10. Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів: Навчально-методичний посібник. Кіровоград: Видавництво «КОД», 2009. 116с.
11. Хромой Я.В. Математична логіка.- К.:Вища школа,1983.-208 с.
12. Чуб О.Т.,Коба В.І. Збірник вправ з курсу „Алгоритми і математичні машини”.- К.:Вища школа, 1970.-216 с.
13. Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
14. Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.

Допоміжна

1. Донской В.И. Дискретная математика.- Симферополь, 2000.
2. Ершов Ю.Л., Палютин Е.А. Математическая логика – М.:Наука, 1979.-320 с.
3. Клини С. Математическая логика – М, 1973
4. Лісова Т.В. Математична логіка та теорія алгоритмів:практикум. – Ніжин, 2011. Ч2. 116с
5. Мальцев А.И. Алгоритмы и рекурсивне функции. – М, 1965.
6. Середа В.Ю. Математична логіка в шкільному курсі математики.-К.: Радянська школа, 1984.- 144 с.
7. Столл Р.Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968.-231 с.
8. Черч А. Введение в математическую логику – М, 1960.

Інформаційні ресурси

---