Відмінності між версіями «Ресурси курсу "Навчальний курс "Математична логіка", ФМФ"»
Матеріал з Вікі ЦДУ
(→Базова) |
(→Допоміжна) |
||
Рядок 35: | Рядок 35: | ||
===Допоміжна=== | ===Допоміжна=== | ||
− | # | + | |
− | # | + | # Донской В.И. Дискретная математика.- Симферополь, 2000. |
− | # | + | # Ершов Ю.Л., Палютин Е.А. Математическая логика – М.:Наука, 1979.-320 с. |
+ | # Клини С. Математическая логика – М, 1973 | ||
+ | # Лісова Т.В. Математична логіка та теорія алгоритмів:практикум. – Ніжин, 2011. Ч2. 116с | ||
+ | # Мальцев А.И. Алгоритмы и рекурсивне функции. – М, 1965. | ||
+ | # Середа В.Ю. Математична логіка в шкільному курсі математики.-К.: Радянська школа, 1984.- 144 с. | ||
+ | # Столл Р.Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968.-231 с. | ||
+ | # Черч А. Введение в математическую логику – М, 1960. | ||
==Інформаційні ресурси== | ==Інформаційні ресурси== |
Версія за 12:29, 9 жовтня 2015
Ресурси
Ресурси
Рекомендована література
Базова
- Гуц А.К. Математическая логика и теория алгоритмов: учебное пособие. — Омск: Изд-во Наследие. Диалог-Сибирь, 2003. — 108 с.
- Донской В. И. Дискретная математика. — Издательство «СОНАТ», 2000. — 360с.
- Игошин В.И. Математическая логика и теория алгоритмов.- Изд-во Саратовського ун-та, 1991.-256с.
- Калужнін Л.А.,Королюк В.С. Алгоритми і математичні машини.-К.:Вища школа, 1965
- Лиман Ф.М. Математична логіка та теорія алгоритмів.- Суми, вид-во „Слобожанщина”,1998.-152 с.
- Мендельсон Э. Введение в математическую логику.- М.:Наука, 1976.-320 с.
- Никольская И. Л. Математическая логика: Учебник. — М.: Высш. школа, 1981.— 127 с.
- Новиков П.С. Элементы математической логики.-М.:Наука, 1973.-399с.
- Євладенко В.М., Паращук С.Д. Методичні вказівки до практичних занять з математичної логіки.-Кіровоград:КДПІ, 1990
- Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів: Навчально-методичний посібник. Кіровоград: Видавництво «КОД», 2009. 116с.
- Хромой Я.В. Математична логіка.- К.:Вища школа,1983.-208 с.
- Чуб О.Т.,Коба В.І. Збірник вправ з курсу „Алгоритми і математичні машини”.- К.:Вища школа, 1970.-216 с.
- Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
- Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.
Допоміжна
- Донской В.И. Дискретная математика.- Симферополь, 2000.
- Ершов Ю.Л., Палютин Е.А. Математическая логика – М.:Наука, 1979.-320 с.
- Клини С. Математическая логика – М, 1973
- Лісова Т.В. Математична логіка та теорія алгоритмів:практикум. – Ніжин, 2011. Ч2. 116с
- Мальцев А.И. Алгоритмы и рекурсивне функции. – М, 1965.
- Середа В.Ю. Математична логіка в шкільному курсі математики.-К.: Радянська школа, 1984.- 144 с.
- Столл Р.Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968.-231 с.
- Черч А. Введение в математическую логику – М, 1960.
Інформаційні ресурси
---