Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика



Скачать 60.57 Kb.
Дата07.11.2012
Размер60.57 Kb.
ТипПрограмма дисциплины


ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ТОМСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ»

(ТГПУ)

Физико-математический факультет

«УТВЕРЖДАЮ»

Декан ФМФ

________А.Н.Макаренко

«____» ___________ 2008 г.
ПРОГРАММА ДИСЦИПЛИНЫ

ФТД.00 «ОСНОВАНИЯ МАТЕМАТИКИ»

Специальность 032100.01 Математика с дополнительной специальностью информатика,

Квалификация – учитель математики и информатики

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

1. Познакомить студентов с понятиями ординалов, кардиналов, трансфинитной индукции. Более глубоко изучить вполне упорядоченные множества, аксиоматику ZFC.

2. Показать роль теории множеств в современной математике.
2. Требования к уровню освоения содержания дисциплины

Студент должен осознать роль теории множеств в современной математике и усвоить некоторые основные понятия этой теории.
3.
Объем дисциплины и виды учебной работы



Вид учебной работы

Семестр 10

Общая трудоемкость дисциплины

18

Аудиторные занятия

18

Лекции

18

Практические занятия (ПЗ)

-

Семинары (С)

-

Лабораторные работы (ЛР)

-

И (или) другие виды занятий

-

Самостоятельная работа

-

Курсовой проект (работа)

-

Расчетно-графические работы

-

Реферат

-

И (или) другие виды самостоятельной работы

-

Вид итогового контроля (зачет, экзамен)

зачет



4. Содержание дисциплины

4.1. Разделы дисциплины и виды занятий (Тематический план)




Раздел дисциплины

Лекции

1

Аксиоматическая теория множеств ZFC. Аксиома выбора, ее эквиваленты, роль в математике.

6

2

Вполне упорядоченные множества. Их свойства.

6

3

Теория ординалов Неймана.

6


4.2. Содержание разделов дисциплины

1. Аксиоматическая теория множеств ZFC. Аксиома выбора, ее эквиваленты, роль в математике.

Парадоксы канторовской теории множеств, арифметические и логические парадоксы. Аксиоматика теории множеств ZFC. Аксиома выбора и ее эквиваленты. Примеры теорем, доказываемых с использованием аксиомы выбора.

2. Вполне упорядоченные множества. Их свойства.

Вполне упорядоченные множества. Различные конструкции для их построения. Теорема Цернело. Свойства вполне упорядоченных множеств.

3. Теория ординалов Неймана.

Понятия ординалов и кардиналов по кантору. Сравнимость множеств по мощности. Теорема Шрёдера-Бернштейна. Определение ординала по Нейману. Свойства ординалов. Сравнение и операции над ординалами. Трансфинитная индукция.
5. Лабораторный практикум

Не предусмотрен
6. Учебно-методическое обеспечение дисциплины

6.1. Рекомендуемая литература

Основная литература:

  1. Александров, П.С. Введение в теорию множеств и общую топологию / П.С. Александров. – М.:Наука, 1977. – 367 с.

  2. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. – М.: Физматлит, 2001. – 255с.


6.2. Средства обеспечения дисциплины

Рекомендуемая литература и учебно-методические пособия по математике.
7. Материально-техническое обеспечение дисциплины: нет
8. Методические рекомендации по организации изучения дисциплины

8.1. Методические рекомендации преподавателю.

Настоящая программа по дисциплине «Основания математики» составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности 032100 «Математика с дополнительной специальностью» и учебного плана, утвержденного Ученым советом ТГПУ.

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

В конце семестра итоговый контроль осуществляется в форме зачета.
2. Методические указания для студентов.

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

  1. Примеры парадоксов.

  2. Система аксиом Цернело-Френкеля.

  3. Аксиома фундирования и следствия из нее.

  4. Аксиома бесконечности и множества, бесконечные по Дедекинду.

  5. Примеры теоерм, доказательство которых использует АВ или ее эквиваленты.

  6. Свойства вполне упорядоченных множеств.

  7. Определение и свойства ординалов (по Нейману)

  8. Трансфинитная индукция.

  9. Теорема о сравнении ординалов.


Программа составлена в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальностям: 032100.01 Математика с дополнительной специальностью информатика.
Программу составили:
К.п.н., ст. преподаватель

кафедры математики,

теории и методики обучения математике ______________ А.И. Забарина

Программа дисциплины утверждена на заседании кафедры математики, теории и методики обучения математике протокол № ___ от " ___ " ____________ 200_ г.

Зав. кафедрой ________________________________ Э.Г. Гельфман

Программа дисциплины одобрена метод. комиссией ФМФ ТГПУ
Председатель метод. комиссии ФМФ __________________ В.И. Шишковский


Похожие:

Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconПрограмма дисциплины дпп ф. 15 «история математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика
Курс является составной частью профессиональной подготовки учителя математики
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconПудалова Элеонора Борисовна история математики специальность «032100. 00 математика с дополнительной специальностью информатика» «030100. 00 информатика с дополнительной специальностью математика»
При этом можно проследить зарождение некоторых математических теорий, особенности развития математики у разных народов в определенные...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconУчебно-методический комплекс учебной дисциплины дпп. Ф. 10 Теория алгоритмов 032100. 00 Математика с дополнительной специальностью
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconУчебно-методический комплекс учебной дисциплины Геометрия Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconУчебно-методический комплекс учебной дисциплины Геометрия Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconУчебно-методический комплекс учебной дисциплины Математическая логика Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconРабочая программа учебной дисциплины дпп. Ф. 06. Геометрия ооп: Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconРабочая программа учебной дисциплины ддс. 06. Геометрия ооп: Специальность 030100. 00 Информатика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconРабочая программа учебной дисциплины дпп. Ддс. 04. Геометрия ооп: Специальность 032100. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Программа дисциплины фтд. 00 «основания математики» Специальность 032100. 01 Математика с дополнительной специальностью информатика iconРабочая программа курса «Числовые системы»
«информатика с дополнительной специальностью математика» и «математика с дополнительной специальностью информатика»
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org