Мавзуни номи


Predikat tushunchasi. Predikatlar ustida mantiqiy amallar


Download 18.7 Kb.
bet4/5
Sana22.06.2023
Hajmi18.7 Kb.
#1648286
1   2   3   4   5
Bog'liq
сирткилар учун мустакил ишлари дис мат

Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Predikat, ular ustida amallar, misollar, predikatlar algebrasi. Натурал сонлар назарияси. Гёделнинг туликсизлик хакидаги теоремаси







19

Umumiylik va mavjudlik kvantorlari. Cheklangan kvantorlar. Mantiqiy kvadrat. Kvantorlar, umumiylik va mavjudlik kvantorlari. Дедукция теоремаси







20

Predikatlar algebrasining formulalari. Bajariluvchi, rad etiluvchi formulalar, Aynan rost, aynan yolg’on formulalar. Мулохазалар хисобида ечилиш, зидсизлик, туликдилик ва эркинлик муаммолар







21

Predikatlar algebrasida formulalarning teng kuchliligi. Teng kuchli formulalar, asosiy teng kuchliliklar. Мулохазалар алгебраси ва мулохазалар хисоби орасидаги муносабатла







22

Formulalarning normal kanonik formalari. Normal kanonik formalar, unga keltirish usullari, asosiy teoremalar. Формулалар мажмуасидан формулани келтириб чикариш коидаси. Келтириб чикариш (исботлаш) тушунчаси. Дедукция теоремаси. Умумлашган дедукция теоремаси







23

Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar. Asosiy kombinatsiyalar, kombinatorikaning klassik masalalari, asosiy prinsplar. Такрорий камбинаторика элементлари







24


Download 18.7 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling