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


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

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

(Syllabus)



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

(Syllabus)
дисциплина Дискретная математика и математическая логика специальности(ей) 5В070400 Вычислительная техника и программное

обеспечение

Павлодар





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

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

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

Декан ФФМиИТ

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

____________________ Ж.К.Нурбекова

«___»_________________200 г.
Составитель: ст. преподаватель ПГУ им.С.Торайгырова Мухамедзянова Н. И.
Кафедра математики
^ ПРОГРАММА ОБУЧЕНИЯ ПО ДИСЦИПЛИНЕ(Syllabus)


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

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

обеспечение


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

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

Протокол № _.

Заведующий кафедрой ______________________ И. И. Павлюк


(подпись)

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

(подпись)
Дисциплина: Дискретная математика и математическая логика
для специальности: 5В070400 Вычислительная техника и программное

обеспечение

Кафедра математики

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

Старший преподаватель Мухамедзянова Нина Ивановна

Тел.55-28-01

Время для консультации: среда, 12.00 – 14.00 ауд. № 201 корпус А1
^ Цель преподавания дисциплины - вооружение студентов современным математическим аппаратом, который можно определить как взаимосвязанную совокупность языка, моделей и методов математики, ориентированную на решение прикладных задач.
^ Задачи изучения дисциплины - овладение основными методами формализации
рассуждений, основными понятиями теории логических функций, теории алгоритмов,
теории графов, теории кодирования; получение навыков моделирования для использования их в программировании, при решении задач в области искусственного интеллекта, при доказательстве правильности программ, развитие математической интуиции, воспитание математической культуры.

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

  • курс алгебры и геометрии

  • курс теории чисел

  • курс математического анализа.


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


  • курс программирования



Дисциплина «Дискретная математика и математическая логика»
изучается студентами 2 курса в 4 семестре.

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

Ф СО ПГУ 7.18.3/39


^ СОДЕРЖАНИЕ И ГРАФИК ВЫПОЛНЕНИЯ СРС

п/п

Наименование тем

Содержание

Вид контроля

Сроки выполнения

(по неделям)

1

2

3

4

5

4 семестр

1

Основные понятия теории множеств


Множества и операции над ними. Способы создания множеств. Булеан множеств.Универсум. Диаграмма Эйлера. Прямое произведение множеств.

Соответствия, отображения и функции. Взаимнооднозначные соответствия и мощности множеств. Счетные множества, теоремы о счетных множествах. Множества мощности континуума, теорема Кантора. Отношения. Унарные, бинарные, тернарные отношения.

Способы задания бинарных отношений и их основные свойства. Специальные
бинарные отношения.



ДЗ 1

1 неделя

ДЗ 2

ПР 1

2 неделя

ДЗ 3

КР 1

3 неделя







2

Элементы математической логики



Логика высказываний. Логические операции. Формулы логики высказываний.
Равносильность формул. Нормальные формы формул, приведение к ДНФ и КНФ. Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы. Разрешимость. Булева алгебра. Логические функции одной и двух переменных. Суперпозиции функций и формулы. Полные системы логических функций. Теорема Поста о функциональной полноте. Минимизация в классе дизъюнктивных нормальных форм.

Исчисление высказываний. Аксиоматические теории. Выводимость формул в
исчислении высказываний. Теорема дедукции.

Логика и исчисление предикатов. Предикаты, кванторы. Формулы логики предикатов.
Равносильность формул, выполнимость, общезначимость. Аксиомы исчисления предикатов.

Эффективная вычислимость. Простейшие функции, операторы суперпозиции и
примитивной рекурсии, примитивно-рекурсивные функции. Оператор минимизации,
частично-рекурсивные функции. Тезис Черча.


ДЗ 4


4 неделя

ДЗ 5


5 неделя

ДЗ 6

ПР 2

6 неделя

ДЗ 7


7 неделя

ДЗ 8

КР 2

8 неделя
















3

Алгебраические структуры

Группы. Циклические группы. Группы подстановок. Кольца и поля.
Элементы теории кодирования. Расстояние Хемминга. Теоремы о корректирующей
способности кодов. Матричное кодирование. Групповые коды. Коды Хемминга.


ДЗ 9


9 неделя

ДЗ 10

ПР 3

10 неделя







4

Комбинаторика

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


ДЗ 11


11 неделя

5

Теория графов


Основные понятия и определения. Смежность, инцидентность, степени. Способы
задания графов.

Операции над графами. Части графов. Связность, компоненты связности.

Числа графов: цикломатическое, хроматическое, внешней и внутренней устойчивости.

Деревья, свойства деревьев. Остовные деревья. Поиск маршрутов в графе. Задача о минимальном соединении. Задача о кратчайшем пути. Эйлеровы цепи и циклы. Гамильтоновы цепи и циклы. Плоские графы. Теорема Понтрягина - Куратовского.

Транспортные сети. Поток в транспортной сети. Разрез, пропускная способность
разреза.

ДЗ 12


12 неделя

ДЗ 13

ПР 4

13 неделя

ДЗ 14


14 неделя

ДЗ 15

15 неделя










^ ТЕМАТИЧЕСКИЙ ПЛАН ДИСЦИПЛИНЫ



п/п

Наименование тем

Количество часов

Лекц.

Прак.

СРС

1

2

3

4

5

1

Основные понятия теории множеств

3

6

18

2

Элементы математической логики

5

10

30

3

Алгебраические структуры

2


4


12


4

Комбинаторика

1

2

6

5

Теория графов

4

8

24

ИТОГО:

15

30

90

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

1. Нефедова В.Н., Осипова В.А. Курс дискретной математики. - М.: из-во МАИ, 1992

2. Судоплатов СВ., Овчинникова Е.В. Элементы дискретной математики. -М.: ИНФРА, Новосибирск: изд-во НГТУ, 2002

3. Новиков Ф.А. Дискретная математика для программистов. - Спб.: Питер, 2001

4. Белоусов А.И., Ткачев СБ. Дискретная математика. - М.: из-во МГТУ
им. Н.Э.Баумана, 2001

5. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. -
М.:Энергия,1980

6. Мутанов Г.М.,Акбердин Р.А. Теория графов. - Алматы, изд-во «Рауан»,1999.

7. Горбатов В.А. Фундаментальные основы дискретной математики. -М.: Наука-
Физматгиз, 2002

8. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и
геории алгоритмов. -М.:Наука,1984.
Дополнительная

9.Липский В. Комбинаторика для программистов. - М.: Мир, 1998

10.Мендельсон Э. Введение в математическую логику.- М.:Наука, 1984

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

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

13.Яблонский СВ. Введение в дискретную математику.-М.: «Высшая школа», 2001

14.Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. -М.:Наука,
1977.

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

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

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

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

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

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

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

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

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

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


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

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



ТУ1

ТУ2










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

24

22

2 Выполнение и защита практических работ

50

48

3 Выполнение и защита заданий на СРС (РГР, рефераты и др.)

26

30

Итого

100

100


Оценка рубежного контроля (РК) так же определяется по 100
балльной шкале.
^ К рубежному контролю по дисциплине допускаются студенты, имеющие баллы по ТУ.

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

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

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


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

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

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

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


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

^ Итоговая оценка знаний обучающихся

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

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

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

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

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

Зачет

95-100

4

A

Отлично

Зачтено

90-94

3,67

A-

85-59

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

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

Не зачтено


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

текущей успеваемости для специальности 5В070400 Вычислительная техника и программное обеспечение


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

Недели

Макс

Балл за 1

занятие

1

2

3

4

5

6

7

8

Всего

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

24

26

26

24

100

Посещение и

подготовка к

лекциям

Вид СРС




ДЗЛ1,2

ДЗЛ3,4

ДЗЛ5,6

ДЗЛ7,8


16

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




У

У

У

У

Макс.балл

2

4

4

4

4

Посещение и

подготовка к

практической работе

Вид СРС




ДЗ

ДЗ

ДЗ

ДЗ


48

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




У

У

У

У

Макс.балл

3

12

12

12

12

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

изучение материала

Вид СРС




СИТ1

СИТ2

СИТ3,4

СИТ5


16

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




ЗТ1

ЗТ2

ЗТ3

ЗТ4

Макс.балл

2

4

4

4

4

Индивидуальные

домашние

задания

Вид СРС




ИДЗ1

ИДЗ2

ИДЗ3

ИДЗ4


20

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




З

З

З

З

Макс.балл

2,5

5

5

5

7


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

Недели

Макс

Балл за 1

занятие

9

10

11

12

13

14

15




Всего

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













100

Посещение и

подготовка к

лекциям

Вид СРС




ДЗЛ1,2

ДЗЛ3,4

ДЗЛ5,6

ДЗЛ7,8


14

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




У

У

У

У

Макс.балл

2

8

8

8

4

Посещение и

подготовка к

практической работе

Вид СРС




ДЗ

ДЗ

ДЗ

ДЗ


49

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




У

У

У

У

Макс.балл

4

14

14

14

7

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

изучение материала

Вид СРС




СИТ6

СИТ7,8

СИТ9

СИТ10


17

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




З

З

З

З

Макс.балл




5

5

5

2

Индивидуальные

домашние

задания

Вид СРС




ИДЗ5

ИДЗ6

ИДЗ7

ИДЗ8


20

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




З

З

З

З

Макс.балл

3

6

6

6

2


У-участие; СИТ- самостоятельное изучение темы; ИДЗ-индивидуальное домашнее задание; ДЗЛ –домашнее задание по лекции; З-защита.

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

Титульный лист программы Форма обучения по дисциплине ф со пгу 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
Рефераты ДатаБаза