2-семестр
№
|
Mустақил таълимга оид мавзулар
|
Ҳажми (соатда)
|
1
|
Мухим ёпиқ синфлар. Пост теоремаси ва унинг натижалари.
|
18
|
2
|
Ҳисоб тушунчаси. Мулоҳазалар хисоби. Келтириб чикариш. Исбот тушунчаси. Умумлашган Дедукция теоремаси.
|
18
|
3
|
Мулоҳазалар ҳисобининг тўлиқлиги. Мантиқий функция тушунчаси. Предметлар сохаси.
|
18
|
4
|
Ўзгармас предметлар ва ўзгарувчи мулохазалар. Айнан чин формула. Айнан ёлгон формула.
|
18
|
5
|
Алгоритмлар. Алгоритмлар мураккаблиги. Тьюринг машинаси. Примитив рекурсия оператори. Минимизация оператори.
|
18
|
|
ЖАМИ
|
90
|
V. Фан ўқитилишининг натижалари (шаклланадиган компетенциялар)
Фанни ўзлаштириш натижасида талаба:
Дискрит математика ва математик мантиқнинг туб моҳиятини англаб етиш билан бир қаторда математик билимларини АТ соҳасида самарали ишлатиш билан бир қаторда математик логикасини ҳам ривожлантириш.
Дискрет математика ва математик мантиқ фанида тўпламлар назарияси элементлари, муносабатлар, бинар муносабатлар, мулохазалар алгебраси, буль функциялари, Пост теоремалари, мулохазалар хисоби, исбот тушунчаси, “теорема” тушунчаси, предикатлар мантиқи, примитив рекурсив функциялар, қисмий рекурсив функциялар, рекурсив тўпламлар, рекурсив саналувчи тўпламлар тушунчалари ва уларга оид бўлган масалалар бўйича билимга эга бўлишлари керак.
Дискрет математика ва математик мантиқ предметини тинглаган талабалар назарий билимларни пухта ўзлаштирган бўлишлари, мавзуларнинг моҳиятини тушунган бўлишлари ва амалий масалаларни ечишда назарий маълумотларни тадбиқ эта билиш малакаларига ва кўникмаларига эга бўлишидир.
Do'stlaringiz bilan baham: |
