Әдебиет: 1,118-123 бет,17, 127-141 бет,3, 65-89 бет,5, 258 бет
6,122-141 бет
Бақылау сұрақтары: Предикаттың анықтамасын беріңіз.
2. Предикаттардың қандай түрлерін білесіз?
3. Әртүрлі предикаттар арасындағы байланысты көрсетіңіз.
4. Предикаттың ақтқаттық жиыны қалай анықталады?
5. Қандай кванторлық операцияларды білесіз?
6. Осы операциялардың ерекшелігін көрсетіңіз.
7. Байланысты және байланысты емес айнымалылар түсінігін беріңіз.
16 тақырып Алгоритмдер теориясының элементтері Мақсаты: 1. Алгоритмдер түсінігін енгізу.
2. Қарапайым сандық функциялардың есептелуін қарастыру.
3. Тьюринг машинасының анықтамасын енгізу.
4. Тьюринг машинасын сөздерге қолданудағы дағды мен біліктілікті
қалыптастыру.
Жоспар: 1.Алгоритм түсінігі.
2.Есептелетін функциялар.
3. Тьюринг машинасы.
