Tarmoq texnologiyalari

6.5.2.2 Математик мантиқ ва дискрет математика:

математик мантиқ предмети ва унинг математикани асослашдаги ўрни. Мулоҳазалар алгебраси. Мулоҳазалар алгебрасининг формулалари. Формуланинг ростлик қийматлари. Тенг кучли формулалар. Мантиқ қонунлари.

Мулоҳазалар ҳисоби, унинг аксиомалар системаси. Келтириб чиқариш қоидалари. Дедукция теоремаси.

Предикатлар ва кванторлар. Предикатлар мантиқининг тили. Биринчи тартибли тил. Тенг кучли предикатли формулалар. Математик тасдиқларни предикатлар тилида ёзиш. Рекурент муносабатлар. Рекурент муносабатларни ечиш усуллари. Бутун сонли функциялар. Ньютон биноми. Биномиал коэффициентлар. Полиномиал формула. Графлар назариясининг асосий тушунчалари. Математик мантиқ ва дикрет математиканинг техникага ва педагогикага татбиқлари.