Across
- 3. Post qaysi matematik tushunchani isbotladi?
- 4. Kvantorlar mantiqda qanday rol o‘ynaydi?
- 5. DNF qanday formulani bildiradi?
- 7. tupikni yuzaga kelishining nechta asosiy sharti mavjud?
- 8. Formulalarning kanonik formasi nechta turi bor?
- 9. Qaysi olim aksiomatik tizimni kengaytirdi?
- 11. Deduksiya nima?
- 13. Yopiq sinfda nimalar o‘rganiladi?
- 20. Formulalarning normal formasi qaysi mantiq turida ishlatiladi?
- 21. Deduktiv dalillashda zaruriy bo‘lgan narsa nima?
- 22. Deduksiya qaysi xulosani taqdim etadi?
- 23. Postning isboti qanday mulohazaga asoslangan?
- 25. Post teoremasi qaysi usul bilan tekshiriladi?
- 26. Karnaugh jadvalida bitta kvadrat nimani ifodalaydi?
- 33. tupik (deadlock)qanday holatda yuzaga keladi?
- 35. Matematikada lemmalar nima uchun ishlatiladi?
- 37. Qanday mulohaza Post teoremasida ko‘riladi?
- 38. Deduktiv mantiqni asoschisi kim?
- 39. tupikdan chiqishning asosiy strategiyasi nima?
- 43. To'plamni to'liq tartiblangan qiluvchi qo'shimcha shat nima?
- 44. Kanonik formalarning asosiy maqsadi nima?
- 46. hamma elementlar bog;liq bolgan to'plam qanday tartiblanadi?
- 50. Minimallashtirishning asosiy qoidasi nima?
- 51. tupikdan chiqish uchun resurslar qanday boshqariladi?
- 52. minimallashtirishning asosiy maqsadi nima?
- 57. Matematikada aksiomalar qanday beriladi?
- 58. qisman tartiblangan to'plamda maksimal element nima?
- 59. Qaysi aksioma geometriya uchun asosiy?
- 60. Deduksiya asosida qaysi yo‘l topiladi?
Down
- 1. Formulalarning soddalashtirish usuli nima?
- 2. minimal element nima?
- 6. Post teoremasi nimani aniqlaydi?
- 10. Karnaugh jadvalida guruhlashda bitta guruh nechta kvadratni o‘z ichiga olishi mumkin?
- 12. Minimallashtirish natijasida hosil bo‘ladigan ifoda qanday?
- 14. "Yopiq sinf" tushunchasi qaysi sohada ishlatiladi?
- 15. Lemmalar qaysi matematik usulda muhim?
- 16. Formulalarning normallashtirish usuli qayerda qo‘llanadi
- 17. Aksiomalar qaysi fan asosida qo‘llaniladi?
- 18. Post teoremasi qaysi matematikaga tegishli?
- 19. Tizimning cheklanganligini aniqlovchi asosiy narsa nima?
- 24. antisimmetiklik sharti qanday
- 27. Matematikada asosiy aksioma kim tomonidan kiritilgan?
- 28. Aksiomatik tizimlarning to‘liqligi qanday tekshiriladi?
- 29. har bir resurs faqat bir jarayonga biriktirilishi qanday shart?
- 30. Minimallashtirishda foydalaniladigan algebra qaysi?
- 31. . Qaysi fan yopiq sinf tushunchasi bilan bog‘liq?
- 32. har bir element o'ziga mos bo'lishi qaysi xususiyat?
- 34. Boole funksiyasini minimallashtirishda qaysi diagramma ishlatiladi?
- 36. tupikdan qochish uchun resurslardan foydalanish qanday tartiblanadi?
- 40. Mantiqiy kvadratda nechta asosiy muloqot bor?
- 41. Aksiomalarni tasdiqlovchi tushuncha nima?
- 42. Aksiomatik tizimlar necha qismdan iborat?
- 45. Rassionalistik aksiomani kim ishlab chiqqan?
- 47. eng katta va maksimal element orasidagi farq bormi?
- 48. Normal forma qanday xususiyatga ega?
- 49. Cheklanganlikni isbotlashda Post nimani ishlatadi?
- 53. Kvantorlar mantiqda qanday rol o‘ynaydi?
- 54. kNF qanday formulani bildiradi?
- 55. Deduksiya tahlilida nimalar qo‘llanadi?
- 56. Boolean algebra kim tomonidan ishlab chiqilgan?