II. Асосий назарий қисм (маъруза машғулотлари)
II.I. Фан таркибига қуйидаги мавзулар киради:
1-мавзу. Тўпламлар ва улар устида амаллар. Муносабатлар. Бинар муносабатлар. Функция.
Тўпламлар ва улар устида амаллар бирлашма, кесишма, универсал тўплам, тартибланган жуфтлик, декарт кўпайтма. Муносабат, бинар муносабат, муносабатлар устида амаллар,
2-мавзу. Махсус бинар муносабатлар.
Муносабат, бинар муносабат, муносабатлар устида амаллар яьни махсус бинар муносабатлар. Рефлексивлик, симметриклик, транзитивлик, эквивалентлик, қисман тартиб.
3-мавзу. Эквивалентлик муносабати. Тартибланган тўпламлар.
Эквивалентлик муносабати. Муносабатлар Тартибланган тўпламлар, қисман тартиб. Мулоҳаза, мантиқий амаллар, формула, қисм формула.
4-мавзу. Ординал ва кардиналлар. Кантор теоремаси.
Ординаллар хақида маьлумотлар ва кардиналлар. Кантор теоремаси, Мулоҳаза, мантиқий амаллар, формула, қисм формула.
5-мавзу. Мантиқий боғловчилар. Мулохазалар алгебраси. Мантиқий боғловчилар. Мулохазалар алгебраси. Тенг кучлилик, тенг кучли алмаштиришлар.
6-мавзу. Чинлилик жадвали. Формула, қисм формула.
Келтирилган формулалар, мантиқий амаллар, Мулоҳаза, мантиқий амаллар, формула, қисм формула. Тўлиқ система
7-мавзу. Тавтология. Тавтология хақидаги теоремалар.
Тавтология, Тавтология хақидаги теоремалар. Мулоҳазалар алгебраси татбиқлари, реле-контакт схемалари
8-мавзу. Формулаларнинг тенг кучлилиги. Қўшма формулалар.
Тенг кучлилик, тенг кучли алмаштиришлар. Бул функциялар системаси устида формула тушунчаси, функциялар реализацияси, тенг кучли формулалар, дуал формулалар, дуаллик принципи.
9-мавзу. Мукаммал дизъюнктив ва конюнктив нормал формалар. Дизъюнкти нормал формалар, конъюнктив нормал формалар, мукаммал нормал формалар. Мукаммал дизъюнктив ва конюнктив нормал формалар.
10-мавзу. Мулохазалар алгебраси формулаларининг татбиқлари. Мулоҳазалар алгебраси татбиқлари, реле-контакт схемалари. Мулохазалар алгебраси формулаларининг татбиқлари.
Do'stlaringiz bilan baham: |
