Жұмыс бағдарламасы «Математикалық логика және дискретті математика»

ПӘНДЕРДІҢ ОҚУ-ӘДІСТЕМЕЛІК КЕШЕНІ

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

5В010900 «Математика» мамандығы үшін

Семей

1 ӘЗІРЛЕНГЕН

Накишбекова К. М., «Жоғары математика» кафедрасының доцент

1. 
   Жалпы ережелер
   
2. 
   Пәндерді оқып-білу жөніндегі әдістемелік ұсынымдар
   
3. 
   Курс форматы және саясаты
   
4. 
   Баға қоюдың саясаты
   
5. 
   Пәндердің мазмұны және сабақ түрлері бойынша сағаттарды бөлу
   
6. 
   СОӨЖ және СӨЖ мазмұны
   
7. 
   Пән бойынша оқу үрдісінің күнтізбелік кестелері
   

1 ЖАЛПЫ ЕРЕЖЕЛЕР

1.1 Оқытушы және пән туралы жалпы мәліметтер

Нақышбекова Ғ.М., доцент

«Жоғары математика» кафедрасы

Байланыс ақпараты – оқу ғимараты № 1, кабинет № 506

Сабақ өткізу орны – дәрісхана № 504

Берілген пән бойынша кредит саны – 3

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

1.3 Аталмыш курстың мақсаты - студенттерді дискретті математиканың негізгі бөлімдері және олардың қолдануларымен таныстыру, басқа пәндерді меңгеруге теориялық және тәжрибелік тұрғыдан дайындау. Осы курсты оқыту кезінде студенттер Буль функциялары, айтылымдар алгебрасының формулалары, комбинаторикалық алгоритмдер, графтар мен желілер сияқты дискретті объектілермен жұмыс істеуге дағдыланады, одан басқа олардың кодтау теориясының мәселелері туралы көз – қарастары қалыптасады.

1.4 Пәндерді оқып-білудің негізгі міндеті – осы әзірленіп отырған жұмыс бағдарламасында көрсетілген барлық тақырыптарды, онымен байланысты түгел теориялық және практикалық мәселелерді оқып үйрену, сөйтіп жоғары да көрсетілген мақсатқа қол жеткізу болып табылады.

1.5. Оқып-білудің нәтижесінде студент мыналарды:

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

1.7.1 Математикалық логика курсы алгебра және сандар теориясы, геометрия курстарымен байланысты

1.8 Курстың постреквизитері:

1.8.1 Алгоритмдер теориясы”, “ЭЕМ және бағдарлау”, Логикалық бағдарлау” “Информатиканың теориялық негіздері”, “Жасанды ақыл-ой”.

3 ПӘНДЕРДІ ОҚЫП-БІЛУ ЖӨНІНДЕГІ ӘДІСТЕМЕЛІК ҰСЫНЫМДАР

Тақырыпқа сәйкес оқулық таңдап алудың маңызы зор. Бір мезгілде бірнеше оқулық таңдап алудың еш орыны жоқ. Ұсынылған әдебиеттер тізімінен біреуі негізгі болып таңдап алынады. Басқа оқулықтар мен оқу – құралдарын негізгі әдебиетте материалдар жеткіліксіз болғанда ғана қолдануға болады.

Курсты бағдарламаны басшылыққа ала отырып, тақырып бойынша меңгереді. Оқыған теорияны практикалық есептерді шығаруда қолдана білгенде ғана оқу материалы меңгерілген болып есептеледі.
4 КУРС ФОРМАТЫ ЖӘНЕ САЯСАТЫ

• 
  Оқу элементтері – дәріс, машықтану сабағы, СОӨЖ, СӨЖ. Бақылау формалары – аралық, ағымдық бақылау. Әр кредит – аралық аттестатция арқылы ұйымдастырылады. Қорытынды бақылау формасы – емтихан.
  

- сабақты жібермеу;

- сабаққа кешікпей келу;

- сабақ үстінде сөйлеспеу;

- сабақ үстінде сағыз шайнамау;

- үй тапсырмаларын уақытында орындау;

- сабақ үстінде ұялы телефонды қолдануға болмайды;

- себепті жағдаймен қатыспаған сабағын (деканаттың рұқсатымен)

қайта тапсыруы тиіс;

- өз бетінше кітапханада және үйде дайындық жасау керек;

- оқу үрдісіне белсенді қатысу және т.с.с.
6 БАҒА ҚОЮДЫҢ САЯСАТЫ
Пән бойынша емтихан бағасы аралық аттестация қорытындысы (60%) мен межелік бақылау қорытындысының (40%) жоғары үлгерім көрсеткіштерінің қосындысы ретінде анықталады және 100 % болады. Бағалау жүйесі:

Әріптік жүйе бойынша бағалануы	Балдардың сандық эквиваленті	Балдары %	Дәстүрлі жүйе бойынша бағалануы
A	4,0	95-100	Өте жақсы
A-	3,67	90-94
B+	3,33	85-89	Жақсы
B	3,0	80-84
B-	2,67	75-79
C+	2,33	70-74	Қанағаттанарлық
C	2,0	65-69
C-	1,67	60-64
D+	1,33	55-59
D	1,0	50-54
F	0	0-49	Қанағаттанарлықсыз

1. 
   Қ.Нұрсұлтанов. Математикалық логиканың бастамалары. 1,2 бөлімдер.- Алматы: Республикалық баспа кабинеті, 1994. -198 бет; 1995. -173 бет.
   
2. 
   Қ.Нұрсұлтанов. Дискретті математикалық логика. Семей: Шәкәрім атындағы СМУ, 2002. -328 бет.
   
3. 
   В.И.Игошин. Задачник-практикум по математической логике. - М.: Просвещение, 1986 г. -159 с.
   
4. 
   В.И.Игошин . Математическая логика и теория алгоритмов. - Саратов, 1991.
   
5. 
   М.Е.Драбкина. Логические упражнения по элементарной математике. Минск: Высшая школа, 1965. -160 с.
   
6. 
   С.Д.Шапорев. Математическая логика. Курс лекций и практических занятий. Санкт-Петербург: БХВ-Петербург, 2005.
   
7. 
   А.Н.Колмогоров, А.Г.Драгалин. Введение в математическую логику. М.: Изд МУ, 1982.
   
8. 
   Е.Шаханов. Логикадан жаттығулар жинағы. Астана: Фолиант, 1999.
   
9. 
   С.Г.Гиндикин. Алгебра логики в задачах. М.: Наука, 1973.
   
10. 
    Н.Г.Хисамиев, Б.С.Каленова. Математикалық логика негіздері. Өскемен, 2000.
    
11. 
    С.И.Коваленко. Решение задач математической логики с использованием элементарной алгебры. М.: Физматлит, 2004.
    
12. 
    А.С.Милославов, Ю.П.Роговой. Сборник упражнений по логике. Санкт-Петербург, 2006.
    
13. 
    Ю.Л.Ершов, Е.А.Палютин. Математическая логика. М.: Наука, 1987.
    
14. 
    И.Л.Никольская. Знакомство с математической логикой. М., 1998.
    
15. 
    Р.Л.Густейн. Математическая логика. Перевод с английского В.С. Чернявского. М., 1961.
    
16. 
    Л.А.Калужнин Что такое математическая логика. М.: Наука, 1964.
    
17. 
    А.Гжегорчик. Производная логика. Перевод с польского. М., 1965.
    
18. 
    О.М.Жолымбаев, Г.Е.Берікханова. Элементарлық математика. Семей, 2010. -311 бет.
    
19. 
    А.М.Пышкало, Л.П.Стойлова и др. Математика бастауыш курсының теориялық негіздері. А.: Мектеп, 1984. -360 бет.
    
20. 
    «Математика», «Информатика». «физика» жалпы білім беретін орта мектеп оқулықтары.
    
21. 
    С.Клини. Математическая логика.Пер.с англ. Ю.А.Гастева. М. «Мир»-1973.