- •050704- Есептеу техникасы және программалық қамтама
- •1. Оқытушы жөнінде мәлімет:
- •2.1 Оқу жоспарынан көшірме
- •5. Пәннің қысқаша сипаттамасы
- •6. Сабақ жоспары
- •7. Студенттердің өздік жұмыстары бойынша сабақ жоспары
- •8. Баға бойынша ақпарат
- •9. Бағаны қою саясаты
- •10. Оқу пәні мен академиялық әдептің саясаты
- •1.2. Жиындардың өрнектелуі
- •1.3. Жабу және бөліктеу
- •1. Тұжырымдар мен тұжырымдар формасы.
- •Қазақстан Республикасының Білім және ғылым министрлігі ш.Уәлиханов атындағы Көкшетау мемлекеттік университеті
- •050504-Есептеу техникасы және пқ мамандығы
- •050703–Ақпараттық жүйелер мамандығы
6. Сабақ жоспары
6.1. Аудиторлық сабақтардың оқу-тақырыптық жоспары
|
Тақырыптар атауы |
Академиялық сағаттар саны |
||||
№ |
Дәріс |
Практика |
ОСӨЖ |
СӨЖ |
||
|
ауд |
офис |
||||
1 |
Жиындар және жиынмен орындалатын операциялар. Жиын құру әдістері. Булеан жиындар. Универсум. Эйлер диаграммасы. Сәйкестік, бейнелер және функциялар. Жиындардың қуаты. Қатынастар. Унарлы, бинарлы, тернарлы қатынастар. Арнаулы бинарлы қатынастар. |
8 |
4 |
4 |
8 |
12 |
2 |
Математика логика элементтері. Бір және екі айнымалыдан тәуелді логикалық функциялар. Функциялар мен формулалар-дың суперпозициясы. Эквиваленттік. Фор-мулалардың қалыпты формалары, ДҚФ және КҚФ. Мүлтіксіз дизъюнктивті, конъ-юнктивті қалыпты формалар. Жегалкин алгебрасы. Логикалық функциялардың тұйық кластары .Логикалық функциялардың толық жүйесі |
8 |
4 |
4 |
8 |
12 |
3 |
Комбинаторика. Орналастыру және теру. Жиындарды бөліктеу. |
4 |
2 |
2 |
4 |
6 |
4 |
Графтар.Негізгі ұғымдар және анықтамалар. Қасиеттері. Графтар мен операциялар. Графтар саны. Ағаштар. Графтардағы маршруттар. Эйлер және Гамильтон циклдары мен шынжырлары. Транспорттық желілер. |
10 |
5 |
5 |
10 |
15 |
|
Семестрдегі барлық сабақтар |
30 |
15 |
15 |
30 |
45 |
6.2. ОБСӨЖ –дің оқу-тақырыптық жоспары
Тапсырмалардың тізімі мен түрлері және оларды оларды орындау кестесі
Студенттердің семестр бойындағы жүйелі жұмысы ағымдағы және аралық бақылаулармен бағаланады. Ағымдағы бақалау 8 семестрлік, 4 бақылау жұмыстарын бағалау арқылы жүзеге асырылады.
6.2.1. Оқытушының басқаруымен орындалатын ( ОБСӨЖ ) жұмыс жоспары
№ |
Тапсырма тақырып |
Өткізу формасы |
Әдістемелік кеңестер |
Ұсынылатын әдебиет. |
1 |
ОӘК пайдалану тәр-тібін түсіндіру. |
Дискуссия |
Оқылатын бөлімдермен танысу тапсырмаларды орындау реті. |
9 нег.[11-21]. 17 қос.[18-22]. |
3 |
Функциялар. Инъек-ция, сюръекция, би-екция. Шексіз жиын-дар. Кантор пара-доксы. |
Презентация, дискуссия |
Жиындар теориясының пародоксы туралы. Бин-арлық қатынастардың қасиетi бойынша олар-дың типiн анықтау |
1 нег. [10-14] 2 нег. [16-22] 9 нег. [91-102] |
4 |
Қатынастар. Мәлі-меттер базасын бас-қару жүйелеріне қо-сымша. |
Презентация, дискуссия |
Қатынастар ұғымын пай-даланып мәліметтер база-сының кестелерін және олардың арасындағы бай-ланыстарды құру тәсілі-мен танысу. |
2 нег.[26-28]. 8 нег.[31-48]. |
5 |
Логикалық.формулаларды ықшамдау |
Презентация, дискуссия |
Логикалық функциялар-дың қасиеттерін білу. |
2 нег . [34-37] 5 нег . [29-36] |
6 |
Түрлі базистерде логикалық функция-ларды минимиза-циялау. |
Презента ция, тренинг |
Карно картасы, Кваин, анықталмаған коэффи-циенттер әдісімен мини-мизациялау әдістерін оқу. |
2 нег. [180-185] 9 нег. [195-197] |
7 |
№1.бақылау жұмысы. |
Жазбаша жұмыс |
«Жиындар ,қатынастар» , Логикалық функциялар, Жегалкин көпмүшелігі, МДҚФ, МКҚФ тақыры-бындағы барлық матери-алдарды қайталау. МДҚФ, МКҚФ табу алгоритмдерiн бiлу |
2 нег.[10-26, ]. 2 нег. 31-34]. 18 нег. [48-64]
|
8 |
Бірінші тест түрін-дегі аралық бақылау тапсырмасын орын-дау.Жиындар. Логи-калық функциялар-дың қасиеттері |
Тест |
«Логикалық функциялар, Жиындар теориясы» бойынша өтілген материалды. қайталау. |
1 нег. [5-62] 2 нег. [10-40] 2. нег [172-197] 9 нег. [44-110] 9 нег. [194-211] |
9 |
Негізгі комбинатор-иялық формулалар-ды қолдану. |
Тренинг |
Түрлi таңдамалар санын анықтаудың формулала-рын бiлу |
1нег.[130-136] 2нег.[159-163] |
10 |
№2.бақылау жұмы-сы. Комбинаторика, функциялардың толық жүйелері. |
Жазбаша жұмыс |
Комбинаторика, функ-циялардың толық жүйе-лері тақырыбы бойынша өтiлген материалдарды қайталау |
9нег.[117-135] 10нег.[46-55] 1 нег. [49-55] 2 нег. [195-197] |
11 |
Графтар және би-нарлы қатынастар. |
Дискус сия, тренинг |
Графтарды кескіндеу және оларды компьютер-де өңдеу тәсілдерімен танысу. |
1 нег. [161-180] 2 нег. [108-120] 5 нег. [88-98] |
12 |
№3.бақылау жұмы-сы. Ең кіші қосылу туралы есеп |
Жазбаша жұмыс |
Ең кіші қосылу туралы алгоритмдермен танысу |
2 нег. [134-137] 17.қос. [345-352] |
13 |
Краскала алгоритмі. Алгоритм. Дейкстры |
Презентация |
Тойымсыз алгоритмдер-мен танысу
|
10 нег. [277-284] 17 қос. [371-378] 1 нег. [180-206] |
14 |
№4.бақылау жұмы-сы.
|
Жазбаша жұмыс |
Графтың екі төбесін қосатын ең қысқа жолды анықтайтын алгоритм-дермен танысу |
2 нег. [126-130] 1 нег. [188-195] |
15 |
Екiншi аралық бақы лау тапсырмаларын орындауға дайын-далу. Комбинатор-ика, графтар теория-сы |
Тест |
«Графтар теориясы», Комбинаторика тақыр-ыбының материалдарын қайталау. |
10 нег. [46-62] 9 нег. [117-136] 2 нег. [108-50] |
6.2.2. Оқытушының көмегінсіз жүргізілетін сабақтар жоспары (СӨЖ)
№ |
Тапсырма, тақырып |
Әдiстемелiк кеңестер |
Ұсынылатын әдебиет |
1 |
Кiтапханадан қажеттi әдебиет алу |
|
|
2 |
ӨЖ1 орындау. Жиынмен опера цияларды оқу. Жиындар алгебра сындағы тепе теңдiктердi дәл-елдеу |
Жиындар алгебрасындағы тепе-теңдiктердi дәлелдеу үш-ін жиындардың теңдігін пай-далану |
1нег. [17-70] 2нег.[10-16] |
3 |
ӨЖ2 орындау. Сәйкестік, бейне-леу, функция. |
Қасиеттерi бойынша сәйкес тiктердiң түрлi типтерiн үйрену |
5нег.[9-19] , 9нег.[44-53] 18қос.[18-42] |
4 |
ӨЖ3 орындау. Өзара бір мән-ділік және жиындардың қуаты. |
Жиын қуатын анықтауда олар-дың элементтері мен эталондық жиын элементтерінің сәйкес-тігін пайдалану. |
2нег. [26-28] 8нег. [31-48 |
5 |
ӨЖ4 орындау. Жиындардағы бинарлық қатынастар. |
Бинарлы қатынастар типтерi мен қасиеттерін үйрену |
2нег.[34-37], 5нег. [29-36] |
6 |
ӨЖ5 орындау. Логикалық функ-циялар және формулалар |
Барлық логикалық функция-лардың ақиқаттық кестесін жаттау. |
2 нег. [180-185], 9 нег.[195-197] |
7 |
№1 бақылауға дайындық. Жи-ындар теориясы (Сәйкестік, бей-нелеу функция ). Логикалық фун-кциялар. |
Жиындар арасындағы сәйкестік тер типін үйрену. МДҚФ, МКҚФ табу алгоритмдерiн бiлу Жегалкин полиномын құра бiлу |
2 нег. [10-26.31-34] 9 нег. [194-196] 18 қос. [48-64] |
8 |
Бірінші тест түріндегі аралық бақылауға дайындық. Жиындар. Жиындар арасында сәйкестік орнату. Логикалық функциялар, қасиеттері. Өрнектелуі. |
«Жиындар теориясы» , «Логи калық функциялар» бойынша өтілген мат. қайталау. |
1 нег . [5-62] 2 нег . [10-40] 9 нег. [44-110]
|
9 |
ӨЖ6 орындау. Комбинаторика. Теру,Орналастыру. |
Реттелген, реттелмеген таңда-маларды ажырата бiлу. Түрлi таңдамалар санын анықтаудың формулаларын бiлу |
1 нег. [130-136] 2 нег. [159-163] |
10 |
№2 бақылау жұмысына дайын-дық. Логикалық функциялардың толық жүйелері. Комбинатор-ика. |
Пост теоремасын оқу. Комбина ториканың есептерін таңдама ның типін анықтауға пайдалана білу. |
1 нег. [49-55] 2 нег. [195-197] 9 нег. [117-135] 10 нег. [46-55] |
11 |
ӨЖ7 орындау. Графтар. Олар-дың берілу тәсілдері. Графтар-мен орындалатын операциялар. |
Графтармен орындалатын опер-ациялармен танысу. Жиын тө-белерiнiң бинарлы қатынастары бойынша граф құруды үйрену |
1 нег. [161-180] 2 нег. [108-120] 5 нег. [88-98] |
12 |
№3 БЖ дайындық. Ең кіші қосылу туралы есеп.
|
Краскал және ең аз салмақты қаңқалы ағашталудың тойым сыз алгоритмдерiн үйрену |
2 нег.[134-137] 17 қос.[345-352] |
13 |
ӨЖ8 орындау. Граф сандары. Графтардағы маршруттар. |
Графтардағы маршруттардың түрлерін ажырата білу. |
10 нег.[277-284] 17 қос.[371-378] 5 нег.[99-109] |
14 |
БЖ дайындық. Ең қысқа жол туралы есеп. |
Ең қысқа жолды анықтай тын Форд алгоритмiн үйрену |
2 нег. [126-130] 1 нег. [188-195] |
15 |
Екiншi аралық бақылауға дай-ындалу. Комбинаторика, Граф-тар теориясы. |
«Комбинаторика», «Графтар теориясы» тақырыбының мат-ериалдарын қайталау |
10 нег.[46-62] 9 нег. [117-136] 2 нег.[108-150] 19 қос. [92-157] |
Әдебиеттер
Негізгі әдебиет тізімі:
1. Нефедова В.Н., Осипова В.А. Курс дискретной математики. – М.: Изд-во МАИ, 1992.
2. Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики. –М.: ИНФРА-М, Новосибирск: изд-во НГТУ, 2002.
3. Новиков Ф.А. Дискретная математика для программистов. – Спб.: Питер, 2001.
4. Белоусов А.И., Ткачев С.Б. Дискретная математика. – М.: Изд-во МГТУ им.Н.Э.Баумана, 2001.
5. Кузнецов О.П. Дискретная математика для инженера. –М.: Энергия, 1980.
6. Мутанов Г.М.,Акбердин Р.А. Теория графов. – Алматы, изд-во «Рауан», 1999.
7. Горбатов В.А. Фундаментальные основы дискретной математики. –М.: Наука-Физматгиз, 2002.
8. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.:Наука,1984.
9.Хаггарти Р. Дискретная математика для программистов. – М.: Техносфера, 2004.
10. Капитонова Ю.В. и др. Лекции по дискретной математике. –Спб.: «БХВ-Петербург», 2004.
Қосымша әдебиеттер тізімі:
11. Липский В. Комбинаторика для программистов. – М.: Мир, 1988.
12. Мендельсон Э. Введение в математическую логику.- М.: Наука, 1984.
13. Ершов Ю.Л., Палютин Е.А. Математическая логика. -М.:Наука, 1979.
14. Мальцев А.И. Алгоритмы и рекурсивные функции. -М.:Наука,1986.
15. Яблонский С.В. Введение в дискретную математику. -М.: «Высшая школа», 2001.
16. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. -М.:Наука, 1977.
17. Сигорский В.П. Математический аппарат инженера-Киев, Технiка, 1977.
18. Коршунов Ю.М. Математические основы кибернетики, М.: Наука, 1981.
19. Кристофидес Н. Теория графов: алгоритмический подход. –М.: Мир, 1978.