11-мавзу. Мулоҳазалар хисоби. Келтириб чикариш. Исбот тушунчаси. Теорема тушунчаси. L назария, L назария аксиомалари, дедукция теоремаси. Назария, назариянинг тўлиқлиги, зидиятлилик, зиддиятсизлик. Аксиоматик назария, аксиома, келтириб чиқариш, исбот, теорема, мулоҳазалар ҳисоби.
12-мавзу. Мулоҳазалар ҳисобининг аксиомалари. Дедукция теоремаси. Бул функциялари, элементар бул функциялари, жалвал усули, бул функциялар сони.
13-мавзу. Асосий келтириб чиқариладиган формулалар. Ҳосилавий келтириб чиқариш қоидалари. Нормал формалар, ўзгарувчилар бўйича ёйиш теоремаси. Келтириб чиқариш, исбот, теорема, мулоҳазалар ҳисоби.
14-мавзу. Мос келтириб чиқариш хақида лемма. Тўлиқлик хақида Гёдел теоремаси. Мос келтириб чиқариш хақида лемма. Тўлиқлик хақида Гёдел теоремаси.
15-мавзу. Мулоҳазалар ҳисобининг зиддиятли эмаслиги. Мулоҳазалар ҳисоби аксиомалари системасининг эркинлиги. Тўлиқ системалар, ўзгарувчилар бўйича ёйиш теоремаси. Жегалкин кўпҳади, Жегалкин теоремаси.
Маъруза мавзуларининг соатлар бўйича тақсимланиши
-
№
|
Маърузалар мавзулари
|
Соат
|
1 -семестр
|
1
|
Тўпламлар ва улар устида амаллар. Муносабатлар. Бинар муносабатлар. Функция.
|
2
|
2
|
Махсус бинар муносабатлар.
|
2
|
3
|
Эквивалентлик муносабати. Тартибланган тўпламлар.
|
2
|
4
|
Ординал ва кардиналлар. Кантор теоремаси.
|
2
|
5
|
Мантиқий боғловчилар Мулохазалар алгебраси.
|
2
|
6
|
Чинлилик жадвали. Формула, қисм формула.
|
2
|
7
|
Тавтология. Тавтология хақидаги теоремалар.
|
2
|
8
|
Формулаларнинг тенг кучлилиги. Қўшма формулалар.
|
2
|
9
|
Мукаммал дизъюнктив ва конюнктив нормал формалар.
|
2
|
10
|
Мулохазалар алгебраси формулаларининг татбиқлари.
|
2
|
11
|
Мулоҳазалар хисоби. Келтириб чикариш. Исбот тушунчаси. Теорема тушунчаси.
|
2
|
12
|
Мулоҳазалар ҳисобининг аксиомалари. Дедукция теоремаси.
|
2
|
13
|
Асосий келтириб чиқариладиган формулалар. Ҳосилавий келтириб чиқариш қоидалари
|
2
|
14
|
Мос келтириб чиқариш хақида лемма. Тўлиқлик хақида Гёдел теоремаси.
|
2
|
15
|
Мулоҳазалар ҳисобининг зиддиятли эмаслиги. Мулоҳазалар ҳисоби аксиомалари системасининг эркинлиги.
|
2
|
|
|
Do'stlaringiz bilan baham: |
