Программа дисциплины Логико-комбинаторные методы анализа социологических данных для специальности 040201. 65 «Социология» подготовки специалиста Автор к т. н., доцент Михеенкова М. А. (mmikh@viniti ru)

Вид материала

Программа дисциплины

Содержание Итоговое домашнее задание

Подобный материал:

• Программа дисциплины Маргинальность: основания социологической теории для направления, 184.83kb.
• Программа дисциплины «Методы анализа латентных признаков» для направления 040200., 268.76kb.
• Программа дисциплины «Социально-экономическое развитие посткоммунистических стран», 335.17kb.
• Программа методы экспертных оценок для специальности 040201. 65 "Социология" (подготовки, 131.22kb.
• Программа учебной дисциплины «методология и методика социологического исследования», 563.5kb.
• Программа дисциплины «неформальная экономика» для направления 040200. 62 «Социология», 405.52kb.
• Программа дисциплины «Компьютерные методы анализа социологических данных (введение, 411.94kb.
• Программа дисциплины «Социология моды и модного поведения» для направления 040201., 188.89kb.
• Программа дисциплины «Неэкономические субъекты и рынки в пост-советской России» для, 129.75kb.
• Программа дисциплины «Социология культуры» для направления 040200. 62 «Социология», 532.71kb.

Министерство экономического развития и торговли

Российской Федерации


Государственный университет –

Высшая школа экономики

Факультет социологии

Программа дисциплины


Логико-комбинаторные методы анализа социологических данных

для специальности 040201.65 «Социология»

подготовки специалиста


Автор к.т.н., доцент Михеенкова М.А. (mmikh@viniti.ru)

Рекомендована секцией УМС Одобрена на заседании кафедры

_____________________________ Методов сбора и анализа социологической информации

Председатель Зав. кафедрой

_____________________________ д.с.н., проф. Толстова Ю.Н.

«_____» __________________ 200 г. «____»_____________________ 200 г


Утверждена УС факультета

_________________________________

Ученый секретарь

_________________________________

« ____» ___________________200 г.

Москва


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

№	Название темы	Всего часов по дисциплине	Аудиторные часы		Самостоятельная работа
			Лекции	Сем. и практ. занятия
1.	Язык логики высказываний	11	2	2	7
2.	Алгебра логики	12	2	2	8
3.	Булева алгебра множеств	6	1	1	4
4.	Метод аналитических таблиц	6	1	1	4
5.	Язык логики предикатов	10	2	0	8
6.	Булева алгебра в социологическом исследовании	18	4	2	12
7.	Квазиаксиоматические теории для представления знаний	5	1	0	4
8.	ДСМ-метод автоматического порождения гипотез	24	5	4	15
9.	Анализ мнений в интеллектуальной системе	9	2	0	7
10.	Логический анализ рациональности мнений	7	1	2	4
	Итого:	108	21	14	73

---------------------------------------------------------------------------------------------------------------------------------------------------------

Ридеры

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


---------------------------------------------------------------------------------------------------------------------------------------------------------

Формы контроля:


Итоговая оценка по учебной дисциплине складывается из следующих элементов:

Работа на практических занятиях: решение задач домашнего задания и задач у доски

Письменная аудиторная контрольная работа (60 мин.)

Итоговое домашнее задание

Письменный экзамен (120 мин.)

---------------------------------------------------------------------------------------------------------------------------------------------------------


Содержание программы


Курс «Логико-комбинаторные методы анализа социологических данных» состоит из двух разделов. Первый предполагает ознакомление с основными понятиями логики и булевой алгебры, второй посвящен их применению в задачах анализа социологических данных. В программу курса включены следующие темы.

1. Язык логики высказываний: синтаксис и семантика. Логические связки. Оценка переменных и формул. Тавтологии, противоречивые и выполнимые формулы. Метод истинностных таблиц. ДНФ. СДНФ.
   

Литература. Клини С. Математическая логика. М.: Мир, 1973.

2. Алгебра логики. Булевские функции, реализация функций формулами. Разложение булевских функций по переменным. Проблема минимизации булевских функций. Сокращенные ДНФ, тупиковые ДНФ.
   

Литература. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.

3. Булева алгебра множеств, свойства. Операции над множествами. Диаграммы Венна. Включение множеств. Булеан. Изоморфность булевой алгебры множеств булевой алгебре высказываний.
   

Литература. Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.

4. Метод аналитических таблиц для логики высказываний, - и -правила. Проверка тавтологичности, вывод из гипотез и построение ДНФ методом аналитических таблиц.
   

Литература. Метакидес Г., Нероуд А. Принципы логики и логического программирования. М.: Факториал, 1998.

5. Язык логики предикатов. Термы и предикаты. Отношения. Кванторы. Сигнатура языка. Формулы логики предикатов. Свободные и связанные переменные. Интерпретация, общезначимость, выполнимость.
   

Литература. Клини С. Математическая логика. М.: Мир, 1973.

Метакидес Г., Нероуд А. Принципы логики и логического программирования. М.: Факториал, 1998.

6. Булева алгебра в социологическом исследовании. Истинностная таблица для представления данных. Минимизация булевского представления причинности. Необходимые и достаточные условия. Выделение причинных контекстов. Проблема ограниченного разнообразия. Противоречивые примеры. Анализ областей совпадения и несовпадения теории и результатов булевского анализа примеров.
   

Литература. Ragin C.C. The Comparative Method: Moving beyond Qualitative and Quantitative Strategies. Berkley, Los Angeles and London: University of California Press, 1987.

Rihoux B. Qualitative Comparative Analysis and Related Systematic Comparative Methods. International Sociology, v. 21 (5), September 2006.

7. Представление знаний для интеллектуального анализа социологических данных, постулат поведения. Квазиаксиоматические теории для представления знаний. Синтез познавательных процедур.
   

Литература. Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ, сер.2, 1999, № 1-2.

8. ДСМ-метод автоматического порождения гипотез как средство формализованного качественного анализа социологических данных. Формализация и расширение индуктивных методов Д.С. Милля. ДСМ-рассуждение: эмпирическая индукция, структурная аналогия, абдукция. Правила правдоподобного рассуждения I-го и II-го рода. Абдукция, абдуктивная сходимость.
   

Литература. Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ, сер.2, 1999, № 1-2.

9. Анализ мнений в интеллектуальной системе: тема опроса, каркас темы, определение мнения. Логика аргументации. Критерии рациональности мнений, распознавание рациональности мнений средствами логики аргументации.
   

Литература. Финн В.К., Михеенкова М.А. О логических средствах концептуализации анализа мнений // НТИ, сер.2, 2002, № 6.

10. Примеры применения ДСМ-метода: изучение детерминаций поведения, анализ рациональности электорального поведения.
    

Литература.

Климова С.Г., Михеенкова М.А., Панкратов Д.В. ДСМ-метод как метод выявления детерминант социального поведения // НТИ, сер.2, 1999, № 12.

Финн В.К., Михеенкова М.А. Логические средства формализации закрытых опросов и проблемы распознавания рациональности мнений // Математическое моделирование социальных процессов, 2005, вып.7, М.: МАКС Пресс.


--------------------------------------------------------------------------------------------------------------------------------------------


Тематика заданий по различным формам текущего контроля:

По курсу предполагается проведение контрольной работы со следующими заданиями: построение СДНФ, минимизация булевских функций и проверка тавтологичности формул методом аналитических таблиц.

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

-------------------------------------------------------------------------------------------------------------------------------------------

Вопросы для оценки качества освоения дисциплины

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

1. Язык логики высказываний: синтаксис и семантика. Логические связки.
   
2. Понятие пропозициональной формулы. Тавтологии, противоречивые и выполнимые формулы.
   
3. Метод истинностных таблиц для проверки тавтологичности формул и построения СДНФ.
   
4. Булевские функции, реализация функций формулами. Разложение булевских функций по переменным.
   
5. Проблема минимизации булевских функций. Сокращенные ДНФ, тупиковые ДНФ.
   
6. Булева алгебра множеств, свойства. Изоморфность булевой алгебры множеств булевой алгебре высказываний.
   
7. Операции над множествами. Диаграммы Венна.
   
8. Включение множеств. Булеан.
   
9. Метод аналитических таблиц для логики высказываний, - и -правила.
   
10. Метод аналитических таблиц для проверки тавтологичности формул.
    
11. Вывод из гипотез и построение ДНФ методом аналитических таблиц.
    
12. Язык логики предикатов. Термы и предикаты. Кванторы.
    
13. Сигнатура языка. Формулы логики предикатов. Свободные и связанные переменные.
    
14. Интерпретация, общезначимость, выполнимость.
    
15. Булева алгебра в социологическом исследовании. Истинностная таблица для представления данных. Минимизация булевского представления причинности.
    
16. Необходимые и достаточные условия. Выделение причинных контекстов.
    
17. Проблема ограниченного разнообразия в качественном сравнительном анализе.
    
18. Противоречивые примеры и их анализ средствами качественного сравнительного анализа.
    
19. Анализ областей совпадения и несовпадения теории и результатов булевского анализа примеров.
    
20. Квазиаксиоматические теории для представления знаний. Представление знаний для интеллектуального анализа социологических данных, постулат поведения.
    
21. Строение интеллектуальных систем для анализа социологических данных. Синтез познавательных процедур.
    
22. Логико-комбинаторный ДСМ-метод автоматического порождения гипотез. Общая схема ДСМ-рассуждения.
    
23. Условия применимости ДСМ-метода. Элементы ДСМ-логики.
    
24. Индукция в ДСМ-методе: предикат сходства, правила правдоподобного вывода I рода.
    
25. Аналогия в ДСМ-методе: предикат, правила правдоподобного вывода II рода.
    
26. Абдукция в интеллектуальной системе. Аксиомы каузальной полноты.
    
27. Анализ мнений в интеллектуальной системе: тема опроса, каркас темы, определение мнения.
    
28. Логика аргументации.
    
29. Критерии рациональности мнений, распознавание рациональности мнений средствами логики аргументации.
    
30. Формализованный качественный анализ социологических данных. Типы задач. Изучение детерминаций поведения, пример.
    
31. Пример задачи изучения мнений – изучение электоральных предпочтений. Пример, представление данных и знаний, анализ рациональности.
    

---------------------------------------------------------------------------------------------------------------------------------------------------------


Автор программы: _____________________________/ Михеенкова М.А./