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

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

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

14-мавзу: Предикатлар. Умумийлик ва мавжудлик кванторлари. Формулалар. Формулаларнинг тенг кучлилиги

Буль функциялари. Формулалар. Формулаларнинг тенг кучлилиги. Предикатлар. Умумийлик ва мавжудлик кванторлари

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


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


17-мавзу. Иккилик мантиқий элементлар. Иккилик мантиқий элементларининг қўлланилиши. Мантиқий схемаларда анализ ва синтез масалалари
Мантиқий формулаларни соддалаштириш. Иккилик мантиқий элементлар. Иккилик мантиқий элементларининг қўлланилиши. Мантиқий схемаларда анализ ва синтез масалалари


18-мавзу. Мантиқий тўрлар.Мантиқ тўрларини минималлаштиришусуллари. Карно карталари
Мантиқий тўрлар.Мантиқ тўрларини минималлаштириш.Иккилик мантиқий амалларига мос схемалар тузиш. Карно карталари
.