Рабочая программа для студентов очной формы обучения, направление 030100. 62 «Философия»

Скачать 239.29 Kb.

Название	Рабочая программа для студентов очной формы обучения, направление 030100. 62 «Философия»
страница	1/3
Дата публикации	03.12.2014
Размер	239.29 Kb.
Тип	Рабочая программа

100-bal.ru > Математика > Рабочая программа

1 2 3

РОССИЙСКАЯ ФЕДЕРАЦИЯ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

Государственное образовательное учреждение

высшего профессионального образования

ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ИНСТИТУТ МАТЕМАТИКИ, ЕСТЕСТВЕННЫХ НАУК И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

КАФЕДРА АЛГЕБРЫ И МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Дёгтев А.Н.

МАТЕМАТИЧЕСКАЯ ЛОГИКА

Учебно-методический комплекс.

Рабочая программа для студентов очной формы обучения,

направление 030100.62 «Философия»,

профиль подготовки «Социально - аксиологический».

Тюменский государственный университет

2011

Дёгтев А.Н. Математическая логика. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения, направления 030300.62 «Философия», профиль подготовки «Социально – аксиологический». Тюмень, 2011, 12 стр.

Рабочая программа составлена в соответствии с требованиями ФГОС ВПО с учетом рекомендаций и ПрООП ВПО по направлению и профилю подготовки.

Рабочая программа дисциплины опубликована на сайте ТюмГУ: «Математическая логика» [электронный ресурс] http://www.umk3.utmn.ru / Режим доступа: свободный.

Рекомендовано к изданию кафедрой алгебры и математической логики. Утверждено проректором по учебной работе Тюменского государственного университета.

ОТВЕТСТВЕННЫЙ РЕДАКТОР: Кутрунов В.Н., д. ф.-м. н., профессор.

Цели и задачи дисциплины.

Дисциплина "Математическая логика " обеспечивает приобретение знаний и умений в соответствии с Федеральным государственным образовательным стандартом, содействует фундаментализации образования, формированию мировоззрения и развитию логического мышления.

Цели дисциплины:

- овладение студентами математическим аппаратом, необходимым для применения математических методов в практической деятельности и в исследованиях;

- ознакомление студентов с понятиями, фактами и методами, составляющими теоретические основы информатики;

- развитие логического мышления;

- обеспечение студентов знаниями по математической логике, необходимые для понимания математики, теории вероятностей и других математических дисциплин.

Задачи изучения дисциплины:

- изучить материал дисциплины;

- усвоить основные понятия и методы, изучаемые в процессе освоения материала дисциплины;

- приобрести навыки самостоятельного решения задач различной степени сложности;

- выработать умение проводить анализ полученных в процессе решения фактов и результатов;

- обобщить и систематизировать полученные знания, умения и навыки.

Место дисциплины в структуре ООП бакалавриата.

Дисциплина «Математическая логика» входит в цикл естественнонаучных дисциплин вариативной части Федерального государственного образовательного стандарта высшего профессионального образования (ФГОС ВПО) по направлению «Философия».

Дисциплина «Математическая логика» базируется на знаниях, полученных в рамках школьного курса математика или соответствующих дисциплин среднего профессионального образования. Для ее успешного изучения необходимы также знания и умения, приобретенные в результате освоения фундаментальной и компьютерной алгебры.

В ходе изучения дисциплины «Математическая логика» студенты должны усвоить основные понятия и методы математической логики, получить основные сведения о структурах, используемых в персональных компьютерах.

Освоение дисциплины предусматривает приобретение навыков работы с соответствующими учебниками, учебными пособиями, монографиями, научными статьями.

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

Знание математической логики может существенно помочь в научно-исследовательской работе.

Компетенции выпускника ООП бакалавриата, формируемые в результате освоения данной ООП ВПО.

В результате освоения ООП бакалавриата выпускник должен обладать следующими компетенциями:

способность использовать в профессиональной деятельности знание из области естественнонаучных дисциплин (ОК-7);

способность приобретать новые знания, используя современные образовательные и информационные технологии (ОК-8);

умение использовать в профессиональной деятельности знание традиционных и современных проблем: логики (логический анализ естественного языка, классическая логика высказываний и предикатов, основные типы неклассических логик, правдоподобные рассуждения, основные формы и приёмы рационального познания)

(ПК-1) .

В результате освоения дисциплины обучающийся должен:

Знать: основные понятия математической логики , определения и свойства математических объектов в этой области, формулировки утверждений, методы их доказательства, возможные сферы их приложений, основы компьютерного моделирования стохастических объектов и явлений.
Уметь: решать задачи вычислительного и теоретического характера в области математической логики и теории алгоритмов, доказывать утверждения из этой области.
Владеть: математическим аппаратом логики и теории алгоритмов, методами решения задач и доказательства утверждений в этой области.

2.Структура и трудоемкость дисциплины.

Семестр 3. Форма промежуточной аттестации: зачет. Общая трудоемкость дисциплины составляет 2 зачетные единицы, 72 часа.

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

Таблица 1.

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

№	Тема	недели семестра	Виды учебной работы и самостоятельная работа, в час.			Итого часов по теме	Из них в интерактивной форме	Итого количество баллов
№	Тема	недели семестра	Лекции*	Семинарские (практические) занятия*	Самостоятельная работа*
1	2	3	4	5	7	8	9	10
	Модуль 1
1.1.	Булевы функции и логика высказываний.	1 – 5	5	4	4	13	2	0 – 25
1.2.	Исчисление высказываний.	6 – 8	3	4	8	15		0 – 25
	Всего		8	8	12	28	2	0 – 50
	Модуль 2
2.1.	Логика предикатов.	9 – 10	2	2	4	8		0 – 2
2.2.	Фильтры, теорема компактности.	11 - 12	2	2	4	8	2	0 – 4
2.3.	Исчисление предикатов.	13 – 14	2	2	4	8	2	0 – 14
	Всего		6	6	12	24	4	0 – 20
	Модуль 3
3.1.	Частично рекурсивные функции.	15 – 16	2	2	6	10	1	0 – 10
3.2.	Машина Тьюринга.	17 – 18	2	2	6	10	1	0 – 20
	Всего		4	4	12	20	2	0 – 30
	Итого (часов, баллов):		18	18	18	72	8	0 – 100
	Из них часов в интерактивной форме			8

1 2 3

Добавить документ в свой блог или на сайт

Похожие:

	Учебно-методический комплекс рабочая программа для студентов направления 030100. 62 "Философия " Гусакова Т. Ф. Философия. Учебно-методический комплекс. Рабочая программа для студентов направления 030100. 62 "Философия " профиль...		Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
	Учебно-методический комплекс рабочая программа для студентов очной формы обучения Рыбка А. Г., Кириченко А. Н., Гавронина А. В. Социальная ответственность организации. Учебно-методический комплекс. Рабочая программа...		Учебно-методический комплекс рабочая программа для студентов очной формы обучения Шармин Д. В. История и методология математики. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,...
	Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Дополнительные главы лгебры. Учебно-методический комплекс. Учебно-методический комплекс. Рабочая программа для студентов...		Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
	Учебно-методический комплекс рабочая программа для студентов очной формы обучения Шармин Д. В. История развития математической науки. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,...		Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Криптография и криптоанализ. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения, направления...
	Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Дополнительные главы дискретной математики. Учебно-методический комплекс. Рабочая программа для студентов очной формы...		Рабочая программа учебной дисциплины «конституционное право» Рабочая программа предназначена для преподавания дисциплины базовой части профессионального цикла студентам очной и заочной формы...
	Рабочая программа для студентов очной формы обучения, направление... И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,...		Учебно-методический комплекс рабочая программа для студентов очной, заочной формы обучения Воронцова А. В., Кириченко А. Н семова Н. Г. Качество жизни. Учебно-методический комплекс. Рабочая программа для студентов очной,...
	Рабочая программа для студентов очной формы обучения, направление... И. Математическая логика. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения, направления 010500....		Учебно-методический комплекс рабочая программа для студентов очной формы обучения Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения направление 080100. 62 «Экономика»
	Учебно-методический комплекс рабочая программа для студентов очной... Шармин Д. В. Информационные технологии в профессиональной деятельности. Учебно-методический комплекс. Рабочая программа для студентов...		Рабочая программа для студентов направления 030100. 62 "Философия"... Рабочая программа для студентов направления 030100. 62 "Философия" по профилю подготовки "социально-аксиологический"

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