Ўзбекистон республикаси халқ таълими вазирлиги а. Авлоний номидаги халқ таълими тизими рахбар
5. Matematika kasbiy ishchi dastur 10.11.2022
- Bu sahifa navigatsiya:
- 2-мавзу. Предикат тушунчаси. Бир ўзгарувчили предикатнинг ростлик соҳаси. Предикатлар устида амаллар (2 соат маъруза, 2 соат амалий машғулот).
- 3-мавзу. Тўпламлар ва улар устида амаллар. Бинар муносабатлар (2 соат маъруза, 2 соат амалий машғулот).
| Жами
|
190 |
90 |
|
100 |
1-мавзу. Дарак гап. Мулоҳаза. Мулоҳазанинг ростлик қиймати. Мулоҳазалар устида мантиқ амаллари. Мулоҳазавий формула. Формула ранги, ростлик жадвали. Тенг кучли формулалар (2 соат маъруза, 4 соат амалий машғулот).
Дарак гап. Мулоҳаза. Мулоҳазанинг ростлик қиймати. Мулоҳазалар устида мантиқ амаллари: дизъюнкция, конъюнкция, импликация, эквиваленция, инкор. Мантиқ амалларининг бажарилиш тартиби. Мулоҳазалар алгебраси. Мулоҳазалар алгебраси алфавити. Мулоҳазавий формула. Формула ранги. Формулаости. Формуланинг ростлик жадвали. Айнан рост, айнан ёлғон, бажарилувчи формулалар. Тенг кучли формулалар. Асосий тенгкучлиликлар. Формулаларни тенг кучли алмаштиришлар.
2-мавзу. Предикат тушунчаси. Бир ўзгарувчили предикатнинг ростлик соҳаси. Предикатлар устида амаллар (2 соат маъруза, 2 соат амалий машғулот).
Предикат тушунчаси. Бир ўзгарувчили предикатнинг ростлик соҳаси ва унинг хоссалари. Предикатлар устида амаллар. Предикатларни кванторлар билан боғлаш. Предикатлар алгебрасининг символлари, тили. Предикатлар мантиқида формула тушунчаси. Теорема. Тўғри, тўғрига тескари, тўғрига қарама-қарши, тескарига қарама-қарши теоремалар. Математик тасдиқларни предикатлар тилида ёзиш.
3-мавзу. Тўпламлар ва улар устида амаллар. Бинар муносабатлар (2 соат маъруза, 2 соат амалий машғулот).
Тўплам, тўплам элементи. Тўпламларнинг тенглиги. Қисмтўплам. Бўш тўплам. Универсал тўплам. Тўпламлар устида амаллар ва уларнинг асосий хоссалари. Тўпламнинг тўлдирувчиси. Эйлер-Венн диаграмммалари.
Тўпламларнинг тўғри кўпайтмаси. Бинар муносабатлар. Бинар муносабатлар аниқланиш ва қийматлар соҳаси. Бинар муносабат инверсияси. Рефлексив, антирефлексив, симметрик, антиреклексив, транзитив бинар муносабатлар. n-ар муносабатлар. Бинар муносабатлар композицияси ва унинг хоссалари. Бинар муносабатларни графлар орқали ифодалаш.
Download 215.55 Kb.
Do'stlaringiz bilan baham:
