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


Скачать 205.81 Kb.
НазваниеПояснительная записка Математическая логика является одной из основных дисциплин, завершающих учебный план специальности «Математика научно-педагогическая деятельность»
Дата публикации02.05.2013
Размер205.81 Kb.
ТипПояснительная записка
referatdb.ru > Математика > Пояснительная записка


Учреждение образования

«Гомельский государственный университет имени Франциска Скорины»
УТВЕРЖДАЮ

Проректор по учебной работе

УО «ГГУ им. Ф. Скорины»
________________ И.В. Семченко

(подпись)

____________________

(дата утверждения)

Регистрационный № УД-____________/р.

МАТЕМАТИЧЕСКАЯ ЛОГИКА
Учебная программа для специальности

1- 31 03 01-03 Математика

(научно-педагогическая деятельность)

Факультет математический




Кафедра алгебры и геометрии




Курс 4


Семестр 2
^

Лекции 34 часов Экзамен 8



Практические

занятия 26 часов Зачет нет
Курсовой проект (работа) нет

Самостоятельная управляемая работа студентов 6 часов
^

Всего аудиторных


часов по дисциплине 60 часа

Всего часов Форма получения


по дисциплине 89 часов высшего образования дневная


Составил В.В. Аниськов, к.ф.-м.н., доцент

2010

Учебная программа составлена на основе базовой, утвержденной

«___» _________ 20__ г.
регистрационный номер ___-__.___/баз.

Рассмотрена и рекомендована к утверждению в качестве рабочего варианта
на заседании кафедры алгебры и геометрии
___ __________ 200_ г., протокол № __
Заведующий кафедрой

Профессор ________ Л.А. Шеметков
Одобрена и рекомендована к утверждению
Методическим советом математического факультета
___ __________ 200_ г., протокол № __

Председатель


доцент ____________ В.М. Селькин

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

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

Задачами дисциплины являются:

– ознакомление с основными понятиями математической логики;

– усвоение законов математической логики;

– анализ полученных знаний с целью применения их при решении практических задач;

– овладение методами и приемами, используемыми в математической логике;

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

Общее количество часов – 89; аудиторное количество часов — 60, из них: лекции — 34, практические занятия — 26, самостоятельная управляемая работа студентов (СУРС) — 6. Форма отчётности — экзамен (22).
^

Содержание дисциплины «Математическая логика»


Введение



Математическая логика как наука. Предмет и метод математической логики, ее место в системе всех наук.
^ Алгебра высказываний
Язык и метаязык. Высказывания, логические связки, операции над высказываниями, простые и составные высказывания. Алфавит алгебры высказываний, формулы алгебры высказываний, истинностные таблицы, виды формул алгебры высказываний. Истинностные функции, совершенные нормальные формы истинностных функций, полные системы истинностных функций. Равносильные формулы, основные равносильности, основные способы установления равносильности формул. Тавтологии, важнейшие тавтологии, тавтологии и логическое следование, тавтологии в математических доказательствах, тавтологии в теории множеств. Контактно-релейные схемы, схемы из функциональных элементов.
^ Исчисление высказываний
Алфавит, формулы, схемы аксиом, правило вывода теории L. Формальное доказательство и формальный вывод, свойства отношения выводимости. Непротиворечивость теории L. Правила введения и удаления логических операторов. Полнота теории L. Соотношение между теорией L и алгеброй высказываний. Разрешимость теории L. Независимость теории L. Существование доказательства в теории L.
^ Алгебра предикатов
Недостаточность логики высказываний для анализа рассуждений. Предикат, логическая функция. Ионы и переменные. Алфавит алгебры предикатов, кванторы, свободные и связанные вхождения переменных, замкнутая и открытая формулы. Интерпретации формул, предметные интерпретации формул, истинностные таблицы формул алгебры предикатов. Равносильные формулы, виды формул, важнейшие общезначимые формулы. Важнейшие свойства общезначимых формул. Логическое следование в алгебре предикатов. Применения языка алгебры предикатов.
^ Исчисление предикатов
Алфавит, формулы, схемы аксиом, правила вывода теории PL. Формальное доказательство и формальный вывод. Непротиворечивость теории PL. Правила введения и удаления кванторов. Применения теории PL.
^ Математические теории
Аксиоматический метод: три стадии развития. Формализованный язык, термы и формулы, логика формальной теории. Язык, термы, формулы и логика теории Ar. Естественная интерпретация теории Ar. Теоремы теории Ar.
Алгоритмы
Проблема разрешения и разрешающий алгоритм. Проблема вычисления и вычисляющий алгоритм. Интуитивное понятие алгоритма и необходимость его математического уточнения. Понятие машины Тьюринга. Машина Тьюринга как математическое понятие алгоритма. Вычислимость по Тьюрингу, тезис Чёрча-Тьюринга. Невычислимые функции. Формальная теория Ar.


^

Учебно-методическая карта дисциплины


(оставить нужное и проставить количество часов, оформляется одна таблица «с разбивкой» по семестрам, курсам )

Номер раздела, темы, занятия



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

Количество аудиторных часов

Материальное обеспечение занятия (наглядные, методические пособия и др.)


Литература


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

знаний

лекции

практические

(семинарские)

занятия

лабораторные

занятия

контролируемая

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

1

2

3

4

5

6

7

8

9

1

Введение

1







2










2

Алгебра высказываний

6



















2.1

Высказывания и операции над ними.

1.Язык и метаязык.

2. Высказывания.

3. Алфавит алгебры высказываний.

4. Истинностные таблицы.

5. Равносильные формулы

2

4










[!1]

[!2]

[!3]





2.2

Истинностные функции и их свойства

1. Понятие истинностной функции.

2. Совершенные нормальные формы.

3. Полные системы.

1













[!1]

[!2]

[!3]





2.3

Тавтологии, их свойства и применения

1. Классификации формул алгебры логики высказываний

2. Тавтологии, их важнейшие свойства.

3. Важнейшие тавтологии.

4. Равносильные преобразования формул.

5. Логическое следование.

6. Анализ рассуждений.

7. Синтез контактно-релейных схем.

8. Синтез схем из функциональных элементов.

3

6










[!1]

[!2]

[!3]








Текущий контроль успеваемости студентов по разделу № 2
















[!1]

[!2]

[!3]


Контрольная работа

3

^ Исчисление высказываний

7

4
















3.1

Понятие теории L

1. Алфавит теории.

2. Схемы аксиом теории.

3. Правила вывода.

1













[!1]

[!2]

[!3]





3.2

Свойства отношения выводимости

1. Метатеорема 1.

2. Метатеорема 2.

3. Метатеорема 3.

2

2










[!1]

[!2]

[!3]





3.3

Непротиворечивость, полнота, разрешимость и независимость теории L.

1. Непротиворечивость.

2. Метатеорема 4.

3. Полнота.

4. Метатеорема 6..

5. Разрешимость.

6. Независимость.

7. Метатеорема 7.

2













[!1]

[!2]

[!3]





3.4

Введение и удаление логических операторов в теории L.

1. Правила введения и удаления логических операторов.

2. Метатеорема 5.

3. Связь с алгеброй высказываний.

4. Использование правил введения и удаления при установлении существования доказательств и выводов .

2

2










[!1]

[!2]

[!3]





4

^ Алгебра предикатов

8

8
















4.1

Понятие алгебры предикатов

1. Недостаточность логики высказываний.

2. Предикат, логическая функция.

3. Области определения, значения и истинности.

4. Ионы и переменные.

5, Алфавит алгебры предикатов.

2













[!1]

[!2]

[!3]





4.2

Переменные, интерпретации, истинностные таблицы и равносильность для предикатов

1. Свободные и связанные вхождения переменных.

2. Замкнутая и открытая формулы.

3. Интерпретация и предметная интерпретация.

4. Истинностные таблицы.

5. Равносильность предикатных формул.

2

4










[!1]

[!2]

[!3]





4.3

Общезначимые формулы и их важнейшие свойства

1. Виды формул алгебры предикатов.

2. Важнейшие свойства общезначимых формул.

3. Логическое следование в алгебре предикатов.

2













[!1]

[!2]

[!3]





4.4

Применение языка алгебры предикатов

1. Запись предложений на языке алгебры предикатов.

2. Анализ рассуждений на языке алгебры предикатов.

2

4










[!1]

[!2]

[!3]








Текущий контроль успеваемости студентов по разделу № 4



















Контрольная работа

5

Исчисление предикатов

3

4
















5.1.

Понятие теории PL

1. Алфавит и формулы теории PL.

2. Схемы аксиом, правило вывода теории PL.

3. Формальное доказательство, формальный вывод в PL.

1

2










[!1]

[!2]

[!3]





5.2

Свойства теории PL

1. Непротиворечивость теории PL.

2. Правила введения и удаления кванторов в теории PL.

3. Анализ рассуждений в теории PL.

4. Формализация доказательств в теории PL

2

2










[!1]

[!2]

[!3]





6

^ Математические теории

3



















6.1

Понятие математической теории

1. Аксиоматический метод, три стадии развития.

2. Формализованный язык.

3. Алфавит формального языка.

4. Логика формального языка

1













[!1]

[!2]

[!3]





6.2

Свойства теории Ar

1. Язык теории Ar.

2. Алфавит теории Ar.

3. Логика теории Ar.

4. Естественная интерпретация теории Ar.

5. Теоремы теории Ar.

2













[!1]

[!2]

[!3]








7

Алгоритмы










6










7.1

Алгоритм, необходимость уточнения его понятия

1. проблема разрешения и разрешающий алгоритм.

2. Проблема вычисления и вычисляющий алгоритм.

3. Интуитивное понятие алгоритма.

4. Потребность в математическом уточнении интуитивного понятия алгоритма.










2




[!1]

[!2]

[!3]





7.2

Машина Тьюринга и ее работа

1. Интуитивные понятия.

2. Машина Тьюринга – математическое понятие алгоритма.

3. Вычислимость по Тьюрингу.










2




[!1]

[!2]

[!3]





7.3

Задачи, решаемые алгоритмами

1. Существование невычислимых функций.

2. Применения к формальной арифметике.

3. Теоремы Гёделя.










2




[!1]

[!2]

[!3]











28

26




6







экзамен

^

Информационно-методическая часть



Примерный перечень практических занятий





  1. Формулы алгебры высказываний.

  2. Анализ рассуждений средствами алгебры высказываний.

  3. Контактно-релейные схемы.

  4. Схемы из функциональных элементов.

  5. Выводимость в теории L.

  6. Доказательство в теории L.

  7. Формулы алгебры предикатов.

  8. Анализ рассуждений средствами алгебры предикатов.

  9. Вывод и доказательство в теории PL.

  10. Формализация доказательства теорем.



^

Рекомендуемые формы контроля знаний





  1. Контрольные работы



Рекомендуемые темы контрольных работ





  1. Анализ рассуждений средствами алгебры высказываний.

  2. Анализ рассуждений средствами алгебры предикатов.


^

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



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

1. Математическая логика: учеб. пособие для вузов. / Л.А. Латотин [и др.]; по об. ред А.А. Столяра – Мн.: «Вышэйшая школа», 1991 – 269 с.

2. Мощенский, В.А. Лекции по математической логике: учеб. пособие для вузов. / В.А. Мощенский – Мн.: Издательство БГУ, 1973 – 160 с.

3. Карпов, В.Г. Математическая логика и дискретная математика: учеб. пособие для вузов. / В.Г.Карпов, В.А.Мощенский – Мн.: Издательство БГУ, 1977 – 256 с.

4. Клини, С.К. Математическая логика: учеб. пособие для вузов. / С.К.Клини – М.: Наука, 1973 –278 с.

5. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов: учеб. пособие для вузов. / И.А.Лавров, Л.Максимова – М.: Наука, 1984 – 224с.


Дополнительная литература
6. Мендельсон, Э.К. Введение в математическую логику: учеб. пособие для вузов. /. Э.К. Мендельсон – М.: Наука, 1971 – 327 с.

7. Мальцев, А.И. Алгоритмы и рекурсивные формулы: учеб. пособие для вузов. / А.И.Мальцев – М.: Наука, 1975 – 189с.

8. Шенфилд, Д.К. Математическая логика: учеб. пособие для вузов. / Д.К.Шенфилд – М.: Наука, 1975 – 356с.
.

^ ПРОТОКОЛ СОГЛАСОВАНИЯ УЧЕБНОЙ ПРОГРАММЫ

ПО ИЗУЧАЕМОЙ УЧЕБНОЙ ДИСЦИПЛИНЕ

С ДРУГИМИ ДИСЦИПЛИНАМИ СПЕЦИАЛЬНОСТИ


Название

дисциплины,

с которой

требуется согласование

Название

кафедры

Предложения

об изменениях в содержании учебной программы

по изучаемой учебной

дисциплине

Решение, принятое кафедрой, разработавшей учебную программу (с указанием даты и номера протокола)

Математический анализ

Кафедра математического анализа и методики преподавания математики




Рекомендовать к утверждению учебную программу в представленном варианте

протокол № ___ от ___.___.20__





































^ ДОПОЛНЕНИЯ И ИЗМЕНЕНИЯ К УЧЕБНОЙ ПРОГРАММЕ

ПО ИЗУЧАЕМОЙ УЧЕБНОЙ ДИСЦИПЛИНЕ

на _____/_____ учебный год


№№

пп

Дополнения и изменения

Основание










Учебная программа пересмотрена и одобрена на заседании кафедры

алгебры и геометрии

(протокол № ____ от ________ 200_ г.)

Заведующий кафедрой

алгебры и геометрии

д-р ф.-м.н., профессор __________________ Л.А. Шеметков

УТВЕРЖДАЮ

Декан математического факультета УО «ГГУ им. Ф. Скорины»

к.ф.-м.н., доцент __________________ С.П. Жогаль



Похожие рефераты:

Факультет довузовской подготовки и профориентации
Прикладная математика (научно-педагогическая деятельность). Математическая физика
Задачами дисциплины являются: изучение основных компонент элементной базы
«Математика (научно-педагогическая деятельность)» (код специальности) (наименование специальности)
Республики казахстан
Дискретная математика и математическая логика” для специальности 5В060100 “Математика”
Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
Математическая логика и дискретная математика для специальности(ей) ) 5В010900 Математика
Пояснительная записка местное управление и самоуправление является...
Составила: доцент кафедры теории и истории государства и права Вегера Ирина Владимировна, к ю н
Проходной балл на плановые бюджетные места в 2013 году в уо «Мозырский...
Прикладная математика (научно-педагогическая деятельность). Математическая физика
Республики Беларусь Учреждение образования «Гомельский государственный...
«Методы принятия решения и экспертного выбора» адресованы студентам специальности 1-31 03 01 02 «Математика (научно-педагогическая...
Пояснительная записка Курс «Основы ксенобиологии»
Учебная программа составлена на основе учебного плана стандарта подготовки специалистов по специальности 1-31 01 01-02 «Биология...
Исследования и их всесторонний критический анализ
Математика (научно-педагогическая деятельность), 1-31 03 03-01 Прикладная математика (научно-производственная деятельность), 1-31...
С. Ф. Маслович, А. Б. Демуськов компьютерные сети: организация подсетей и маршрутизация
Программное обеспечение информационных технологий; 1-31 03 03-01 Прикладная математика (научно-производственная деятельность); 1-31...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
referatdb.ru
referatdb.ru
Рефераты ДатаБаза