№
|
Сабақ
түрі
|
Пәннің мазмұны
|
Сағат саны
|
Әдеб-иет-р
|
1 апта: Кіріспе. Математикалық логика.
|
|
1
|
Лек
|
1. Тұжырымдар .
2.Күрделі тұжырымдар.
3. Логикалық амалдар.
4 .Эквиваленттіктер.
| 2 | [1-5] |
Сем (пр)
|
Тұжырымдар және олардың қасиеттері.
Күрделі тұжырымдар. Мысал-мәселелер шешу.
Логикалық амалдар. Мысал-мәселелер шешу.
Күрделі логикалық тұжырымдарға мәселелер құрастыру
Эквиваленттіктерге мысалдар құрастыру
| 2 | [1-5, 8-10] |
БӨЖ
|
1.Пәннің келіп шығу тарихына шолу сұхбат.
2.Пән бойынша қолданылатын әдебиеттерді талқылау.
3.Лекция және практика сабақтарындағы жауапсыз қалған сұрақтарды талқылау.
4.Жеке тапсырмалар беру.
5.Семестрде студенттерге қойылатын талаптарды түсіндіру .
| 8 | [1-10] |
2 апта: Тұжырымдар алгебрасы.
|
|
2
|
Лек
|
1.Тұжырымдардың Буль алгебрасы .
2. Жетілдірілген формалар.
3. Логикалық амалдардың толықтығы .
4. Тұжырымдар логикасының формулаларын қолдану
| 2 | [2-4] |
Сем (пр)
|
Тұжырымдардың Буль алгебрасы . Мысал-мәселелер шешу.
Жетілдірілген формалар. Мысал-мәселелер шешу.
.Логикалық амалдардың толықтығы . Мысал-мәселелер шешу.
Қолдану бағыттарына мәселелер құрастыру.
| 2 | [2-4, 7-9] |
БӨЖ
|
1.Математикалық логика тарихына шолу сұхбат.
2.Пән бойынша қолданылатын көрнекті құралдарды талқылау.
3.Лекция және практика сабақтарындағы жауапсыз қалған сұрақтарды талқылау.
4.Жеке тапсырмалар беру.
5.Семестрде студенттерге қойылатын талаптарды орындау -сұхбат.
6.. СӨЖ тапсырмаларын талқылау.
| 8 | [1-10] |
|
