- •«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені « 5в0109 -математика»
- •Пәннің оқу-әдістемелік кешенінің мазмұнының тізімдемесі
- •Студенттерге арналған пән силлабусы
- •2.Пәннің қысқаша сипаттамасы
- •3.Пән пререквизиттері:
- •4.Пән постреквизиттері:
- •6. Оқытуға арналған әдебиеттер (10 әдебиеттен артық емес)
- •7. Бағалау критерийі
- •8.Оқытушы саясаты (студенттің этикасы).
- •Карта учебно-методическая обеспеченность
- •2013/2014 Учебный год
- •«Математикалық логика және дискреттік математика»
- •Жұмыс оқу бағдарламасы
- •1. Пәннің қысқаша сипаттамасы.
- •Пререквизиттер тізімі
- •2. Пән мазмұны
- •2.1.Дәрістік курс
- •2.2.Практикалық сабақтар
- •2.3. Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары
- •Студенттердің өзіндік жұмысы
- •Пән бойынша оқу-әдістемелік материалдар
- •3.1.Ұсынылатын әдебиеттер тізімі
- •3.2. Емтиханға дайындалуға арналған сұрақтар
- •Дәрістер тезистері
- •Алфавиттік кодтау.
- •Алгорифмдердің композициясы. Марков алгорифмдердің таралуы және бірігуі. Басқарушы алгорифм. Марковтың тармақталатын алгорифмі. Есептелнтін функциялар.
- •23,24,25,26 - Дәрістер
- •1. Тұжырымдар мен тұжырымдар формасы.
- •Практикалық сабақтар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары (соөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің өзіндік жұмыстары (сөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Өзін-өзі тексеруге және емтиханға дайындалуға арналған Тест тапсырмалары
- •Әдебиеттер
Студенттерге арналған пән силлабусы
1.Пән туралы ақпарат
Пән атауы «Математикалық логика және дискреттік математика» |
Пән коды ML DM 3305 |
Кредит саны 3 |
Курс,семестр 3, 5 |
|
Мамандық аты Математика |
Мамандық шифры 5В0109 |
кафедра МА және Г |
факультет ФМФ |
|
Оқыту формасы- күндізгі, ЖО |
Оқыту тілі-қазақша |
|||
Пәнді өткізу уақыты және орны-сабақ кестесі бойынша |
||||
Консультация уақыты-сабақ кестесі бойынша |
||||
Рубеждік бақылау кестесі-сабақ кестесі бойынша |
||||
Оқытушының аты-жөні, лауазымы, дәрежесі, атағы аға оқытушы Капарова Р.М. |
Контактілік ақпарат(телефон, е-mail) 87011868589 |
|||
Оқытушы қолы
|
Кафедра меңгерушісі Коксалов Қ.К. |
|||
2.Пәннің қысқаша сипаттамасы
Пәнді жүргізудің негізгі мақсаттары: математикалық логиканың бастамаларымен және дискреттік математиканың негізгі тарауларымен оның қолданыстарымен студенттерді таныстыру, оларды басқа пәнді қабылдауда теориялық және практикалық жүзінде дайындау. Бұл курсты оқу барысында мынадай дискретті обьектілермен - бульдік функциялар, тұжырым алгебра формуласы. Тьюринг машинасы, рекурсивтік функциялар, графтар және торлармен жұмыс істеуге дағдыланады, кодтау теориясы проблемасы көрінісі қалыптасады.
Пәнді оқытудың міндеттері: математикалық логика және дискреттік математика, алгоритм теориясы әдістерін меңгеру, граф теориясы, кодтау теориясының негізгі ұғымдарымен таныстыру.
Бұл курсты меңгеру нәтижесінде студенттерге керек:
Білуі тиіс: Тұжырым алгебрасы және предикат алгебрасы, комбинаторика, бульдік функция теориясы, алгоритмді формальді құру, граф теориясы, кодтау теориясының негізгі ұғымдарымен және әдістерін.
Меңгеруі тиіс: программада қарастырылатын формулаларды қорыту және теоремаларды дәлелдеу, берілген оқу кітаптарымен жұмыс істей білу, математикалық ұғымдарды жазуға формальді тілді пайдалану, математиканың басқа бөлімдеріне, теориялық информатикаға, жасанды интеллект теориясына, логикалық программалауға және т.б. алған білімдерін қолдана білу.
Практикалық дағдыны қалыптастыру: бульдік функция системасының толықтығын тексеру, жазылуы бойынша бульдік функцияны құру, математикалық формула жазу, формальді алгоритм программасын жазу, шекті графтағы кейбір қасиеттерін тексеру, алгоритм графын құру, күрделі емес қасиеттерді және сөйлемдерді дәлелдеу.
3.Пән пререквизиттері:
Элементар математика. Математикалық талдау. Алгебра.
4.Пән постреквизиттері:
- Логикалық программалау;
- Алгоритмдер теориясы;
- Жасанды интеллект және т.б.
5. Күнтізбелік-тақырыптық жоспар.
№ |
Пән бөлімдерінің аттары |
апта |
Аудиториялық сабақтар |
СӨЖ (сағ.) |
Барлығы (сағ.) |
||
Контактілік сағаттар |
СОӨЖ (сағ.) |
||||||
Дәріс (сағ.) |
Пр/сем./зертх./ студ саб (сағ.) |
||||||
1. |
Жиын. Жиындарға амалдар қолдану, қасиеттері. Булеан жиындар. Универсум. Эйлер диаграммасы. |
1-2 |
4 |
2 |
6 |
6 |
18 |
2. |
Жиындардың тура көбейтіндісі, қасиеттері |
3 |
2 |
1 |
3 |
3 |
9 |
3. |
Сәйкестік, бейнелер және функциялар. Жиындардың қуаты. Қатынастар. Унарлы, бинарлы, тернарлы қатынастар. Арнаулы бинарлы қатынастар.
|
4 |
2 |
1 |
3 |
3 |
9 |
4. |
Комбинаториика элементтері. Алмастырулар, орналастырулар, терулер. Математикалық индукция әдісі.
|
5 |
2 |
1 |
3 |
3 |
9 |
5 |
Ньютон биномы. Паскаль ұшбұрышы. |
6 |
2 |
1 |
3 |
3 |
9 |
6 |
Графтар теориясының элементтері. Графтар.Негізгі ұғымдар және анықтамалар. Қасиеттері. Графтар мен операциялар. Графтар саны. Бағытталған және бағытталмаған графтар. |
7 |
2 |
1 |
3 |
3 |
9 |
7. |
Графтардың берілу тәсілдері. Ағаштар. Графтардағы маршруттар. Эйлер және Гамильтон циклдары мен шынжырлары. Транспорттық желілер. |
8 |
2 |
1 |
3 |
3 |
9 |
9. |
Кодтау теориясының элементтері. Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы. |
9 |
2 |
1 |
3 |
3 |
9 |
10 |
Математикалық теориялар. Дедукция теоремасы. Қайшылық емес, толықтық. |
10 |
2 |
1 |
3 |
3 |
9 |
11 |
Алгоритмдер. Тьюринг машиналары. Марковтың нормальдық алгоритмдері. |
11 |
2 |
1 |
3 |
3 |
9 |
12 |
Математика логика элементтері. Бір және екі айнымалыдан тәуелді логикалық функциялар. Функциялар мен формулалар-дың суперпозициясы. Эквиваленттік. Фор-мулалардың қалыпты формалары, ДҚФ және КҚФ. Мүлтіксіз дизъюнктивті, конъ-юнктивті қалыпты формалар. Жегалкин алгебрасы. Логикалық функциялардың тұйық кластары .Логикалық функциялардың толық жүйесі |
12 - 13 |
4 |
2 |
6 |
6 |
18 |
13 |
Бульдік функциялар, қасиеттері. Жегалкин полиномдары. |
14 |
2 |
1 |
3 |
3 |
9 |
14 |
Предикат ұғымы. Предикаттар алгебрасының формуласы. Де Морган заңдары. Предикаттар алгебрасының математикалық теорияларда қолданылуы. |
15 |
2 |
1 |
3 |
3 |
9 |
|
Барлығы |
|
30 |
15 |
45 |
45 |
135 |