Список литературы
| 1. | Алексеев А.П. Аргументация. Познание. Общение. М., 1991. |
| 2. | Баженов Л.Б. Основные вопросы теории гипотезы. М., 1961. |
| 3. | Баженов Л.Б. Строение и функции естественнонаучной теории. М., 1978. |
| 4. | Белнац Н., Стил Т. Логика вопросов и ответов. М., 1981. |
| 5. | Берков В.Ф. Научная проблема (логико-гносеологический аспект). Минск,1979. |
| 6. | Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. Логика. Минск, 1997. |
| 7. | Бойко А.П. Формально-логические основы классификации //Логические проблемы исследования научного познания. М., 1980. |
| 8. | Бочаров В.А. Аристотель и традиционная силлогистика. М., 1984. |
| 9. | Бочаров В.А., Маркин В.И. Основы логики. М., 1997. |
| 10. | Брутян Г.А. Аргументация, Ереван, 1984. |
| 11. | Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996. |
| 12. | Войшвилло Е.К. Понятие как форма мышления. М., 1989. |
| 13. | Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1994. |
| 14. | Гетманова А.Д. Логика. М., 1995. |
| 15. | Горский Д.П. Логика. М., 1963. |
| 16. | Горский Д.П. Определение. М., 1974. |
| 17. | Горский Д.П. и др. Краткий словарь по логике. М., 1991. |
| 18. | Гжегорчик А. Популярная логика. М., 1979. |
| 19. | Еемерен Ф.Х., ван; Гроотендорст Р. Аргументация, коммуникация, ошибки. Л., 1992. |
| 20. | Ерохина Н.В. Традиционная формальная логика: Учеб-метод. пособие. Саратов, 1999. |
| 21. | Жеребкин В.Е. Логика. Харьков, 1968. |
| 22. | Зегет В. Элементарная логика. М., 1985. |
| 23. | Иванов Е.А. Логика. Учебник. - М., 1996. |
| 24. | Ивин А.А. Логика. М.,1997. |
| 25. | Ивин А.А. Искусство правильно мыслить. М., 1990. |
| 26. | Ивлев Ю.В. Логика. М., 1999. |
| 27. | Ивлев Ю.В. Логика в управлении. М., 1979. |
| 28. | Ивлев Ю.В. Модальная логика. М., 1991 |
| 29. | Кайберг Г. Вероятность и индуктивная логика. М., 1997. |
| 30. | Клини С. Математическая логика. М., 1973. |
| 31. | Кондаков Н.И. Логический словарь-справочник. М., 1975. |
| 32. | Лакост И. Доказательство и опровержение. М., 1967. |
| 33. | Лебедев С.А. Индукция как метод научного познания. М.. 1980. |
| 34. | Маковельский А.О. История логики. М., 1967. |
| 35. | Маркин В.И. Силлогистические теории в современной логике. М., 1991. |
| 36. | Минто В. Дедуктивная и индуктивная логика. СПб., 1995. |
| 37. | Павлова К.Г. Искусство спора: логико-психологические аспекты. М., 1988. |
| 38. | Павлов В.Т., Ишмуратов А.Т., Омельянчик В.И. Модальная логика. – Киев, 1982 |
| 39. | Петров Ю.А. Азбука логического мышления. М., 1991. |
| 40. | Поварнин С.И. Спор. О теории и практике спора. СПб., 1996. |
| 41. | Попов П.С. Исторический очерк развития логики. М., 1987. |
| 42. | Пугачева Л.Г., Гнидина Ю.А., Кащеев С.И. Логика.: Учеб.-метод. пособие. Саратов, 1999. |
| 43. | Рузавин Г.И. Логика и аргументация. М., 1997. |
| 44. | Рузавин Г.И. Научная теория. Логико-методологический анализ. М., 1978. |
| 45. | Свинцов В.И. Логика М., 1987. |
| 46. | Уемов А.И. Аналогия в практике научного исследования М., 1970 |
| 47. | Челпанов Г.И. Учебник логики. М., 1994. |
Приложение 1. Темы курсовых работ по дисциплине
"Математические и логические основы информатики"
| 1. | Основные этапы развития традиционной формальной логики и ее значение в познании. |
| 2. | Мышление как предмет изучения логики. |
| 3. | Роль логики в процессе обучения |
| 4. | Логика как наука о законах и формах правильного мышления. |
| 5. | Понятие как форма мышления. |
| 6. | Содержание и объем понятия. |
| 7. | Понятие как форма мышления. |
| 8. | Определение понятий. |
| 9. | Виды понятий. |
| 10. | Отношения между понятиями. |
| 11. | Обобщение и ограничение понятий, их пределы. |
| 12. | Деление понятий, его структура. |
| 13. | Общая характеристика суждения. |
| 14. | Простые суждения и их виды. |
| 15. | Сложные суждения и их виды. |
| 16. | Деление суждений по модальности. |
| 17. | Основные формально-логические законы. |
| 18. | Общая характеристика умозаключения, его структура: посылки, заключение, логическая связь между посылками и заключением. |
| 19. | Основные законы (принципы) правильного мышления. |
| 20. | Использование формально-логических законов в обучении |
| 21. | Общее понятие об умозаключении. Дедуктивные и индуктивные умозаключения. |
| 22. | Силлогизмы и их виды |
| 23. | Выводы из суждений с отношениями. |
| 24. | Выводы из сложных суждений. |
| 25. | Понятие индуктивного умозаключения. |
| 26. | Популярная индукция. |
| 27. | Научная индукция. |
| 28. | Умозаключения и их виды |
| 29. | Умозаключение по аналогии и его виды. |
| 30. | Роль выводов по аналогии в познании. |
| 31. | Гипотеза как умозаключение и форма развития знаний. |
| 32. | Построение гипотезы и этапы её развития. |
| 33. | Способы проверки и доказательства гипотез. |
| 34. | Проблема и её роль в познании. |
| 35. | Вопрос как форма выражения проблемы. |
| 36. | Аргументация и доказательство. |
| 37. | Обоснование и его виды. Критика как логическая операция. |
| 38. | Правила и ошибки в аргументации. |
| 39. | Искусство полемики. |
| 40. | Краткие сведения из истории классической и неклассической логик. |
| 41. | Развитие логики в связи с проблемой обоснования математики. |
| 42. | Неклассические логики: многозначная, интуиционистская и конструктивная. Обзор, история развития и назначение. |
| 43. | Неклассические логики: модальная, положительная и паранепротиворечнвая. Обзор, история развития и назначение. |
Приложение 2. Образец оформления титульного листа курсовой работы
Министерство сельского хозяйства российской федерации
Федеральное государственное бюджетное образовательное учреждение
Высшего профессионального образования
КУБАНСКИЙ ГОСУДАРСТВЕННЫЙ АГРАРНЫЙ УНИВЕРСИТЕТ
Факультет прикладной информатики
Кафедра компьютерных технологий и систем
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
к курсовой работе
по дисциплине: Математические и логические основы информатики
на тему: Сравнительный анализ понятий доказательства и дискуссии
выполнил(а) студент группы: ПИ 1102 Иванов Дмитрий Сергеевич
Допущен(а) к защите: ________________________________
Руководитель курсовой работы: старший преподаватель Анищик Т.А.
Защищен_____________________ Оценка______________________
(дата)