Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск

Скачать 330.17 Kb.

Название	Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск
страница	3/3
Дата публикации	28.10.2014
Размер	330.17 Kb.
Тип	Учебно-методический комплекс

100-bal.ru > Информатика > Учебно-методический комплекс

1 2 3

ТематикА рефератов по дисциплине

«МАТЕМАТИЧЕСКАЯ ЛОГИКА»
ТЕМА 1. Индуктивные умозаключения.

ПЛАН:

Природа, роль и структура индукции.
Полная индукция.
Неполная, популярная индукция.
Математическая индукция.
Основные ошибки в индуктивных рассуждениях.
Понятие вероятности.

ТЕМА 2. Индуктивные методы установления причинных связей.

ПЛАН:

Научная индукция.
Методы научной индукции:

метод единичного сходства;
метод единичного различия;
соединенный метод сходства и различия;
метод сопутствующих изменений;
метод остатков.

Основные ошибки в индуктивных рассуждениях.

ТЕМА 3. Умозаключения по аналогии.

ПЛАН:

Аналогия как недедуктивное умозаключение.
Структура аналогии.
Аналогия свойств.
Аналогия отношений.
Строгая и нестрогая аналогии.
Ложная аналогия.
Состоятельность аналогии.

ТЕМА 4. Гипотеза как форма развития знаний.

ПЛАН:

Определение гипотезы.
Виды разновидности гипотез.
Построение гипотезы и этапы ее развития.
Опровержение гипотез.

ТЕМА 5. Доказательство и опровержение.

ПЛАН:

Понятие доказательства.
Прямое и непрямое (косвенное) доказательства.
Опровержение и его виды.
Правила доказательного рассуждения.
Логические ошибки, встречающиеся в доказательствах и опровержениях.

ТЕМА 6. Дискуссия и полемика.

ПЛАН:

Дискуссия и полемика как две разновидности спора.
Цели дискуссии и полемики.
Требования к дискуссии и полемике.
Корректные и некорректные приемы ведения дискуссии.

ТЕМА 7. Спор как разновидность аргументации.

ПЛАН:

Спор как разновидность аргументации и его виды.
Научный спор как форма познавательной деятельности.
Значение научных споров.
Уловки споров и способы их нейтрализации.
Стратегия и тактика споров.

ТЕМА 8. Логика вопросов и ответов.

ПЛАН:

Вопрос как форма выражения проблемы.
Виды вопросов.
Правило постановки вопросов.
Логическая структура и виды ответов.

ТЕМА 9. Убедительные основания.

ПЛАН:

Умение рассуждать обоснованно как важный компонент логической культуры человека.
Эмпирические и теоретические способы обоснования.
Общие принципы научных исследований.
Условие совместимости.
Универсальные способы теоретических обоснований.
Нерациональные и неэффективные приемы обоснований.

ТЕМА 10. Простой категорический силлогизм как вид дедуктивного рассуждения.

ПЛАН:

Определение и структура простого категорического силлогизма.
Фигуры простого категорического силлогизма.
Правила фигур, посылок и терминов простого категорического силлогизма.
Модусы простого категорического силлогизма.
Сокращенный силлогизм – энтимема.

ТЕМА 11. Непосредственные умозаключения.

ПЛАН:

Дедуктивные умозаключения.
Непосредственные умозаключения.
Логические операции, при помощи которых получают непосредственные умозаключения:
- превращение;
- обращение;
- противопоставление предикату;
- умозаключения по логическому квадрату.

ТЕМА 12. Анализ умозаключений при помощи таблиц истинности.

ПЛАН:
Высказывания и их виды.

Операции над высказываниями.
Составление таблиц истинности.
Логическое следствие.
Примеры анализа умозаключений при помощи таблиц истинности.

ТЕМА 13. Определение понятий.

ПЛАН:

Задачи определения понятий.
Явные определения и требования к ним.
Неявные определения.
Реальные и номинальные определения.
Роль определений в науке.

ТЕМА 14. Искусство классификации.

ПЛАН:

Деление понятий и требования к нему.
Виды деления понятий.
Классификация и ее роль в науке.
Естественная и искусственная классификация.
Трудности классификации социальных объектов.
Ловушки классификации.

ТЕМА 15. Законы логики.

ПЛАН:

Понятие о логическом законе.
Законы логики и их роль в науке, жизни и образовании.
Критика некоторых логических законов.

ТЕМА 16. Неклассическая логика.

ПЛАН:

Классическая и неклассическая логика.
Интуиционистская логика.
Многозначная логика.
Модальная логика.
Логика абсолютных и сравнительных оценок.
Логика норм.
Логика причинности.
Логика времени.
Логика изменения.
Паранепротиворечивая логика.
Современные теории логического следования.

ТЕМА 17. Софизмы.

ПЛАН:

Софизм как интеллектуальное мошенничество.
Софизм как особая форма постановки проблем.
Софизмы в античной философии и логике.
Роль софизмов в становлении логики.
Логические ошибки в софизмах.
Апории Зенона и их современное истолкование.

ТЕМА 18. Логические парадоксы.

ПЛАН:

Понятие логического парадокса.
Парадокс «лжец».
Парадокс Рассела.
Парадокс «Протагор и Еватл».
Примеры других парадоксов.
Роль парадоксов в развитии логики.
Перспективы разрешения парадоксов.

ТЕМА 19. Логика, мышление и язык.

ПЛАН:

Определение и значение логики.
Логика, мышление и язык.
Основные функции языка.
Логические категории языка.

ТЕМА 20. Текст.

ПЛАН:

Общая характеристика текста.
Логическая структура текста.
освоение текста.
Глубина понимания текста.
Работа над созданием научного текста.
Способы изложения научного материала.

ТЕМА 21. Управление.

ПЛАН:

Понятие управления. Управленческая программа.
Цель.
Разработка управленческой программы.
Принятие решения.
Методы оптимизации принятия решений.

ПЕРЕЧЕНЬ ВОПРОСОВ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ

ПО ДИСЦИПЛИНЕ МАТЕМАТИЧЕСКАЯ ЛОГИКА

Таблицы истинности для основных операций алгебры логики.
Теоремы булевой алгебры.
Законы де Моргана.
Теорема дедукции для исчисления высказываний.
Эквивалентность различных формул исчисления высказываний.
Предикаты и отображения.
Теорема дедукции для исчисления предикатов.
Эквивалентность различных формул исчисления предикатов.
Некоторые теоремы формальной арифметики.
Формальные грамматики. Классификации языков по Хомскому.

1 2 3

Похожие:

	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Программирование» для студентов очной формы обучения по специальности 050202. 65...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Физика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Сайтостроение» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Эстетика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Химия» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «История информатики» для студентов очной формы обучения по специальности 050202....
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационные системы» для студентов очной формы обучения по специальности 050202....		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Основы микроэлектроники» для студентов очной формы обучения по специальности 050202....
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационная культура» для студентов очной формы обучения по специальности 050202....		Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Архитектура компьютера» для студентов очной формы обучения по специальности 050202...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Протокол согласования рабочей программы дисциплины «культурология» с другими дисциплинами специальности 050202. 65 Информатика		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ...		Учебно-методический комплекс дисциплины специальность: 050502. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Политология» для студентов очной формы обучения по специальности 050202 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050502 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Социология» для студентов очной формы обучения по специальности 050202 «Информатика»...		Вводный курс информатики учебно-методический комплекс дисциплины... Учебно-методический комплекс дисциплины (умкд) «Вводный курс информатики» для студентов очной формы обучения по специальности 050202....

Школьные материалы