ҚАЗАҚСТАН РЕСПУБЛИКАСЫ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ АБАЙ АТЫНДАҒЫ ҚАЗАҚ ҰЛТТЫҚ ПЕДАГОГИКАЛЫҚ УНИВЕРСИТЕТІ
	«БЕКІТЕМІН» Математикалық талдау, алгебра және геометрия кафедрасының меңгерушісі ф.-м.ғ.д., профессор Көксалов.Қ.К «____»____________2012ж. .

«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені « 5в0109 -математика»

Алматы, 2012

«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені

« 5В0109 -математика» - мамандықтары бойынша жоғары кәсіби білім берудің Мемлекеттік жалпыға міндетті стандарты

• ҚР БҒМ «__» «______» 20 ж. № бұйрығымен бекітілген

• «Математикалық логика және дискреттік математика» пәнінің типтік бағдарламасы (ЖМБС

• міндетті компоненттерінің пәндері үшін);

« » « » 20 ж. бекітілген « 5В0109 –математика»

- мамандықтары бойынша жұмыс оқу жоспары негізінде дайындалды.

Дайындаған:

Аға оқытушы Қапарова Р.М.

Кафедра меңгерушісі Көксалов Қ.К.

Пікір білдірушілер:

1. Жантлеуов К. - ф-м.ғ.к., доцент, Абай атындағы ҚазҰПУ

2. Естаева Г.Ж. - ф-м.ғ.к. Абай атындағы ҚазҰПУ

«__» « _________ » 20 ж.

Пәннің оқу-әдістемелік кешенінің мазмұнының тізімдемесі

№	Құжаттаманың атауы	Беті
1	Элективтік курстың катологы
2	Силлабус
3	Пәннің оқу-әдістемелік жабдықтау картасы
4	Пәннің жұмыс оқу бағдарламасы
5	Дәрістер тезистері
6	Семинар, практика, зертханалық және студиялық сабақтардың жоспарлары
7	Зертханалық және студиялық сабақтарды орындаудың әдістемелік нұсқауы
8	Білім алушылардың өзіндік жұмыстарын ұйымдастыру және басқаруға арналған материалдар: СОӨЖ-на арналған тапсырмалар; СӨЖ-на арналған тапсырмалар;
9	Білім алушылардың білімін (пәндік біліктілігінің қалыптасу деңгейін) мониторингілеуге және бақылауға арналған материалдар: тестілік тапсырмалар, ағымдық, рубеждік және аралық бақылауға арналған тапсырмалар
10	Оқытушылардың ресми дайындалған оқу және оқу-әдістемелік құралдары (жарияланған жағдайда)
11	Білім алушыларға арналған пәннің оқу-әдістемелік кешені
12	Оқу әдебиеттері және/немесе электрондық тасуыштардағы материалдар, интернет көздері
13	Глоссарий

Элективтік курстың каталогы

MLDM3304 Математикалық логика және дискреттік математика

Пән пререквизиттері: алгебра, мектеп математикасы.

Пән постреквизиттері: Информатика, дифференциялдық теңдеулер, Нақты айнымалылы функциялар теориясы, ықтималдықтар теориясы мен математикалық статистика..

Бағдарламаның қысқаша мазмұны: математикалық логиканың бастамаларымен және дискреттік математиканың негізгі тарауларымен оның қолданыстарымен студенттерді таныстыру, оларды басқа пәнді қабылдауда теориялық және практикалық жүзінде дайындау. Бұл курсты оқу барысында мынадай дискретті обьектілермен - бульдік функциялар, тұжырым алгебра формуласы. Тьюринг машинасы, рекурсивтік функциялар, графтар және торлармен жұмыс істеуге дағдыланады, кодтау теориясы проблемасы көрінісі қалыптасады.

Пәнді оқытудың міндеттері: математикалық логика және дискреттік математика, алгоритм теориясы әдістерін меңгеру, граф теориясы, кодтау теориясының негізгі ұғымдарымен таныстыру.

Күтілетін нәтижелер: Математикалық логика пәнін оқыту нәтижесінде студенттер айтылымдар және предикаттар алгебралары комбинаторика, буль функциялары, графтар, кодтау теорияларының негізгі ұғымдарын және әдістерін білуге тиісті.

Курста қарастырылатын теоремаларды, дәлелдеу, формулаларды қорыту, математикалық ұғымдарды формальді тіл арқылы сипаттау, алған білімдерін математиканың басқа салаларында: «Теориялық информатика», «Жасанды ақыл-ой теориясында», «логикалық бағдарламалауда» және т.б. қолдана білуге тиісті. Буль функциялары жүйелерінің толықтығын іс жүзінде тексере білу, сипаттамалары бойынша Буль функцияларын құру, математикалық формулаларды формальді тілде жазу, әртүрлі қасиеттерді шекті графтарда тексеру, ақпараттарды кодтауда стандартты әдістерін қолдану, қарапайым сөйлемдер мен қасиеттерді өз бетінше құруға және дәлелдеуге тиісті.

Бағдарлама жетекшісі: аға оқытушы Капарова Р.М.