Відмінності між версіями «Ресурси курсу "Навчальний курс "Математична логіка", ФМФ"»
Матеріал з Вікі ЦДУ
(→Базова) |
|||
| Рядок 15: | Рядок 15: | ||
==Рекомендована література== | ==Рекомендована література== | ||
===Базова=== | ===Базова=== | ||
| + | |||
| + | # Гуц А.К. Математическая логика и теория алгоритмов: учебное пособие. — Омск: Изд-во Наследие. Диалог-Сибирь, 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 с. | ||
| + | # | ||
# | # | ||
# | # | ||
| − | |||
| − | |||
===Допоміжна=== | ===Допоміжна=== | ||
Версія за 12:26, 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 с.
Допоміжна
Інформаційні ресурси
---
