Концептуалдық программалау. (-)
Алгоритмдерді синтездеуғе кіріспе(-)
Концептуалдық программалауды іске асырудың негізгі әдістемелік принциптері
Теорема шешу жолдары
(М),
...
...
мундагы ... ... айнымалылар
... енгизилетин айнымалылар
... натижелер, ал М тапсырмалар шарты
... шамалары тапсырма шартын канагаттандыру керек. Тапсырманы шешу ушин шарттын дурыс болганы жеткиликти. Онда бул теоремалар шешу жолы деп аталады.
Ал егер А,
...
болса онда А формула болып табылады.
Далелдеуди кажет етпеитин формула.
Формула мен аксиомалар дурыс корытылган
тури теорема деп аталады. Айтылгандардын
барлыгы теорема синтаксисынын бир
болиги гана. Енди симатикага назар
аударайык. Симантиканы аныктауга тагы
бир объект Л кажет. егер арбир тилдин
магынасы Л объектисине байланысты
болса онда оны тилдин интерпретациясы
деп атайды. Нактылай келе Л-дын озинин
аныкталган ишки курылымы болу керек.
Тилдин формуласынын интерпретациясы
тек кана акикат немесе жалган екенин
гана аныктай алады. Аксиома болса
аркашан акикат болады.
2. Тапсырманы шешуден бурын жоспар куру, жоспар дурыс деп кабылданбай жумысты бастамау.
Есептеуге болатын тапсырмалар.
Есептеу тапсырмаларында айнымалылар колданылады, оларды идентификатор деп белгилейди.
Мысалы: х
Айнымалылар турли типте болады. Есептеу тапсырмаларына мысалдар карастырайык. Ушбурыш ауданын онын 3 кабыргасы бойынша есептеп шыгамыз деген тапсырманы айнымалылар комегимен жазуга болады. ушбурышты биле отырып ABC комегимен С-ти жане институттын барлык кызметкерлерин фамилиясын табу деген тапсырмада жастардын фамилиясы - айнымалы, ал кадрлар тапсырма шарты деп алсак онда кадрларды биле отырып жастар фамилиясын есептеп шыгаруга болады. Бул жагдайда тапсырмалар саны манызды болады. Бул тапсырмаларды келеси формулалармен жазуга болады.
... ...
мундагы ... ... айнымалылар
... енгизилетин айнымалылар
... натижелер, ал М тапсырмалар шарты
Логикалық программаның синтездеу негіздері. Теореманың шешу жолдары.
Теорема шешу жолдары
(М), ... ...
мундагы ... ... айнымалылар
... енгизилетин айнымалылар
... натижелер, ал М тапсырмалар шарты
... шамалары тапсырма шартын канагаттандыру керек. Тапсырманы шешу ушин шарттын дурыс болганы жеткиликти. Онда бул теоремалар шешу жолы деп аталады.
Ал егер А, ... болса онда А формула болып табылады. Далелдеуди кажет етпеитин формула. Формула мен аксиомалар дурыс корытылган тури теорема деп аталады. Айтылгандардын барлыгы теорема синтаксисынын бир болиги гана. Енди симатикага назар аударайык. Симантиканы аныктауга тагы бир объект Л кажет. егер арбир тилдин магынасы Л объектисине байланысты болса онда оны тилдин интерпретациясы деп атайды. Нактылай келе Л-дын озинин аныкталган ишки курылымы болу керек. Тилдин формуласынын интерпретациясы тек кана акикат немесе жалган екенин гана аныктай алады. Аксиома болса аркашан акикат болады.
Логикалық программаның синтездеу негіздері . Формальдық теорияға кіріспе.
Теорема шешу жолдары
(М), ... ...
мундагы ... ... айнымалылар
... енгизилетин айнымалылар
... натижелер, ал М тапсырмалар шарты
Осыған байланысты тұжырымдама айтуға болады: ... шамалары тапсырма шартын канагаттандыру керек. Тапсырманы шешу ушин шарттын дурыс болганы жеткиликти. Онда бул теоремалар шешу жолы деп аталады. Енді тапсырманы формальды турде карастырыйык:
М есептын шартын
2 предикат турынде карастырайык:
Кырыстык шарт Р(х) жане шыгыстык шарт
R(x,y). Теореманы шешу аркылы компактты
турде корсетейык:
.
Еске салатын быр жагдай Формальдау
теориясынын негызы. Кейбыр жиыннын
магынасы жагынан жакын синтаксистегы
тылдер жиынын формула деп атайды.
Ал егер А, ... болса онда А формула болып табылады. Далелдеуди кажет етпеитин формула. Формула мен аксиомалар дурыс корытылган тури теорема деп аталады. Айтылгандардын барлыгы теорема синтаксисынын бир болиги гана. Енди симатикага назар аударайык. Симантиканы аныктауга тагы бир объект Л кажет. егер арбир тилдин магынасы Л объектисине байланысты болса онда оны тилдин интерпретациясы деп атайды. Нактылай келе Л-дын озинин аныкталган ишки курылымы болу керек. Тилдин формуласынын интерпретациясы тек кана акикат немесе жалган екенин гана аныктай алады. Аксиома болса аркашан акикат болады.