Дискрет тузилмалар

9-10-мавзу. Комбинаториканинг асосий қоидалари. Такрорий бўлмаган ўринлаштириш, ўрин алмаштириш ва гуруҳлашлар
Комбинаториканинг 1-қоидаси, Комбинаториканинг 2-қоидаси. Тартибланган ва тартибланмаган танлашлар. Комбинаторика элементлари: ўринлаштириш, ўрин алмаштириш ва гуруҳлашлар сони. Гуруҳлаш қоидалари. Мисоллар. Ньютон биноми. Биномиал коэффиециентларнинг хоссалари.


11-12-мавзу. Такрорий ўринлаштириш, ўрин алмаштириш ва гуруҳлашлар
Такрорий ўринлаштириш, такрорий ўрин алмаштириш ва такрорий гуруҳлашлар. Уларнинг формулалари. Такрорий ўринлаштириш, такрорий ўрин алмаштириш ва такрорий гуруҳлашларга доир мисоллар.


13-мавзу.Буль алгебраси. Мулоҳаза тушунчаси. Мулоҳазалар устида иккилик мантиқий амаллар.Буль функциялари. Буль айниятлари. Формулаларнинг тенг кучлилиги
Буль алгебраси. Мулоҳаза тушунчаси. Мулоҳазалар устида иккилик мантиқий амаллар. Содда ва мураккаб мулоҳазалар. Мулоҳаза ўзгарувчилари. Асосий мантиқий боғлиқликлар. Конъюнкция, дизъюнкция, инкор, импликация, эквивалентлик амаллари
14-мавзу. Буль функциялари. Формулаларнинг тенг кучлилиги. Предикатлар. Умумийлик ва мавжудлик кванторлари
Буль функциялари. Формулалар. Формулаларнинг тенг кучлилиги. Предикатлар. Умумийлик ва мавжудлик кванторлари


15-мавзу.Мантиқ қонунлари. Мантиқ функциялари учун ростлик жадвалини тузиш
Мантиқ қонунлари. Мантиқ функциялари учун ростлик жадвалини тузиш Ростлик жадвали бўйича мантиқ функцияларининг кўринишини тиклаш


16-мавзу. Нормал шакллар. Мукаммал нормал шакллар. Ростлик жадваллари бўйича мантиқ функцияларининг кўринишини тиклаш
Буль функциялари учун дизъюнктив ва конъюнктив нормал шакллар (ДНШ, КНШ). Мукаммал дизъюнктив ва мукаммал конъюнктив нормал шакллар(МДНШ, МКНШ)