Жұмыс бағдарламасы мамандықтың жұмыс оқу жоспары және 20 ж бекітілген элективті пәндер каталогы негізінде әзірленген

жүктеу 3,94 Mb. бет 18/25 Дата 14.12.2017 өлшемі 3,94 Mb. #4102 түрі Жұмыс бағдарламасы

Навигация по данной странице:

• Анықтама 2.
• Анықтама 3.
• Анықтама 4.

Анықтама 1. Р программасы ір (х) - те аяқталады дейді, егер кез- келген Х үшін ір (х) ақиқат болса және Р программасын орындау оның соңғы жағдайына алып келетін болса, яғни, Р(Х) анықталған. Анықтама 2. Р программасы ір (х) анықталмаған дейді, егер Р программасында шексіз орындауды талап ететін қандай-да бір құрылым бар болса, яғни, Р(х) анықталмаған. Анықтама 3. Р программасы ір (х) мен ор (Х,Z) - ке қатысты дербес дұрыс дейді, егер кез-келген Х үшін ір (х) ақиқат болатындығынан және Р программасын орындау ір (Х) – те аяқталатындығынан ор (x,z)-ң ақиқаттығы шығатын болса. Егер Р программасының ір (х) мен ор (Х,Z)-ке қатысты дербес дұрыстығын ір {P} op деп белгілесек, онда ол формалды түрде былай анықтайды. ір {P} op[( ір (х) &p(x)=z) op(x,z)] мұнда - анықтама бойынша деген таңба. Анықтама 4. Р программасы ір (х) мен ор (Х,Z) – ке қатысты толық дұрыс дейді, егер кез- келген Х үшін ір (х) ақиқат болатындығынан Р программасын орындау ір (х)- те аяқталатындығы және ор (Х,Z) –ң ақиқаттығы шықса. жүктеу 3,94 Mb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз