Документ взят из кэша поисковой машины. Адрес оригинального документа : http://hist.msu.ru/Departments/Inf/Stud/logic.htm
Дата изменения: Unknown
Дата индексирования: Tue Oct 2 02:06:49 2012
Кодировка: Windows-1251
Математическая логика для историков. Спецкурс
 
  Главная страница Исторического факультета МГУ   Главная страница кафедры исторической информатики  

Математическая логика для историков

к.и.н., доц. И.М. Гарскова

(вопросы и запись на курс - по электронной почте)


Тематический план

?? НАЗВАНИЕ ТЕМЫ
Введение
Раздел I. Теория множеств
1 Основные понятия и определения
2 Операции над множествами (алгебра множеств)
3 Множества и отношения
Раздел II. Высказывание (суждение)
4 Основные понятия и определения
5 Алгебра высказываний
Раздел III. Логический вывод (умозаключение)
6 Структура и общая схема логического вывода
7 Преобразование высказываний
8 Дедуктивные умозаключения
9 Индуктивные и традуктивные умозаключения
Раздел IV. Логические основы аргументации
10 Структура и формы аргументации
11 Аргументация в разных областях знания

Программа курса

Введение
Тема 1. Теория множеств. Основные понятия и определения
Тема 2. Операции над множествами (алгебра множеств)
Тема 3. Множества и отношения
Тема 4. Высказывание (суждение). Основные понятия и определения
Тема 5. Алгебра высказываний
Тема 6. Логический вывод (умозаключение)
Тема 7. Преобразование высказываний
Тема 8. Дедуктивные умозаключения
Тема 9. Индуктивные и традуктивные умозаключения
Тема 10. Логические основы аргументации
Тема 11. Аргументация в разных областях знания

Литература основная

Дополнительная