Файл қосу
Математикалық логика және дискретті математика
|ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ |
|БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ |
|ШӘКӘРІМ атындағы |
|СЕМЕЙ МЕМЛЕКЕТТІК УНИВЕРСИТЕТІ |
|3 деңгейлі СМЖ құжаты |ПОӘК | |
| | |ПОӘК |
| | |042-14.01.20.168/01-201|
| | |3 |
|ПОӘК |02.09.13 ж. №1 басылым| |
|Оқытушыларға арналған | | |
|пәндердің оқу жұмыс | | |
|бағдарламасы | | |
|«Математикалық логика және| | |
|дискретті математика» | | |
ПӘНДЕРДІҢ ОҚУ-ӘДІСТЕМЕЛІК КЕШЕНІ
«Математикалық логика және дискретті математика»
5В010900 «Математика» мамандығы үшін
мамандығы үшін
ОҚЫТУШЫЛАРҒА АРНАЛҒАН ПӘНДЕРДІҢ ОҚУ ЖҰМЫС БАҒДАРЛАМАСЫ
Семей
2013
1 ӘЗІРЛЕНГЕН
Құрыстырушы __________ «___»_____________ 2013__г.
Накишбекова К. М., «Жоғары математика» кафедрасының доцент
2 ТАЛҚЫЛАНДЫ
2.1 «Жоғары математика» кафедра отырысында
«____» _______________ 2013__ж., № ___хаттама.
Кафедра меңгерушісі ______________ О.М. Жолымбаев
2.2 Ақпаратты-коммуникациялық технологиялар факультетінің оқу-әдістемелік
кеңесінің отырысында
«____» _______________ 2013__ж., № ___хаттама.
Төраға ______________ Г.Е.Берикханова
3 БЕКІТІЛДІ
Университеттің Оқу-әдістемелік кеңесінің отырысында басып шығаруға
мақұлдаған және ұсынылған
«____» _______________ 2013__ж., № ___хаттама.
ОӘК төрағасы ______________ Г. К. Искакова
1 01.09.2013 ж. № 1 басылым
Мазмұны
|1 |Қолданылу саласы |4 |
|2 |Нормативтік сілтемелер |4 |
|3 |Жалпы ережелер |4 |
|4 |Оқытушыларға арналған пәндердің оқу жұмыс бағдарламасының |5 |
| |мазмұны | |
|5 |Студенттердің өздік жұмысына арналған тақырыптардың тізімі |6 |
|6 |Оқу-әдістемелік әдебиетпен қамтамасыз етудің картасы |8 |
|7 |Әдебиеттер |8 |
1 ҚОЛДАНЫЛУ САЛАСЫ
«Математикалық логика және дискретті математика» пәні бойынша оқу-
әдістемелік кешеннің құрамына енгізілген оқытушыларға арналған пәндерді оқу
жұмыс бағдарламасы 5В010900 «Математика» мамандығының студенттері үшін
арналған.
2 НОРМАТИВТІК СІЛТЕМЕЛЕР
«Математикалық логика және дискретті математика» пәнінің оқытушыларына
арналған осы пәндердің оқу жұмыс бағдарламасы келесі құжаттардың талаптары
мен ұсыныстарына сәйкес берілген пән бойынша оқу үрдісін ұйымдастырудың
тәртібін белгілейді:
- 5В010900 «Математика» мамандығының мемлекеттік жалпыға міндетті
білім стандарты, ҚР МЖБС 3.08.330-2006 жылғы, 23.12.2005 №779
Қазақстан Республикасы Білім және ғылым министрлігінң Бұйрығымен
енгізілген және бекітілген.
- СТУ 042-РГКП-СГУ-8-2007 «Пәндердің оқу-әдістемелік кешенін
әзірлеуге және ресімдеуге қойылатын жалпы талаптар» университет
стандарты;
- ДП 042-08.10.10.12-2007 «Пәндердің оқу-әдістемелік кешенінің
құрылымы және мазмұны» құжаттандырылған процедурасы.
3 ЖАЛПЫ ЕРЕЖЕЛЕР
3.1 «Математикалық логика және дискретті математика» - 5В010900
«Математика» мамандығы бойынша оқыту жоспарының ең негізгі пәндерінің
бірі. «Дискретті математика және математикалық логика» пәні математикалық
логика пәнімен қатар кәзіргі информатиканың фундементальды негіздерінің
бірі болып табылады және теориялық және қолданбалы программалаумен жан –
жақты байланыста.
Ақылмен ойлаудың формальдық логикасын, пікірлер есептемесін,
предикаттар логикасын және Буль алгебрасы мен алгоритмдер теориясын
дискретті математиканың үздік ерекшелігі бар әртүрлі модельдері немесе
жекелеген салалары деп қарастырылады. Дискретті математиканың зерттеу
объектісі қатарына алдыңғы аталған логикалы математикалық құрылымдармен
қатар ақырлы графтар теориясы, комбинаториялық анализдің элементтері,
ақырлы автоматтар теориясы, ықтималдықтар мен информациялар теориясының
бастамалары, т.с.с. көптеген ақырлы математикалық пәндер тобы енеді.
3.2 Аталмыш курстың мақсаты - студенттерді дискретті математиканың
негізгі бөлімдері және олардың қолдануларымен таныстыру, басқа
пәндерді меңгеруге теориялық және тәжрибелік тұрғыдан дайындау.
Осы курсты оқыту кезінде студенттер Буль функциялары, айтылымдар
алгебрасының формулалары, комбинаторикалық алгоритмдер, графтар мен
желілер сияқты дискретті объектілермен жұмыс істеуге дағдыланады,
одан басқа олардың кодтау теориясының мәселелері туралы көз –
қарастары қалыптасады.
3.3 Пәндерді оқып-білудің негізгі міндеті – осы әзірленіп отырған
жұмыс бағдарламасында көрсетілген барлық тақырыптарды, онымен байланысты
түгел теориялық және практикалық мәселелерді оқып үйрену, сөйтіп жоғары да
көрсетілген мақсатқа қол жеткізу болып табылады.
3.4 Оқып-білудің нәтижесінде студент мыналарды:
• Курсты толық оқыған студенттердің міндеттері: айтылымдар
және предикаттар алгебралары комбинаторика , буль функциялары,
графтар теорияларының негізгі ұғымдарын және әдістерін
білулері қажет;
• Курста қарастырылатын теоремаларды, дәлелдеу, формулаларды
қорыту, ұсынылған әдебиетерді пайдалану, математикалық
ұғымдарды формальді тіл арқылы сипаттау, алған білімдерін
математиканың басқа салаларында: теориялық информатика, жасанды
ақыл – ой теориясында, логикалық бағдарламалауда және т.б.
қолдана білуі тиіс;
• Буль функциялары жүйелерінің толықтығын іс жузінде тексере
білу, сипаттамалары бойынша Буль функцияларын құру, математикалық
формулаларды формальді тілде жазу, әртүрлі қасиеттерді шекті
графтарда тексеру, ақпараттарды кодтауда стандартты әдістерін
қолдану, қарапайым сөйлемдер мен қасиеттерді өз бетінше
құру және дәлелдеу
3.5 Курстың пререквизиттері:
3.5.1 Математикалық логика курсы алгебра және сандар теориясы,
геометрия курстарымен байланысты
3.6 Курстың постреквизитері:
3.6.1 Алгоритмдер теориясы”, “ЭЕМ және бағдарлау”, Логикалық
бағдарлау” “Информатиканың теориялық негіздері”, “Жасанды ақыл-ой”.
1 кесте – Оқу жоспарынан көшірме
|Курс |Семестр |
|1 |2 |
|Дәріс сабақтар |
|Жиындар математикасына байланысты тақырыптарды пысықтау |2 |
|Математикалық логиканың мазмұны және маңызы. Пікірлер | |
|алгебрасы. Пікір ұғымы, оның ақиқаттық мәндері. Мысалдар.| |
|Пікірлерге қолданылатын амалдар: терістеу (инверсиялау), |2 |
|конъюнкция, дизънкция, импликация, эквиваленция, Шеффер | |
|штрихтау және Пирс жебелеу амалдары және олардың | |
|ақиқаттық кестелері мен қасиеттері. | |
|Логиканың негізгі заңдары: теңбе-теңдік заңы, қайшылық |2 |
|заңы, үшіншісі жоқтық заңы, толық негіздеу заңы. Пікірлер| |
|алгебрасының формулалары. Формула дегеніміз не? | |
|Формуланы теңмағыналы түрлендіру. Формуланың түрлері. |2 |
|Орындалатын, ақиқат және жалған формулалар. | |
|Пікірлер алгебрасының тавтологиясы. Тавтологияның маңызы.|2 |
|Негізгі тавтологиялар. Тавтологияны анықтаудың негізгі | |
|ережелері. Мысалдар. | |
|Мәндес формулалар. Пікірлер алгебрасының заңдары. |2 |
|Формулаларды эквивалентті түрлендірулер. ДҚФ және КҚФ. | |
|Кемел ДҚФ және кемел КҚФ. | |
|Буль функциялары. n-айнымалыдан тұратын буль |2 |
|функцияларының саны. Елеулі және елеусіз айнымалылар. | |
|Буль функцияларының суперпозициясы. | |
|Элементарлық Бульдік функциялар және олардың қасиеттері. |2 |
|Берілген сигнатураның буль формулалары. Пікірлер | |
|алгебрасының формуласын буль функцияларының көмегімен | |
|беру. | |
|Логикалық полиномдар. Логикалық полиномдарды буль |2 |
|функцияларының көмегімен беру. | |
|Предикаттар логикасы. Предикат ұғымы. Квантор ұғымы. |2 |
|Предикаттар алгебрасының формулалары. Предикаттар | |
|алгебрасының заңдары. | |
|Кванторлы эквивалент формулалар. Кванторлы формулалар |2 |
|үшін де Морган заңдары. | |
|Предикаттар алгебрасының математикалық теорияларда |2 |
|қолдануы. Формальды теория ұғымы. Қорыту және оның | |
|қасиеттері. | |
|Формулалардың теңмағыналылығы. Теңмағыналы |2 |
|түрлендірулер.Графтар теориясы және математикалық логика.| |
|Пікірлердің формальданған есептемелері. | |
|Аксиомалар жүйесі және қорытулар теориясы |2 |
|(ережелері).Толықтық және пікірлерді формальды есептеудің| |
|басқа қасиеттері. Аксиоматикалық теориялар. Формальды | |
|емес аксиоматикалық теориялар.Аксиомалар теориясының | |
|қайшылықсыздығы, толықтығы, тәуелсіздігі, | |
|категориялылығы. | |
|Формальды (қалыптамалы) аксиоматикалар теориясы |2 |
|ұғымы.Формальды арифметиканың толық еместігі, | |
|қайшылықсыздығы туралы Гедель теоремалары. | |
| | |
|Практикалық сабақтар | |
|Жиындар математикасына байланысты тақырыптарды пысықтау |1 |
|Математикалық логиканың мазмұны және маңызы. Пікірлер | |
|алгебрасы. Пікір ұғымы, оның ақиқаттық мәндері. Мысалдар.| |
|Пікірлерге қолданылатын амалдар: терістеу (инверсиялау), |1 |
|конъюнкция, дизънкция, импликация, эквиваленция, Шеффер | |
|штрихтау және Пирс жебелеу амалдары және олардың | |
|ақиқаттық кестелері мен қасиеттері. | |
|Логиканың негізгі заңдары: теңбе-теңдік заңы, қайшылық |1 |
|заңы, үшіншісі жоқтық заңы, толық негіздеу заңы. Пікірлер| |
|алгебрасының формулалары. Формула дегеніміз не? | |
|Формуланы теңмағыналы түрлендіру. Формуланың түрлері. |1 |
|Орындалатын, ақиқат және жалған формулалар. | |
|Пікірлер алгебрасының тавтологиясы. Тавтологияның маңызы.|1 |
|Негізгі тавтологиялар. Тавтологияны анықтаудың негізгі | |
|ережелері. Мысалдар. | |
|Мәндес формулалар. Пікірлер алгебрасының заңдары. |1 |
|Формулаларды эквивалентті түрлендірулер. ДҚФ және КҚФ. | |
|Кемел ДҚФ және кемел КҚФ. | |
|Буль функциялары. n-айнымалыдан тұратын буль |1 |
|функцияларының саны. Елеулі және елеусіз айнымалылар. | |
|Буль функцияларының суперпозициясы. | |
|Элементарлық Бульдік функциялар және олардың қасиеттері. |1 |
|Берілген сигнатураның буль формулалары. Пікірлер | |
|алгебрасының формуласын буль функцияларының көмегімен | |
|беру. | |
|Логикалық полиномдар. Логикалық полиномдарды буль |1 |
|функцияларының көмегімен беру. | |
|Предикаттар логикасы. Предикат ұғымы. Квантор ұғымы. |1 |
|Предикаттар алгебрасының формулалары. Предикаттар | |
|алгебрасының заңдары. | |
|Кванторлы эквивалент формулалар. Кванторлы формулалар |1 |
|үшін де Морган заңдары. | |
|Предикаттар алгебрасының математикалық теорияларда |1 |
|қолдануы. Формальды теория ұғымы. Қорыту және оның | |
|қасиеттері. | |
|Формулалардың теңмағыналылығы. Теңмағыналы |1 |
|түрлендірулер.Графтар теориясы және математикалық логика.| |
|Пікірлердің формальданған есептемелері. | |
|Аксиомалар жүйесі және қорытулар теориясы |1 |
|(ережелері).Толықтық және пікірлерді формальды есептеудің| |
|басқа қасиеттері. Аксиоматикалық теориялар. Формальды | |
|емес аксиоматикалық теориялар.Аксиомалар теориясының | |
|қайшылықсыздығы, толықтығы, тәуелсіздігі, | |
|категориялылығы. | |
|Формальды (қалыптамалы) аксиоматикалар теориясы |1 |
|ұғымы.Формальды арифметиканың толық еместігі, | |
|қайшылықсыздығы туралы Гедель теоремалары. | |
1
5 СТУДЕНТТЕРДІҢ ӨЗДІК ЖҰМЫСТАРЫНА АРНАЛҒАН ТАҚЫРЫПТАРДЫҢ ТІЗІМІ
6 СОӨЖ ЖӘНЕ СӨЖ МАЗМҰНЫ
СӨЖ орындау және өткізу графигі
|№ |СӨЖ-дің атауы |Әдебиет № |Балл |Орынд. |Тексеру |
| | |және | |кезеңі |формасы |
| | |беттері | | | |
|1 |Мектеп математика курсындағы |20 |3 |2-апта |Жазбаша |
| |жиындарға берілген есептер | | | |Ауызша |
|2 |Ақылмен ақпараттану тілі және |1, 2, 6, 7|3 | |Жазбаша |
| |әуенді сынау алгебрасы. | | |3-апта |Ауызша |
|3 |Әмбебап жиын, ақиқаттану және |5-8 |3 | |Жазбаша |
| |ақпараттану алгебрасы | | |4-апта |Ауызша |
|4 |Пікірлер алгебрасына есептер |2, 5-8 |3 |5-апта |Жазбаша |
| | | | | |Ауызша |
|5 |Пікірлер алгебрасының |[2], 5-8 |3 | |Жазбаша |
| |тавтологиясына есептер шығару | | |6-апта |Ауызша |
|6 |Пікірлердің қалыптамалық |[2], 5-8 |3 | |Жазбаша |
| |(формальданған) есептемелері. | | |8-апта |Ауызша |
| |Конспект | | | | |
|7 |Логикалық мәндестік |[2], 39-42| |9-апта |Жазбаша |
| | |беттер | | |Ауызша |
|8 |«Предикаттар логикасының |[2], |3 |10-апта |Жазбаша |
| |формулалары» тақырыбына конспект. |303-307бет| | |Ауызша |
| | |тер | | | |
| | |5-8 | | | |
|9 |Алгоритм теориясы және Тьюринг | [2], 5-8 |3 |12-апта |Жазбаша |
| |машиналары. | | | |Ауызша |
|10 |«Аксиоматикалық теориялар және |[2], 15-19|3 |14-апта |Жазбаша |
| |оның қасиеттері» тақырыбына | | | |Ауызша |
| |консект. | | | | |
6 ОҚУ-ӘДІСТЕМЕЛІК ӘДЕБИЕТПЕН ҚАМТАМАСЫЗ ЕТУДІҢ КАРТАСЫ
4 кесте – Оқу-әдістемелік әдебиетпен қамтамасыз етудің картасы
|Оқулықтардың, оқу-әдістемелік |Даналардың |Студенттердің |Қамтамасыз |
|құралдардың атауы |саны |саны |ету пайызы |
|1 | | |4 |
|1.1 Нұрсұлтанов Қ.Н. «Дискретті|20 |11 |100% |
|математика және математикалық | | | |
|логика» | | | |
|1.2 Белоусов А.И., Ткачев С.Б.|30 |11 |100% |
|«Дискретная математика» | | | |
|1.3 Мутанов Г.М.,Акбердин Р.А.|1 |11 |9% |
|«Теория графов» | | | |
|1.4 Яблонский С.В. «Введение в |5 |11 |45% |
|дискретную математику» | | | |
7 ӘДЕБИЕТТЕР
7.1 НЕГІЗГІ ӘДЕБИЕТТЕР
7.1.1 Нұрсұлтанов Қ.Н., Дискретті математика және математикалық логика. –
Семей 2002
7.1.2 Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики.
–М.: ИНФРА-М, Новосибирск: изд-во НГТУ, 2002
7.1.3 Белоусов А.И., Ткачев С.Б. Дискретная математика. – М.: из-во МГТУ
им.Н.Э.Баумана, 2004
7.1.4 Мутанов Г.М.,Акбердин Р.А. Теория графов. – Алматы, изд-во
«Рауан»,1999
7.1.5 Нефедова В.Н., Осипова В.А. Курс дискретной математики. – М.: из-во
МАИ, 1992
7.2 Қосымша әдебиеттер
7.2.1 Смыслова З.А., Пермякова Н.В. Спецглавы математики, ч.3
7.2.2 Липский В. Комбинаторика для программистов. – М.: Мир, 1988
7.2.3 Кузнецов О.П, Адельсон – Вельский Г.М.Дискретная математика, М.,1988
7.2.4 Мальцев А.И. Алгоритмы и рекурсивные функции. -М.:Наука,1986
7.2.5 Яблонский С.В. Введение в дискретную математику. -М.: «Высшая школа»,
2001
7.2.6 Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.
-М.:Наука, 1977
Пәндер
- Іс жүргізу
- Автоматтандыру, Техника
- Алғашқы әскери дайындық
- Астрономия
- Ауыл шаруашылығы
- Банк ісі
- Бизнесті бағалау
- Биология
- Бухгалтерлік іс
- Валеология
- Ветеринария
- География
- Геология, Геофизика, Геодезия
- Дін
- Ет, сүт, шарап өнімдері
- Жалпы тарих
- Жер кадастрі, Жылжымайтын мүлік
- Журналистика
- Информатика
- Кеден ісі
- Маркетинг
- Математика, Геометрия
- Медицина
- Мемлекеттік басқару
- Менеджмент
- Мұнай, Газ
- Мұрағат ісі
- Мәдениеттану
- ОБЖ (Основы безопасности жизнедеятельности)
- Педагогика
- Полиграфия
- Психология
- Салық
- Саясаттану
- Сақтандыру
- Сертификаттау, стандарттау
- Социология, Демография
- Спорт
- Статистика
- Тілтану, Филология
- Тарихи тұлғалар
- Тау-кен ісі
- Транспорт
- Туризм
- Физика
- Философия
- Халықаралық қатынастар
- Химия
- Экология, Қоршаған ортаны қорғау
- Экономика
- Экономикалық география
- Электротехника
- Қазақстан тарихы
- Қаржы
- Құрылыс
- Құқық, Криминалистика
- Әдебиет
- Өнер, музыка
- Өнеркәсіп, Өндіріс
Қазақ тілінде жазылған рефераттар, курстық жұмыстар, дипломдық жұмыстар бойынша біздің қор #1 болып табылады.
Ақпарат
Қосымша
Email: info@stud.kz