3. mavzu mantiqiy amallar, mavjudlik va ihtiyoriylik kvanto’rlari

3.MAVZU

MANTIQIY AMALLAR, MAVJUDLIK VA IHTIYORIYLIK KVANTO’RLARI.

3.1. O’quv mashg’ulotining ta’lim texnologiyasi modeli

O’quv soati: 2 soat.	O’quvchilar soni:30 ta
O’quv mashg’ulorining shakli	Nazariy –toliq mashgulot.
Ma’ruza mashg`ulotining rejasi.	1. Mulohaza, ular ustida mantiq amallari. 2. Predikat, ular ustida mantiq amallari. 3. Predikatli formula, turlari. 4. Kvantorlar.
O`quv mashg`ulotining maqsadi: Matematik mantiq asosiy tushunchalari yordamida matematik tasdiqlarni mantiqiy tahlil qilish to`g`risida bilimlarni hamda to`liq tasavvurni shakllantirish.
Pedagogik vazifalar: -matematik mantiq fanining matematikani o`rganishdagi o`rnini yoritish; - matematik mantiqning asosiy tushunchalarini bayon etish; -matematik tasdiqlarni predikatlar algebrasi tilida yozish, formulalarni to`g`ri o`qish qoidalari haqida tasavvur hosil qilish.	O`quv faoliyatining natijalari: -mulohaza, kon'yunksiya, diz'unksiya, implikasiya, ekvivalensiya, inkor, mulohazaviy formula, aynan rost formula, aynan yolg`on formula, bajariluvchi formula, matematik mantiq qonuni, predikat, predikatning qiymatlar sohasi, predikatning rostlik sohasi, kvantorlar, predikatli formula, tushunchalari; -rostlik jadvali asosida formulaning turini aniqlash, bir, ikki, uch o`rinli predikatlardan kvantorlar yordamida mulohazalar hosil qilish, matematik tasdiqlarni predikatlar tilida yozish haqida tasavvurga ega bo`ladi.
Ta’lim metodlari:	Ma'ruza, muammoli holatlarni yechish, klaster, BBB jadval, asosiy Tushunchalar jadvali.
Ta’lim vositalari:	Proektor, tarqatma material, ma'ruza matni, mustaqil ishlar to`plami, grafik organayzerlar, doska, bo`r.
O’qitish shakllari:	Individual, frontal, jamoa va juftlikda ishlash.
O’qitishning shart sharoitlari:	Proektor va kompyuter, doska bilan ta'minlangan auditoriya.
Qaytar aloqa usul va vositalari	Og’zaki nazorat: Savol-javob, blis-so`rov, Yozma hazorat: amaliy vazifalarni bajarish.