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
|
|
Do'stlaringiz bilan baham: |
