Мазкур ишчи фан дастури "Амалий математика ва интеллектуал техналогиялар" факультети Кенгашининг 2022 йил " " даги йиғилишида муҳокама қилиниб, тасдиқлаш учун тавсия этилган.

Жами

16

2. 
   Амалий машғулотлар
   

Талаба амалий машғулотларда мисол ва масалалар ечади. Амалий машғулотларда ечиладиган мисол ва масалалар қуйидаги принципларга асосан танланади: мисол ва масалаларни ечишга малака ҳосил қилдирувчи, фаннинг моҳиятини англатувчи ва мавзулар орасидаги боғлиқликни ифодаловчи маълум миқдордаги мисол ва масалалар танланади.
Амалий машғулотларни ташкил этиш бўйича кафедра профессор-ўқитувчилари томонидан кўрсатма ва тавсиялар ишлаб чиқилади. Маъруза машғулотларида олган билим ва кўникмаларни мисол ва масалалар ечиш билан мустаҳкамлайдилар ҳамда янада бойитадилар. Бунга жамоа бўлиб машқ қилиш йўли билан ва мустақил ишлаш йўли билан эришилади. Мустақил ишлашда дарсликларни, ўқув қўлланмаларни, услубий қўлланмаларни, тарқатма ва кўргазмали ашёларни аҳамияти каттадир.


Амалий машғулотларининг соатлар бўйича тақсимланиши

№	мавзулар	Соат
	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