Жұмыс оқу бағдарламасы

Оқу формасы __ күндізгі _______, _____________

^{(күндізгі, сырттай), (ОБ,ОКБ және ППО,ЖБ)}

Факультет _________ физика-математика ______

Кафедра __Математикалық анализ, алгебра және геометрия

Курс ________________3____________________

Семестр _____________5_____________________

Кредиттер саны____________3_______________

Барлық сағат саны_______135_____________

Дәріс ______________30___________________

Зертханалық сабақтар_________15___________

СОӨЖ______________15____________________

СӨЖ ________________30________________

Емтихан ______5____ семестр

Алматы, 2012

Жұмыс оқу бағдарламасы

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

• ҚР БҒМ «_30__» _09______2006_ ж. №_289__ бұйрығымен бекітілген «__________________________________________» пәнінің типтік бағдарламасы (ЖМБС міндетті компоненттерінің пәндері үшін);

• «_01_»______09________ 2010_ж. бекітілген «5В0109 – математика» мамандығы бойынша жұмыс оқу жоспары негізінде дайындалды.

«Математикалық логика және дискреттік математика» пәнінің жұмыс оқу жоспарын аға оқытушы Қапарова Р.М. жазды және МА, АжәнеГ кафедрасының мәжілісінде талқыланды.

«_ 25 »_тамыз 20 ж., хаттама №__

Бағдарламаны жазған ___________________ Капарова Р.М.

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

Жұмыс оқу бағдарламасы __ФМФ________ факультетінің Кеңесімен ұсынылды

«28__»__қазан_2012 ж., хаттама №1

1. Пәннің қысқаша сипаттамасы.

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

Курсты оқытылып болғаннан кейін студенттер мыналарды:

Алгебра логикасының негізгі ұғымдары мен әдістері, предикаттар теориясын, тұжырымдарды есептеу теориясын білуі керек.

Негізгі бағдарламада қарастырылатын формулаларды шығарылуын және теоремаларды дәлелдеуі, берілген оқу әдебиеттерін қолдана білуі, математикалық ұғымдарды сипаттау үшін формальді тілді меңгеруі тиіс.

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

Пререквизиттер тізімі

№	Пән атаулары
1.	Элементар математика

ПОСТРЕКВИЗИТТЕР ТІЗІМІ

№	Пән атаулары
1.	теориялық информатика
2.	жасанды интеллект теориясы
3.	алгоритмдер теориясы
4.	логикалық программалау
5.	информациялық циклге қатысты пәндерге алған білімдері