Есептеуге арналған амалдар

Қарапайым логикалық байланыстарға қарағанда аксиома мен формуласы бойынша

) болса, онда .

формулалардың жазылуы байланысты тұжырымдамаларды келтірейік объектілі предикатты қолданған түрде аты ақиқат болуы керек. тапсырманың шартына байланысты орындалуы керек объектілі пирамиданың орындалуы керек.

1. Программаның синтездеу құрылымы. Дұрыс қорытынды шығару(-)
2. Программаның синтездеу құрылымы. Алгоритмді іздеу қорытындысында соңғы синтездеу құрылымының теориясы.(-)
3. Программаның синтездеу құрылымы. Синтездеу құрылымын кеңейту
4. Тапсырмалар туралы білімдерді беру түрлері. Тип туралы түсінік.

63. Тапсырмалар туралы білімдерді беру түрлері. Тип туралы түсінік.

Білім берудің логикалық моделі

Математикалық логикада матетамикалық білімді беру үшін логикалық формализмдерді пайдаланамыз, яғна айтылымдар мен предикаттарды есептеу. Бұл формализде анық формальді симантика бар және олар үшін қорытынды механизмң жасалған сондықтан предикаттарды есептеу қолданбалы есептерді шешуге байланысты формалды облысты сипаттау үшін қолданылған алғашқы логикалық тіл болып саналады.

Білімдерді берудің логикалық моделдері предикаттар логикасы арқылы жүзеге асады. Предикат дегеніміз ақиқат немесе жалған екі мәнді қабылдайтын обьектілердің қасиеттерін сипаттайтын және олар арсында обьектідегі қандай да бір қасиеттің бар немесе жоқтығын білдіретін өрнек айтылым деп аталады. Константалар пәндік облыстың обьектілерді белгілеу үшін орындалады.

Логикалық сөйлемдер немесе айтылымдар атомарлы формулаларды құрайды.

Предикат интерпридатциясы бұл айнымалылар мен константаларды байланыстыратын жиын. Предикаттар логикасы дәстүрлі формальді логика секілді қарапайым айтылымды субьект және предикатқа бөледі. Субьект дегеніміз айтылымдағы сипатталып жатқан зат, ал предикат сол субьект туралы сипаттама.

Мысалы, жеті жайсан айтылымына жеті субьект, ал жайсан предикат.

Бұл айтылым жетінің жай санның қасиеттеріне ие екендігі туралы йталы. Егер қарастырылған мысалда нақты жеті саны натурал сандар жиынынан ч айнымалысын жуыстыратын болсақ, онда оның орнына х жай сан кейбір мәндерінде (х=13, х=17......) біл формула ақиқат айтылымды береді. Ал басқа мәтіндерде (х=10 х=18) бұл форма жалған мәндерін қабылдайды.

Анықтама 1. Бір орынды Р(х) предикаты деп х аргументі қандай да бір m жиынның қандай да мәндерін қабылдап шығатын бір айтылымдар функцияны айтамыз.Бұл жерде функция ақиқат немесе жалған біреуін қабылдау керек.

Предикат берген m жиыны предикатты анықтау облысы деп аталады,яғни ол қабылдайтын мәндер.Предикат тек ақиқат мәндерді қабылдайтын ақұиқаттық облысы деп аталады.

Анықтама 2. Екі орынды Р(х,у) предикаты деп m=m1*m2 жиынды анықталған және 1 мен 0 мәндерін қабылдайтын екі айнымалы функцияны айтамыз. Екі орынды предикаттың мысалы ретінде q(x,y) - x=y теңдігін ала аламыз.

Предикаттарған қолданылатын логикалық операциялар қолданайық.

p(x) және q(x) предикаттар конюнкциясы деп екі предикатта ақиқат мәнін қабылдаған кезде ақиқат болатын, ал қалған кезде жалған мәнде қабылдайтын предикатты айтамыз.

p(x) және q(x) предикаттар дезюнкциясы деп екі предикатта жалған мәнді қабылдаған кезде ғана жалған болатын, ал қалған жағдайда ақиқатты қабылдайды.

p(x) предикатыныңтерістеуі дегеніміз- p(x) жалған қабылдайтын кезде ақиқат, ал керісінше болғанда жалған мәнді қабылдайды.

p(x) және q(x) предикаттарының импликациясы дегеніміз - p(x) ақиқат, ал q(x) жалған мәнді қабылдайтын жағдайда мәндә қабылдайтын предикат