Mulohaza mulohazalar ustida mantiqiy amallar namunaviy misol va masala hamda uning yechimi amaliy topshiriqlar


Download 25.5 Kb.
Sana04.05.2023
Hajmi25.5 Kb.
#1425265
Bog'liq
amaliy mashg\'ulot mavjudlari


  1. Mulohaza. mulohazalar ustida mantiqiy amallar. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  2. Mantiq algebrasining funksiyalari va ularning xossalarini o’rganish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  3. Formulalarning normal shakllarini keltirib chiqarish jarayonini o’rganish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  4. Ikkitaraflama prinsipning mohiyatini o’rganish va uning tatbiqlari. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  5. Monoton va chiziqli funksiyalar xossalarini o’rganish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  6. Funksiyalar sistemasining to’liqligini tahlil qilish. post teoremasining tatbiqini o’rganish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  7. Funksional elementlar va ulardan sxemalar yasash. kontaktli sxemalarni sintez qilish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  8. Qisqartirilgan DNSHni aniqlashning klassik algoritmlari bo’yicha amaliyot. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  9. Qisqartirilgan DNSHni aniqlashning sonli usullari. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  10. Tupikli DNSHlarni aniqlash algoritmlari. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  11. Predikatlar ustida mantiqiy amallar. chinlik sohalarini ifodalash usullari. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  12. Kvantorlar va ularning xossalari. predikat formulalarining deyarli normal formasi. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  13. Formulalarning umum qiymatliligini tekshirish amallari. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  14. Tyuring mashinasi yordamida algoritmlarni ifodalash va dasturlashtirish. namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

  15. Tyuring mashinalari ustida bajariladigan murakkab amallar.namunaviy misol va masala hamda uning yechimi. amaliy topshiriqlar.

Download 25.5 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling