Логикалық программалау

Алғысөз 4 бет

Логикалық программалаудың тілі 5 бет

Логикалық өрнектер тілі ерекшеліктері 6 бет

Унификациялау 8 бет
Унификация алгоритмі 10 бет

Ең жалпы унификаторды табу алгоритмі 12 бет

Логикалық программалаудағы негізгі қорыту ережесі 17 бет

Мақсатттарды жүзеге асыру 18 бет

Қорытынды 21 бет

Қолданылған әдебиеттер тізімі 22 бет
Логикалық программалау “пролог” табиғи тілдегі сөйлемдердің граматикалық мәселелерін талқылау үшін және мәтін есептерді шешу үшін Шотландияда дүниеге келген.
Математикалық логика саласында зерттеу жасап жүрген Франция мен Англиядағы екі үлкен топтағылардың бірі, тілдерді анықтайтын программаны, ал екінщісі – математикалық сөйлемдерді анықтайтын программаны ойлап табуды көздеулерінің нәтижесінде, екеуі біріге келе осы тілдің құрылуына себепкер болған.
Ұсынылып отырған жұмыста – логикалық программалаудың алгоритмінің негіздеуін алу үшін, осы тілге байланысты алғашқы негізгі мәліметтерден бастап, рет- ретімен жүйелі түрде мақсатқа жол салынған. Педикаттар логикасының көмегімен унификациялау және ең жалпы ортақ унификаторды табу алгоритмін табуды дәлелдеп шығарып алдық. Осы негізде оның қорытындысын таптық. Яғни, егер берілген өрнектер белгілі бір
1. Анатолий Адаменко, Андрей Кучуков “Логическое программирование и Visual prolog”. Санкт-Петербург “БХВ-Петербург”.2003. – 116-118 беттер.
2. Досанбай П.Т. “Математикалық логика және алгоритмдер теориясы”. 65-67 беттер, 86-87 беттер.
3. Ершов Ю.Л., Палютин Е.А. Математикалық логика.-Москва: Наука, 1980.
4. Адаменко А.Н. От логики к программированию и программирование на основе логики.// Компьютерные этюды Петербурга, №2,1994- с.53-59.
5. Набебин А.А. Логика и Пролог в дискретной математике.- М. Изд. МЭИ, 1996.
        
        Реферат
Бітіру жұмысы 23 беттен, теориялық және практикалық ... ... ... екі ... ... ... ... тұрады.
Бітіру жұмысының негізгі мақсаты: логикалық программалаудың ең
негізгі ерекшеліктерінің бірі – ... ... ... ... ... Осы ... ... мақсат ете отырып, оның
негіздеуін, предикаттар логикасының тіліне сүйеніп үлкен екі жақтан, яғни
унификациялау және ... ... ... ... ... ... Оларға қатысты мысалдар беріліп, ... ... жаңа ... ... ... ... (терминдер): терм, атомарлық формула, өрнек,
унификатор, іздеу ... ... ... ... ... ... ... бет
Логикалық өрнектер тілі ... ... ... ... ... ... унификаторды табу ... ... ... ... ... ережесі 17 ... ... ... ... бет
Қолданылған әдебиеттер тізімі
22 бет
Алғы сөз
Логикалық программалау “пролог” табиғи ... ... ... талқылау үшін және мәтін есептерді шешу үшін
Шотландияда ... ... ... ... ... жасап жүрген Франция мен
Англиядағы екі үлкен топтағылардың бірі, тілдерді ... ... ...... ... ... ... ойлап табуды
көздеулерінің нәтижесінде, екеуі біріге келе осы тілдің құрылуына себепкер
болған.
Ұсынылып отырған жұмыста – логикалық программалаудың ... алу ... осы ... ... ... негізгі мәліметтерден
бастап, рет- ретімен ... ... ... жол ... Педикаттар
логикасының көмегімен унификациялау және ең ... ... ... ... ... ... ... алдық. Осы негізде оның қорытындысын
теңелсе, онда оның ең жалпы ортақ унификаторы және ең ... ... ... екнін дәлелдедік, егер жоқ болса, онда ... ... ... бөлімде – жалпыланған Модус Поненс арқылы алгоритмнің
негіздеуін көрсеттік. ... ... ... ... онда оны ... екі жолын қарастырдық. Яғни, қарапайым формулалар тізбегінен және
іздеу ағашынан тұратын алгоритмдер көрсетілді.
Логикалық программалаудың тілі
Басқада программалау тілдеріне ұқсас ... ... ... белгіленген төмендегідей тілдік жүйелерден тұрады.
Альфавит:
1) сигнатура
2) логикалық байланыстар(кванторлар)
3) айнымалылар
4) техникалық белгілер
Мұндағыпредикаттар, ... ... және ... ... ... ... деп, σ ... айнымалының әрбір мәніне сәйкес жаңа пікір ... бір ... ... деп, Ал ... ... деп,
құрамындағы х1, х2, …, хn айнымалыларына нақты ... ... ... ... ... түсінеміз.
Логикалық программалаудағы өрнектер
Өрнек- терм немесе атомарлық формула.
Терм: не тұрақты не айнымалы не орынды ... ... онда ... ... () ... әрпі бар ... ... Әрбір терм осы ережелерді ақырлы рет қолдану
арқылы кұрылады.
Мысалы, v айнымалы символы мен f1 – 1 ... ... ... ... барлық термдер тізімі мынандай:
v, f1(v), f1(f1(v)),…, f1(…f1(v)…),…
Термдердің қасиеттерін термнің күрделілігі бойынша индукцияны пайдаланып
дәлелдеу.
Жоғарыдағы анықтама ... ... ... индукцияға құрылған.
Сондықтан, термдердің қандай да бір қасиетін индукция арқылы ... ... ... ... үшін қасиетінің орындалатынын тексереміз.
• Айнымалылар үшін қасиетінің орындалатынын тексереміз.
• Алдыңғы тексерістер оң нәтиже берсін. Онда егер fm – кез ... ... ... ... Егер ... осы үш ... қанағаттандырса, онда қасиеті берілген тілдің барлық
термдері үшін орындалады.
Ал t1,…,tm – ... ... ... ... ... ... үшін қасиетінің орындалатынын тексереміз.
Күрделілігі 0 болатын ... ... ... ... кез-келген айнымалылар.
Күрделілігі болатын терім: () . ... ... 0 ... ... ... ... терм, орынды
предикаттық символ болса, онда болған кездегіні немесе ... ... ... ... дейміз. Мұндағы терімдер.
Мысалы. Eгер Р2 екі орынды предикаттық символ, ал f1 бір ... ... ... ... Р2(v, f1(v)), ... ... v = v, f1(v) = v ... атомaрлық формуланың мысалдары болады. , – атомарлық
формула болады.
Формулалар:
1) ... ... (; ... ...... формулалар ,бұл
программалау тілінде блай ... ... ... ... тілі ... ... онда ... жоқ деген сөз. Формула n=0 деп жазылады.
ксиомалар түрі ... (*) ... ... кез ... ... ... формулаларын логикалық
программалау тілінің формулаларына ауыстыру ... ... ... ... ... тілі ... ... деп атаймыз. ,…
, осындай бірнеше формулалар тізбегі ... деп ... ... тілінің программасында, аксиомалар
тізбегінен тұрады. Логикалық программалауда теорияны анықтау ... ... ... ... ... ... ... теорияны пайдалана
отырып есеп шығару барысында, программа ... ... ... ... ... ... ... тізімінде (goal)
сұрақтар қоямыз. Программа ... ... ... ... ... ... ретінде программаның өз ішіне енгізілген.
Біз осы ... ... ... ... ... ... ешқандай
программалау кітаптарында дәлелденбеген программаның ... ... ... екі тақрыпқа бөліп дәлелдеу ... ... ... және ... ... ... ережесі. Негіздеуді осы
ережелерге мысалдар келтре отрып дәлелдейміз.
Мысал ... ... ... ... мына ... (), Z.
).
Бұл программа формулалар негізінде түзілген.
қарастрылған программаның облысын анықтайды.
тұрақтылардың ... ... ... ... және трнақша ішіне жазылады.
предикат, аргументтері.
аксиомалар тізбегі немесе жалпы түрде теорияны ... ... ... ... ... орай сұрақтар қояды.
Логикалық программалау тілінде айнымалыны терммен ... ... бір ... v айнымалысын қандай да бір t термімен
ауыстыру үшін t термі формуласында v айнымалысы үшін бос ... Егер бос ... ... формуладағы байланған айнымалының
атын өзгертіп алып, аталған ... ... ... ... v ... ... қою үшін (уS(v,у,z) формуласында у
ді u мен ауыстырсақ, бастапқы формулаға парапар (uS(v,u,z) формуласын
аламыз. Ал бұл ... t ... v ... үшін бос. Яғни,
(uS(t,u,z) бастапқы (uS(v,u,z) формуласынан ауыстыру арқылы алынған
болып шығады.
o термді тек бос ... ... қою мен ... формулада кездесетін
айнымалыларының, квантордың әсер аймағында не болмаса формула ... ... ... ... қайталанып түспеуін тексеру керек.
Мысалы формуласындағы ... ... ... ... ... Ал ... ... бірдей
формуласындағы айнымалысының орнына термін қойсақ,
мағынасы өзгерген формуласын ... ... ... ,…, ге ... ... ... өрнектер үшін қандайда бір ауыстыруын қолданғанда
теңдігін қанағаттандыратын болса, онда ... ... ... ... өрнектеріндегі айнымалысының
орнына термін сол сияқтыайнымалысының ... ... ... ... (түрлендіруін)мен ның
унификаторы деп ... Яғни ... ... ... ... ... түрлендіру.
Анықтама
Өрнектер жиыны {} унификацияланаған деп аталады,егер
теңдіктерін қанағаттандыратын унификаторы табылса.
өрнектер жиыны берілсін. Онда ... ... ... екі өрнек ортақ бір түрге Унификацияланған болады. Яғни
түрінде. Бұл түрлендіруді алу үшін ... ... Біз ... ... ... табамыз, осыдан , мұнда
болады.
бұл өрнектер жиыны унификацияланбайды, ... ... ... ... ... ... терістеуіне әкелмейді.
өрнектер жиыны үшін, ең жалпы унификатор болып ауыструы
жарайды, егер кез-келген ... үшін ... ... ... ... ... ... жиынында
көрсетілген сол жақ бірінші жағдайдағы сәйкессіз ерекшеленген ... ... ... ... үшін ... ... жиыны
болып табылады. Себебі сол жақтағы бірінші өрнектегі ... ... ... сол жақ ... ... ... ...
ден жалпыланған түрі.
бұл унификатордың жалпы түрі.
осындай негізде кез-келген ... ... ... ... ... =, ()Ө* = ... ... үшін ең жалпы унификатор. Себебі
кез—келген унификатыр ... онда мен ның ... ... ... =ең ... ортақ мысал болады.
Унификация алгоритмі
Анықтама
унификацияланған өрнектер жиынының ең жалпы ... ... ... ... ... , оның ... ... беретін алгоритымды унификация алгоритымы деп атаймыз.
Бізге екі өрнек берілсін, осы екеуі үшін ... ... Әр ... ... ... ... ... қолданылады.
Белгілі бір алгоритмінде: өрнектер жиыны, сәйкессіздіктер
жиыны, орындалатын ауыстру.
Унификация алгоритмі төмендегілерден ... ... ... ... ... егер , онда алгоритм соңы қортынды түрлендіруіең жалпы
унификатор.
b) егер құрамында айнымалы жоқ ... онда ... ... ... ... егер ... ... айнымалы және терм бар болса
және к, ... ... онда ... ... өрнектер
жиыны унифликацияланбайды.
Болмаған жағдайда қадамына көшеміз.
алгоритмінде:
, =к, құрамына кіретін әрбір ... ... ... θ ... S0 )
Ескерту
Егер өрнектер саны екіден көп болса, онда бірінші өрнек ... ... Одан ... ... үшіншісімен т.с.с барлық
өрнектер жиыны унификацияланғанға дейін ... ... ... ... ... ... ... болсын. Унификация алгоритмі өз ... ... ... унификацияланатын болса, онда ортақ унификаторын
S табады немесе жиыны унификацияланбаған дығы ... ... ... унификаторы жоқтығы жөнінде).
Осы келтірілген алгоритмнің қолданылуына төмендегі өрнектер түріндегі екі
есепті қарастырайық. Бұл ... ... ... ... программа
түріндегі есептердің шығарылу алгоритмін береді.
есеп:
1. яғни ... ... ... кірмейді.
2.
3.
4.
5.
6.
ең жалпы унификаторы алгоритм соңында.
№2есеп:
алгоритм соңында жиын ... ... ... негізгі бөлігі бойныша табылады. Ал
унификация алгоритмі – ... ... ... ... негізгі
механизмі.
A мен B ны күрделілігі бойынша индукция арқылы немесе терімнің
қасиетінің ... ... ... ... дәлелдеу жүргіземіз.
болған кезде(болмаса , end яғыный ең үлкен ортақ унификатр жоқ).
болған кезде(болмаса , end).
т1 мен s1 үшін ең ... ... ... егер орындалса онда t2 мен s2
үшін осылай рет -ретімен жалғастырамыз.
және термдері үшін болған кезде.
Мысал:
тілдегі өрнек ... Ең ... ... және ең ... ортақ
мысалды тап.


3)

))
Есептің шешімі бойынша, ең ... ... , ең ... ...
Ең жалпы унификаторды табу алгоритмі
екі өрнек берілсін. ... бұл ... ... ... төменде көрсетілген жағдайларда қарастырады.
горитмге кіруі:
Мұнда берілген өрнектің ... ... өз ... ... ешқандай
ауыстырулар орындылмайды. Алгоритым берілген өрнектердің күрделігі бойынша
унификациялауды бастайды. Алгоритмның унификациялауды ... ... ... ... ауыструды қолданғанда өрнектер денесінде
сәйкессіздіктер жоқ болса, олар бірден унификацияланып ең ... ... ... өзі ... Егер ... ... сәйкессіздік болса,
онда келесі қадамға өтеді.
қадамда:
,…, ; ,…, ,…, өрнектер денесінің әрбір элементінің
көрінісі. Мұндағы ... ... ... ал ... денсін құрайтын элементтердің реті.
: егер мұнда жоқ ... ... жоқ ... онда ең ... ... унификатор. Мұнда
өрнектің құрамындағы екі элемент сәйкес емес болсын деп ... ... тең ... және ... ... кімейтін болса,
онда енді жалпы тізбек ,…, ;
қадамда:
Егер яғни айнымалысы термнің құрамында болса, ... ... ... және ... ... емес болса. Егер мұндағы
алғашқы қадамда ақ тең, ,функциянал ... ... ... ... , ; = ... ... ... қадамдағы ауыстыры соңғы қадамдағы
ауыстыруға тең. Онда әрқашанда унификаторы табылады. Aмен B ... ... ... мысал.
горитмнен шығуы:
Ең жалпы ортақ унификатор және = ортақ мысал табылып,
унификацияланады ... ... ... берілген өрнектерді ұқсас бір
түрге келтірмейді немесе унификацияланбайды.
Ең ... ... табу ... негізінен төмендегідей бес
жағдайда қарастыруға болады.
1. Төмендегі өрнектер тізбегі берілсін.
i. Алгоритымге кіруі:
,
ii. Алгоритымның ... ... ,
, ,
1) мен
2)
3) b, y, a мен b, b, a
4) b, b, a мен b, b, a ... ... ... өрнектер түрінде унификацияланады.
2. өрнектер тізбегі айнымалы және термнен ... ... ... ... ... ... ... басқыштардан тұрады.
i. Алгоритымге кіруі:
ii. Алгоритымның унифкациялау барысы:
1)
2)
1) ... ... ... ... бойынша берілген есепте ең жалпы унификатор және ... ... ... ... ... ... мысал.
ең жалпы унификатор.
3. Өрнектер екеуі де айнымалылардан тұғанда:
i. ... ...
ii. ... унифкациялау барысы:
1)
iii. алгоритымнен шығуы:
2) ең жалпы унификатор
4. Өрнектер екеуі де тұрақтылардан тұғанда:
i. Алгоритымге кіруі:
;
ii. ... ... .
5. ... ... және ... ... ... кіруі:
;
ii. Алгоритымның унифкациялау барысы:
1)
iii. алгоритымнен шығуы:
2) ең жалпы унификатор
Резалюция әдісінің ... ... ... тілінің программасының ... ... ... ... ... ... қарастыруға болады.
Дизьюнктер жиыны мен дизьюнктер бұл есептелуінің формулалары бойынша
табылады.
болатындығын дәлелдеу үшін ... ... бар ... ... ... ... аксиомасы ретінде
дизьюнкті алайық.
Оң нәтиже алу жолы мынадай теңдігін ... ... ... дизьюнктері болсын
дейік. Онда ... ... екі ... ... ... ... мен қорытындылау әдісі (modus ponens):
Аустыру әдісі бойынша ... ... бір ... ... Онда (modus ponens) талдап қорытсақ өрнегі
өрнегіне пара-пар екенін анықтаймыз. ... ... ... ... ... деп резолюция әдісі
бойынша не жиынынан алынған дизьюнктер тізбектелуін айтамыз.
есептеулеріндегі ... ... ... ... ) егер оның соңғы дизьюнкті бойынша
және ол резолютивті қорытынды мәнге ие болса.
Егер тен ... ... онда ... ... ... ... ... бос дизьюнктің резолютивті нәтижесі болса, онда дизьюнктер
жиынының шешімі жоқ.
Ескертпе
Егер нәтиже L литералы және оның ... мәні ге ие ... ... мән бос ... ( ... ... ... Бұны
симантикалық жолмен қарастырсақ қарама-қайшылыққа ие: .
Осылайша резолюция әдісі жалпы: жиынынан F, F, ... ... ... бос ... қортындысын
дәлелдеуге болатындығы, яғыни және кері қарай, бұндай бос дизьюнкт
қортындысы ... ... ... F ... ... ... ... және (предикаттар есептеуі толы болғандықтан) F предикаттар
есептеуінде. Соңғы бірінші реттің теориясындағы F тің ... ... ... есептеуі ) оның аксиомалар
жиынықолданбалы ... ... ... ... ... үшін ... көп емес ... бар резолюция әдісі қолданылады: ,бұл пара-пар және ... ... ... ... пролоргта ереже деп аталады. Егер ... ... ие) ... жоқ ... онда осындай сөйлемдер факт деп
аталады. Мұндай ережелер мен факттер (сәйкес дизьюнктер конюнциясы ) ... ... ... жиынының пәндік саласын қарастыратын
программаны құрайды.
Оң нәтижесі литералға ие емес дизьюнкт
Q1 Q2 Qn бұл ... Q1 & Q2 ... бұл ... (goal) немесе программаға ... деп ... ... Q2 ,…, Qn ... ... ... ... резолютивтік
нәтижесі көрсетеді. Программаны іске асыру кезінде прологта ... бір ... ... ... Оң ... ие ... резолютивті нәтижеге сәйкес алу үшін бұл ... ... ... ... сызықтық резолюция әдісі боиынша іске асыру төмендегідей
болады. Унификацияланатын дизьюнкт мен Q1 ді алайық, ... ... ... ... бар ... онда F Q1 нәтижесі
резолютивтік әдіс бойынша
Жаңа сауал ... Q2 ... жаңа ... () дизьюнктіні резолюция әдісі нәтиже бос
дизьюнкт болғанға дейін қолданылады.
Логикалық тұрғыдан алғанда пролог программасын ... ... ... резолюция әдісінің жүйесі деп қарастыруға
болады:
Q= Q1 & Q2 & &Qn)
Сызықты резолюция әдісі ... S ... ... ... ... тілі болып табылады: яғни кез- келген
алгоритм хороновты дизьюнктер мен резолюция әдісімен ... ... ... ... табуға болады. Мысал ретінде пролог
программасымен сызықтық резолюция әдісінің қолданылуын қарастрайық.
Мысал
Теріске шығаруға мынадай есеп берілсін :
{(), ... ... бұл есеп мына ... ... ... екі ... пролог тілінде ереже ретінде ал үшіншісі факт,
сұранысымыз
Программаның жұмысы ... ... ... ... ... ... мәнін аламыз және онымен унификацияланатын:
Резолюция әдісі келесідей нәтиже береді:
бұнда мәнін қойғанда
Жаңа ... ... ... ... мен ға ... ... бос дизьюнкт
аламыз. Қалаған сұраныс келесі түрге ие ... ... ... ... ... мына ... ... пен терістеу бос дизьюнкт береді. Программа
орындалды , сұраныс бос мәні ға ... ... ... ... ережесі немесе жалпыланған Модус
Поненс әдісі
Логикалық программалаудағы қорту предикаттар логикасындағы логикалық
салдар мен парапар.
Анықтама
формуласының {} бірнеше мақсаты ... Егер ... ... ... бір ... табылса, орындалады,
онда мақсатын жүзеге асыру үшін, алдымен мына ... ... ... ... Бұл ... жүзеге асыру барысы негізінен
осы жоғарда көрсетілген жалпыланған Модус Поненс әдісі арқылы жүзеге ... ... ... программалаудың программасын жүзеге
асырудағы негіздеу болып табылады. ... ... ... ... ... екі ... жүзеге асыруға болады:
1) Қарапайым формулалар тізбегі арқылы
2) Іздеу ағашы арқылы
Мақсаттарды жүзеге асыру
мақсаттар тізімі P программа(теория) бойынша жүзеге асады, егер
ауыстырулары табылса және {}осы ... жаңа ... бір ... деп ... ол мақсаттардан және ыңғайлы ережеден
жалпыланған Модус Поненс әдісі арқылы шықса.
атомарлық формуласынң ... ... жоқ ... бойынша A қортылады жалпыланған Модус Поненс ... ... ... ... ... ... ... артып, ең соңғы нәтиже бос болғанша {A},…,…,…,немесе
іздедінді шешімдер жоқ екенін көрсетеді.
Анықтама
формуласын теориясының ... ... ... егер ... кез ... ... ... моделі болса.
теориясының формуласы егер формуласының құрамында
айнымалы жоқ болса, ол ... деп ... ... программалаудағы
қорыту предикаттар логикасындағы логикалық ... ... ... ... ... ... ... cөйлемдер (closes)
бөлімінде анықталған қарапайым формулалардан тұрады.
Программалаудағы логикалық салдар ол теориясының кез ... осы ... ... ... ... Яғни кез ... аксиомалар тізбегі орындалса, онда формула орындалады.
Теорема
атомарлық формула үшінсөйлемітеориясының логикалық
салдары ... ... және тек ... ғана осы ... жоқ ... ... ... Поненс әдісі арқылы қортындыланса.
Дәлелі: жеткіліктілігі
модельде Р теориясының бос ... ... мән ... ... ... ... ;ең ... ортақ унификатор.
модельде бос айнымалыға мән бергенде, соңғысына мән бергенде
алдыңғысы орындалатын болса, яғни орындалса онда ... ... ... ... тізбегі орындалады. Онда кез ... ... мән ... ... болса логикалық салдары болады.
Қажеттілігі:
Берілген формулада айнымалы жоқ немесе айнымалысына мән берілген деп
қарастырсақ. Алған модельмізде ... ... ... онда ... ... ... Кері ...
жиын.
;
біреуі қортындыланбайды. Сол формуланы жалған жасасақ, онда
бұлар (аксиомалар) жалған. Онда ақиқат болады.
Іздеу ағашы
Мақсаттар ... ... бір {G} ... жалпыланған Модус
Поненс әдісі арқылы қарастырады. Бастапқы {G} түбірі ең соңғы ... ... яғни ... ... ... ... жоқ ... алгоритмді жалеғастыру сол жерде тоқтайды.
Егер {G}түбірінде қанша мақсат болса, онда оның ... саны ... ... ... ... әр ... ... ауыстырулар арқылы
элементтерінің саны артып кеңіп отырады.
бір элементтің, ыңғайлы бір ... ... оны ... ... ... ... ... әр бір қарапайым
формулалар тізбегінің бастарын әрбір ... ... ... тізбегіне қойып сияқты формулалар теңдігі орындалатындай
жаңа бір P тізбегін ... Егер бұл ... {G} ... ... ... онда ... тоқтап боспен()аяқталады. Ал бұл жерде шешім
болмаса іздеу басқа бұтақтың саласы бойынша жалғасып, ... ... ... ... қарапайым формулалар тізбегі берілсе, оны
мақсаттар тізімінде{G} түбірі бойынша төмендегідей қарастырамыз.
{G}
программмасындағы теориясының Мақсаттарын ... ... ... ... онда ... ... тізбегін іздеу ағашының
тәсілімен төмендегідей ... ... (), ... ... {unaidi (), ... ... ... біз ыңғайлы бір унификаторы мен Y=Z теңдігін, Ztennis
шартын қанағаттандыратын мақсатының ... ... ... ).формуласында шарты жоқ болғандықтан шешім бірден табылды. Ал
келесіде мақсат {unaidi (), ... ... ... бұл ... ... ... осы ... жұмысын тоқтатады да, басқа
бұтаққа өтеді. tennis бұл ... ... ... ... ... аяқталады. бұл да алдыңғыға ұқсас нәтиже ... ... ... аяқталып, барлық ізделінді шешімдер табылады.
Іздеу ағашы да алдыыңғы қарапайым формулалар тізбегі сияқты шешімді
бос болғанша, әр ... ... ... салу ... шешімді іздейді немесе
шешім жоқ болып тұйықталғанша алгоритм ... осы ... ... мен ... программалаудың
программалық есептеулерді шығару алгоритмін тауып, осы табылған жаңа
алгоритм негізінде бұл ... ... ... ... ... болатынын зерттедім.
Жұмыстың алғашқы бөлімінде унификациялау мен оның шығу алгоритмін
қарастырдым. Егер ... ... онда оның ең ... ... және ең ... ... мысалын табуға болатынын, ... онда ... ... ... ... байланысты
программаның қалай жұмыс істеу жолын аштым.
Соңғы бөлімде қорытудың ... ... ... ... ... соңғы бөліміндегі мақсаттарды (goal) жүзеге асыруда қарапайым
формулалардан құралған бір Р ... және ... ... ... асыруды көрсеттім.
ҚОЛДАНЫЛҒАН ӘДЕБИЕТТЕР ТІЗІМІ
1. Анатолий Адаменко, Андрей ... ... ... и ... Санкт-Петербург “БХВ-Петербург”.2003. – 116-118 беттер.
2. Досанбай П.Т. “Математикалық логика және ... ... ... 86-87 беттер.
3. Ершов Ю.Л., Палютин Е.А. Математикалық логика.-Москва: ... ... ... А.Н. От ... к программированию и программирование на основе
логики.// Компьютерные этюды Петербурга, №2,1994- с.53-59.
5. Набебин А.А. Логика и Пролог в ... ... М. Изд. ...

Пән: Информатика
Жұмыс түрі: Материал
Көлемі: 26 бет
Бұл жұмыстың бағасы: 300 теңге









Ұқсас жұмыстар
Тақырыб Бет саны
Жалпы білім беру мектептерінде математикалық логика элементтерінің оқытылуы және турбо пролог логикалық программалау тілі88 бет
Логикалық программалау19 бет
Delphi ортасы туралы мағлұмат31 бет
Delphi программалау ортасының негізі34 бет
Delphi тілінде программалау ортасымен танысу12 бет
Turbo Pascal 7.0 интегралдық программалау ортасын пайдалану43 бет
Turbo pascal жайлы мәліметтер17 бет
Turbo pascal тілі12 бет
Turbo pascal тілі туралы негізгі түсініктер28 бет
Visual Basic33 бет


Исходниктер
Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь