Дипломдық жұмыс «Пропозициялық логика»

ҚОСЫМША В

«Пропозициялық логика» тақырыбына сұрақтар

1. 
   Логика дербес ғылым ретінде кімдердің еңбектерінде пайда болды?
   
2. 
   Ұсыныс алгебрасын жасаған кім?
   
3. 
   Математикалық логиканың пәні қандай?
   
4. 
   Арифметика мен жиындар теориясын негіздеу үшін математикалық логиканы кім қолданды?
   
5. 
   Қандай ғылым математикалық логика деп аталады?
   
6. 
   Ұсыныс логикасы дегеніміз не?
   
7. 
   Қандай сөйлем сөйлем деп аталады?
   
8. 
   Мәлімдеме қандай мағыналарды қабылдауы мүмкін?
   
9. 
   Қай сөйлемдер сөйлемдерге жатпайды?
   
10. 
    Мәлімдемелерге мысал келтіріңіз?
    
11. 
    Қандай сөйлемді рай түрі деп атайды?
    
12. 
    Сөйлемнің екі түрін атаңыз, мысалдар келтіріңіз?
    
13. 
    Барлық логикалық жалғауларды көрсетіңіз?
    
14. 
    Логикалық жалғаулықтарды болжамдық логикада қалай атайды?
    
15. 
    Терістеу операциясы дегеніміз не?
    
16. 
    Қандай таңба «терістеу» операциясын білдіреді, ол орыс тілінің қай бөлігіне сәйкес келеді?
    
17. 
    Теріс пікірлерге мысал келтіріңіз?
    

18. 
    Болжамдық логикалық формула ұғымының анықтамасы қандай?
    
19. 
    Логикалық формулаларға мысал келтіріңіз?
    
20. 
    Мәлімдемелерді формализациялау алгоритмін қайталаңыз?
    
21. 
    Формула қандай мән қабылдай алады?
    
22. 
    Шындық кестелері қалай құрастырылады?
    
23. 
    Формулада n мәлімдеме болса, ақиқат кестесі неше жолдан тұрады?
    
24. 
    Формуладағы амалдардың орындалу ретін көрсетіңіз?
    
25. 
    Қандай формулалар эквивалент деп аталады?
    
26. 
    Қандай екі кесте бірдей деп есептеледі?
    
27. 
    Бірдей ақиқат мәлімдеме мен бірдей жалған мәлімдеменің айырмашылығы неде?
    
28. 
    Бірдей ақиқат және бірдей жалған мәлімдемелерге мысал келтіріңіз?
    
29. 
    Дизъюнкция мен конъюнкцияның қасиеттерін көрсетіңіз?
    
30. 
    Теріске қатысты қандай қасиеттерді білесіз?
    
31. 
    Логикалық тұрақтылары бар қасиеттерді беріңіз?
    
32. 
    Элементар конъюнкция және элементар дизъюнкция дегеніміз не?
    
33. 
    Элементар қосылыстар мен элементар дизъюнкцияларға мысалдар келтір?
    
34. 
    DNF және CNF анықтамалары қандай?
    
35. 
    DNF және CNF мысалдарын келтіріңіз?
    
36. 
    DNF және CNF-ге келтіру алгоритмінің мәні неде, олардың айырмашылығы неде?
    
37. 
    SDNF және SKNF дегеніміз не?
    
38. 
    Мінсіз қалыпты формалар қалыпты формалардан қалай ерекшеленеді?
    
39. 
    Кемелді пішіндерге мысал келтіріңіз?
    
40. 
    Кемелді формаларға жеткізудің қандай жолдары бар?
    
41. 
    Аналитикалық әдіс пен кестелік әдістің айырмашылығы неде?
    
42. 
    Алгоритмдерді жетілдіру (аналитикалық және кестелік) арасындағы ұқсастықтар мен айырмашылықтарды табыңыз?
    
43. 
    Болжамдық логиканы пайдаланып логикалық есептерді шешу алгоритмін сипаттаңыз?
    
44. 
    Логикалық есептерді шешудің эвристикалық әдістерін көрсетіңіз?