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

Головна

Зміст курсу

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

Ресурси

Учасники

Результати

 

Ресурси

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

Базова

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 с.

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

---