Список литературы
| 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 Иванов Дмитрий Сергеевич
Допущен(а) к защите: ________________________________
Руководитель курсовой работы: старший преподаватель Анищик Т.А.
Защищен_____________________ Оценка______________________
(дата)