Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)


Скачать 143.94 Kb.
НазваниеТитульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
Дата публикации09.05.2013
Размер143.94 Kb.
ТипПрограмма
referatdb.ru > Математика > Программа
Титульный лист программы Форма

обучения по дисциплине Ф СО ПГУ 7.18.3/37

(Syllabus)



Министерство образования и науки Республики Казахстан
Павлодарский государственный университет имени С.Торайгырова
Кафедра математики
программа ОБУЧЕНИЯ ПО ДИСЦИПЛИНЕ

(Syllabus)
дисциплина Математическая логика и дискретная математика

специальности(ей) 5В010900 - Математика

Павлодар






Лист утверждения Форма

к программе дисциплины Ф СО ПГУ7.18.3/38

для студентов
УТВЕРЖДАЮ

Декан ФФМиИТ

(наименование факультета)

____________________ Н.А. Испулов

«___»_________________201 г.
Составитель: Тихомиров Ю.В.
Кафедра математики

^ ПРОГРАММА ОБУЧЕНИЯ ПО ДИСЦИПЛИНЕ(Syllabus)


дисциплины Математическая логика и дискретная математика
для специальности(ей) ) 5В010900 - Математика

Программа разработана на основании рабочей учебной программы, утверждённой

«___» _________200_г.
Рекомендована на заседании кафедры от « _ » __________ 2010г.

Протокол № _.

Заведующий кафедрой ______________________ М.Е. Исин


(подпись)

Одобрена методическим советом _____________________________ факультета «_____»______________200_г. Протокол №____
Председатель УМС_________________________ А.Б. Искакова

(подпись)


Дисциплина: Математическая логика и дискретная математика

Для специальности: ) 5В010900 - Математика
Кафедра математики

Факультет физики, математики и информационных технологий

Время для консультации: суббота, 9.00 – 12.00 ауд. № 211

^ 1 Цель дисциплины

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

^ Задачи дисциплины

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

2. Построение исчисления высказываний в виде формальной аксиоматической теории.

3. Изучение теории натуральных чисел, как формальной аксиоматической теории.

2 Пререквизиты

- курс высшей математики;

3 Постреквизиты

- теория электрических цепей;

- теория электрической связи.
Изучение дисциплины заканчивается экзаменом.


.

^ 4 Тематическое содержание дисциплины

4.1 Тематический план дисциплины (СПО заочное, ВПО заочное)



Тема

лек.

прак.

СРС

1

Алгебра множеств

2

4

24

2


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

1

2

24

3


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

логика предикатов.

1

2

23

4

Теории первого порядка и исчисление предикатов.

1

2

23

5


Пути формализации интуитивного понятия алгоритма.


1

2

23

Итого

6

12

117



^
4.2 Содержание тем дисциплины

Тема 1. Алгебра множеств.

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

^ Тема 2. Алгебра высказываний.

Логические операции над высказываниями. Формулы. Истинные значения формул. Восстановление формулы по её таблице истинности. Равносильные преобразования формул. Тавтологии – законы логики высказываний. Законы де-Моргана, контрапозиции, двойного отрицания. Дизъюнктивная и конъюнктивная нормальные формы. Полные системы логических связок.

^ Тема 3. Исчисление высказываний и логика предикатов.

Формальные системы. Аксиомы и правило вывода ИВ. Доказуемость формул. Выводимость формул из гипотез. Теорема дедукции. Лемма о выводимости. Лемма Кальмара. Полнота исчисления высказываний. Непротиворечивость исчисления высказываний. Понятие предиката и операции на множестве. Модели. Термы фиксированной сигнатуры. Атомные формулы логики предикатов, свободные и связанные переменные, кванторы. Формулы логики предикатов. Выполнимость формулы в моделях. Равносильность формул логики предикатов и основные равносильные преобразования. Пренексная нормальная форма. Общезначимость и выполнимость формул.

^ Тема 5. Теории первого порядка и исчисление предикатов.

Элементарные рекурсивные функции. Суперпозиция функций и операторы примитивной рекурсии и минимизации. Частичные функции. Рекурсивные функции. Кусочное задание функций, суммирование. Канторовские функции. Универсальные функции. Рекурсивные и рекурсивно перечислимые множества. Теорема Поста. Существование рекурсивно перечислимого и не рекурсивного множества. Разрешимые и неразрешимые задачи. Геделевское кодирование формул. Примеры алгоритмически неразрешимых проблем и их методологическая сущность. Неформальное понятие алгоритма. Примеры алгоритмов. Уточнение индуктивного понятия алгоритма. Машины Тьюринга. Программы вычисления простейших числовых функций. Композиция машин Тьюринга. Функции, вычислимые по Тьюрингу. Тезис Тьюринга. Геделевская нумерация машин Тьюринга. Примеры алгоритмически неразрешимых проблем.

4.3 Перечень видов СРС (СПО заочное, ВПО заочное)


№ п/п

Вид СРС

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

Объем в часах

1

Проработка лекций. Изучение дополнительного материала по темам

устный опрос, рубежный контроль

40

2

Подготовка к практическим работам

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

40

3

Подготовка к СРОП

Самостоятельное решение задач, рубежный контроль

25

4

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

рубежный контроль, экзамен

12

Итого

117


^ Календарный график контрольных мероприятий

Для студентов специальности ) 5В010900 - Математика

заочной формы обучения



Вид СРС

Максимальный бал

Срок

выдачи

задания

Срок сдачи

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

за 1

занятие

всего










Посещение и подготовка к лекциям

2

12




по расписанию

участие

Посещение и подготовка к практическим занятиям

6

36




по расписанию

участие

Выполнение ИДЗ




22

на 1

занятие

по расписанию

защита

Выполнение заданий на СРС




30

на 1

занятие

по расписанию

защита

Всего




100










^ 2 рейтинг (1 семестр)

Вид СРС

Максимальный бал

Срок

выдачи

задания

Срок сдачи

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

за 1

занятие

всего










Посещение и подготовка к лекциям










по расписанию

участие

Посещение и подготовка к практическим занятиям

6

36




по расписанию

участие

Выполнение ИДЗ




34

на 1

занятие

по расписанию

защита

Выполнение заданий на СРС




30

на 1

занятие

по расписанию

защита

Всего




100











^ Распределение баллов текущей успеваемости по видам контроля





Виды контроля

Максимальное число баллов

Рейтинг 1

Рейтинг 2




100

100

1.1

Посещение лекций

12

12

1.2

Посещение практических занятий, подготовка к занятиям и активная работа в группе

38

38

1.4

Выполнение разделов СРС

10

10

1.5

Выполнение контрольных работ

40

40

2

Рубежный контроль

100

100



^ Шкала оценки знаний обучающихся


Итоговая оценка в баллах (И)

Цифровой эквивалент в баллах (Ц)

Оценка в буквенной системе (Б)

Оценка по традиционной системе (Т)

Экзамен, диф.зачет

Зачет

95-100

4

A

Отлично

Зачтено

90-94

3,67

A-

85-89

3,33

B+


Хорошо

80-84

3,0

B

75-79

2,67

B-

70-74

2,33

C+



Удовлетворительно

65-69

2,0

C

60-64

1,67

C-

55-59

1,33

D+

50-54

1,0

D

0-49

0

F

Не удовлетворительно

Не зачтено


^ Политика курса

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

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

В случае опоздания более чем на 3 минуты на занятие студент не допускается.

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

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

Все задания должны выполняться к установленному времени. Задания, выполненные с опозданием, будут автоматически оцениваться ниже. Списывание на любом из видов контроля, а также на экзамене запрещено. Штрафные санкции составят в этом случае 80% от балла за данный вид контроля.

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

Во время занятий сотовые телефоны должны быть отключены.

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

Оценка рубежного контроля (РК) так же определяется по 100
балльной шкале.

^ К рубежному контролю по дисциплине допускаются студенты, имеющие баллы по ТУ.

По итогам оценки ТУ и РК определяется рейтинг (Р1 и Р2) студента
по дисциплине
Р1(2) = ТУ 1(2)*0,7 + РК1(2)*0,3.
Если в учебном плане предусмотрены экзамен и зачёт, то зачёт следует учесть при определении Р2 как второй рубежный контроль.

^ Рейтинг не определяется, если студент не прошел РК или получил по РК менее 50 баллов. В данном случае декан устанавливает индивидуальные сроки сдачи РК.

Оценка рейтинга допуска студента по дисциплине за семестр равна


РД = (Р1+Р2)/2.
К итоговому контролю (ИК) по дисциплине допускаются студенты,

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

Уровень учебных достижений студентов по каждой дисциплине (в
том числе и по дисциплинам, по которым формой итогового контроля ГЭ)
определяется итоговой оценкой (И), которая складывается из оценок РД и
ИК (экзамена, дифференцированного зачета или курсовой работы/проекта) с
учетом их весовых долей (ВДРД и ВДИК).
И = РД*ВДРД + ИК*ВДИК
Итоговая оценка по дисциплине подсчитывается только в том случае,
если обучающийся имеет положительные оценки, как по рейтингу допуска,
так и по итоговому контролю. Не явка на итоговый контроль по
неуважительной причине приравнивается к оценке «не удовлетворительно».
Результаты экзамена и промежуточной аттестации по дисциплине доводятся
до студентов в тот же день или на следующий день, если письменный
экзамен проводился во второй половине дня.

^ Пересдача положительной оценки по итоговому контролю (в том
числе на ГЭ) с целью ее повышения не разрешается
.


Виды контроля: ПР – практическая работа, СРС- самостоятельная работа студента, РК – рубежный контроль

Литература

Основная

1..Новиков П.С Элементы математической логики. М., Наука, 1973.

2. Эдельман С.Л.. Математическая логика. М., 1975.

3. Игошин В.И.. Математическая логика и теория алгоритмов. Изд-во Саратовского университета, 1991.

4. Мендельсон Э. Введение в математическую логику. Пер. с англ. М., 1973.

5 Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1986.

6. Лавров И.А., Максимова Л.Л.. Сборник задач по теории множеств, математической логике и теории алгоритмов. М., 1975.

7. Дроботун Б.Н.,.Кадькалов В.Г. Алгоритмы и машины Тьюринга. –Павлодар, НИЦ ПГУ им. С. Торайгырова, 2003.

6. Игошин В.И.. Задачник-практикум по математической логике.М., 1986.

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

1. Лавров И.А. Логика и алгоритмы. Новосибирск6 Изд-во Новосибирского ун-та, 1970.

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

3 Гиндикин. С.Г. Алгебра логики в задачах. М., 1972

4. Ершов Ю.Л., Палютин Е.А.. Математическая логика. – М.: Наука, 1979.

5. Дроботун Б.Н., Джарасова Г.С.. Вводный курс математики. – Павлодар, НИЦ ПГУ им. С. Торайгырова, 2004

6. Вавилов В.В. и др. Задачи по математике. Алгебра. – М.; Наука, 1987.

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

Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)

Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)

Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)

Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)

Титульный лист программы обучения по дисциплине Форма (Syllabus) фсо пгу 18. 3/37

Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
Кафедра «Теплоэнергетика программа обучения по дисциплине ( Syllabus ) «Надежность работы высокотемпературных агрегатов» для магистрантов...
Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
Кафедра «Теплоэнергетика программа обучения по дисциплине ( Syllabus ) «Научно-технические проблемы теплоэнергетики и теплотехники»...
Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
В071200 Машиностроение, заочной формы обучения на базе впо, технология обучения- дистанционная
Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
В073200 – Стандартизация, сертификация и метрология (по отраслям) заочной формы обучения
Титульный лист программы Форма обучения по дисциплине ф со пгу 18. 3/37 (Syllabus)
Программа разработана на основании рабочей учебной программы, утверждённой «19» 11. 2011 г

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


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