- •«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені « 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 Бөлім. АЙТЫЛЫМДАР |
|||
2.тақырып |
Пікірлер. Логикалық операциялар |
Пікірлер. Логикалық операциялар |
2 |
2 |
3.тақырып |
Формула ұғымы. Формулардың ақиқаттық кестелері |
Айтылымдар алгебрасының формулалары.Логикалық амалдардың кестелік берілуі |
2 |
3 |
4. тақырып |
Тепе-тең ақиқат, тепе- тең жалған және орындалатын формулалар.Логика заңдары.Эквивалент формулалар |
Тепе-тең ақиқат, тепе- тең жалған және орындалатын формулалар.Логика заңдары.Эквивалент формулалар |
4 |
4-5 |
5.тақырып |
Логикалық операцияларды талдау |
Логикалық операцияларды талдау |
2 |
6 |
6.тақырып |
Пікірлер алгебрасының қолданысы |
Пікірлер алгебрасының қолданысы |
2 |
7 |
7.тақырып |
Логика операцияларының арифметикасы |
Логика операцияларының арифметикасы |
2 |
8 |
|
3 Бөлім. ПРЕДИКАТТАР АЛГЕБРАСЫ |
|||
8.тақырып |
Предикаттар ұғымы |
Предикат ұғымы. |
2 |
9 |
9.тақырып |
Предикаттық формулалар |
Предикаттар алгебрасының формулалары |
2 |
10 |
10.тақырып |
Жалпылық және бар болу кванторлары. Кванторларды терістеу. |
Квантор ұғымы. Кванторларды терістеу |
2 |
11 |
11.тақырып |
Предикаттық формулалардың ақиқаттық аймағы және пара-парлығы |
Предикаттық формулалардың ақиқаттық аймағы және пара-парлығы |
2 |
12 |
|
4 Бөлім. КОМБИНПТОРИКА НЕГІЗДЕРІ |
|||
12. тақырып
|
Комбинаториика элементтері. Математикалық индукция әдісі. Ньютон биномы. |
Комбинаториика элементтері. Математикалық индукция әдісі. Ньютон биномы. |
2 |
13 |
|
5 Бөлім. ГРАФТАР ТЕОРИЯСЫНЫҢ НЕГІЗДЕРІ |
|||
13. тақырып
|
Граф.Бағытталған және бағытталмаған графтар. Графтардың берілу тәсілдері. Маршрут. |
Граф.Бағытталған және бағытталмаған графтар. Графтардың берілу тәсілдері. Маршрут. |
2 |
14 |
|
6 Бөлім. КОДТАУ ТЕОРИЯСЫНЫҢ ЭЛЕМЕНТТЕРІ |
|||
14. тақырып |
Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы. |
Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы. |
2 |
15 |
|
Барлығы |
30 |
15 |
|