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

Матеріал з Вікі ЦДУ
Перейти до: навігація, пошук
Ресурси
 

Ресурси

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

Базова

  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.

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

---