- •«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені « 5в0109 -математика»
- •Пәннің оқу-әдістемелік кешенінің мазмұнының тізімдемесі
- •Студенттерге арналған пән силлабусы
- •2.Пәннің қысқаша сипаттамасы
- •3.Пән пререквизиттері:
- •4.Пән постреквизиттері:
- •6. Оқытуға арналған әдебиеттер (10 әдебиеттен артық емес)
- •7. Бағалау критерийі
- •8.Оқытушы саясаты (студенттің этикасы).
- •Карта учебно-методическая обеспеченность
- •2013/2014 Учебный год
- •«Математикалық логика және дискреттік математика»
- •Жұмыс оқу бағдарламасы
- •1. Пәннің қысқаша сипаттамасы.
- •Пререквизиттер тізімі
- •2. Пән мазмұны
- •2.1.Дәрістік курс
- •2.2.Практикалық сабақтар
- •2.3. Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары
- •Студенттердің өзіндік жұмысы
- •Пән бойынша оқу-әдістемелік материалдар
- •3.1.Ұсынылатын әдебиеттер тізімі
- •3.2. Емтиханға дайындалуға арналған сұрақтар
- •Дәрістер тезистері
- •Алфавиттік кодтау.
- •Алгорифмдердің композициясы. Марков алгорифмдердің таралуы және бірігуі. Басқарушы алгорифм. Марковтың тармақталатын алгорифмі. Есептелнтін функциялар.
- •23,24,25,26 - Дәрістер
- •1. Тұжырымдар мен тұжырымдар формасы.
- •Практикалық сабақтар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары (соөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің өзіндік жұмыстары (сөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Өзін-өзі тексеруге және емтиханға дайындалуға арналған Тест тапсырмалары
- •Әдебиеттер
2.2.Практикалық сабақтар
№№ п.п. |
Сабақтардың аттары және мазмұны |
Сағат саны
|
Семестр аптасы |
1.тақырып |
Жиын. Жиындарға амалдар қолдану, қасиеттері |
1 |
1 |
2.тақырып |
Пікірлер. Логикалық операциялар |
1 |
2 |
3.тақырып |
Формула ұғымы. Формулардың ақиқаттық кестелері |
1 |
3 |
4.тақырып |
Тепе-тең ақиқат, тепе- тең жалған және орындалатын формулалар.Логика заңдары.Эквивалент формулалар |
2 |
4-5 |
5.тақырып |
Логикалық операцияларды талдау |
1 |
6 |
6.тақырып |
Пікірлер алгебрасының қолданысы |
1 |
7 |
7.тақырып |
Логика операцияларының арифметикасы |
1 |
8 |
8.тақырып |
Предикаттар алгебрасы |
1 |
9 |
9.тақырып |
Предикаттық формулалар |
1 |
10 |
10.тақырып |
Жалпылық және бар болу кванторлары. Кванторларды терістеу. |
1 |
11 |
11.тақырып |
Предикаттық формулалардың ақиқаттық аймағы және пара-парлығы |
1 |
12 |
12.тақырып |
Комбинаториика элементтері. Математикалық индукция әдісі. Ньютон биномы. |
1 |
13 |
13.тақырып |
Граф.Бағытталған және бағытталмаған графтар. Графтардың берілу тәсілдері. Маршрут. |
1 |
14 |
14.тақырып |
Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы. |
1 |
15 |
Барлығы |
15 |
15 |
|
2.3. Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары
№№ п.п. |
Сабақтардың аттары және мазмұны |
Сағат саны
|
Семестр аптасы |
1.тақырып |
Жиын. Жиындарға амалдар қолдану, қасиеттері |
1 |
1 |
2.тақырып |
Пікірлер. Логикалық операциялар |
1 |
2 |
3.тақырып |
Формула ұғымы. Формулардың ақиқаттық кестелері |
1 |
3 |
4.тақырып |
Тепе-тең ақиқат, тепе- тең жалған және орындалатын формулалар.Логика заңдары.Эквивалент формулалар |
2 |
4-5 |
5.тақырып |
Логикалық операцияларды талдау |
1 |
6 |
6.тақырып |
Пікірлер алгебрасының қолданысы |
1 |
7 |
7.тақырып |
Логика операцияларының арифметикасы |
1 |
8 |
8.тақырып |
Предикаттар алгебрасы |
1 |
9 |
9.тақырып |
Предикаттық формулалар |
1 |
10 |
10.тақырып |
Жалпылық және бар болу кванторлары. Кванторларды терістеу. |
1 |
11 |
11.тақырып
|
Предикаттық формулалардың ақиқаттық аймағы және пара-парлығы |
1 |
12 |
12.тақырып
|
Комбинаториика элементтері. Математикалық индукция әдісі. Ньютон биномы. |
1 |
13 |
13.тақырып |
Граф.Бағытталған және бағытталмаған графтар. Графтардың берілу тәсілдері. Маршрут. |
1 |
14 |
14.тақырып |
Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы. |
1 |
15 |
Барлығы |
15 |
15 |
|