Жалпы білім беру мектептерінде математикалық логика элементтерінің оқытылуы және турбо пролог логикалық программалау тілі

Пән: Информатика, Программалау, Мәліметтер қоры
Жұмыс түрі: Дипломдық жұмыс
Тегін: Антиплагиат
Көлемі: 90 бет
Таңдаулыға:

МАЗМұНЫ

Кіріспе . . . 4

1-тарау. Жалпы білім беру мектептерінде математикалық логика элементтерінің оқытылуы және Турбо Пролог логикалық программалау тілі . . . 5

Мектеп информатика курсындағы математикалық логика элементтері . . . 5

Математикалық логика элементтері мен логикалық программалауды мектепте оқыту қажеттілігі . . . 13

Турбо Пролог логикалық программалау тілі . . . 34

2-тарау. Турбо Пролог логикалық программалау тілінің интерактивті электрондық оқулығын жасау әдісі . . . 50

2. 1. Турбо Пролог логикалық программалау тілінің зертханалық жұмыстары . . . 50

2. 2. Интерактивті электрондық оқулықты жасау және пайдалану әдісі . . . 70

Қорытынды . . . 91

Пайдаланған әдебиеттер тізімі . . . 92

Қосымша . . . 93

КІРІСПЕ

Информатика іргелі ғылым болып табылады, сондықтан да, оның негіздерін мектеп қабырғасынан бастап үйрену керек. Біздің ойымызша, мектептегі оқыту келесі үш кең қамтылған бағыт бойынша жүргізілуі қажет:

информатиканың теориялық негіздері;
модельдеу, алгоритмдеу, программалау;
ақпараттық технологиялар.

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

Оқушы қазіргі таңда маңызды (технологиялардың даму қарқыны айтарлықтай жылдам жүріп жатқандығын ескере отырып) және бірнеше жыл ¹ алға компьютерлік сауаттылық элементтерімен таныстырып, дайын программалық өнімдерді пайдалануды үйрету керек (егер интерфейс оңтайлы болса, бұл да аса қиындық туғыза қоймайды) . Енді сұрақ туындайды: қандайма болмасын программалау тілін әр адамның білуі міндетті ме. Біздің ойымызша, мектепте оқушыларды программалаудың қандайма тілін үйрету керек, мүмкіндік болса, тіпті, бір емес екі тілді қатарынан оқыту қажет. Мүмкін үміткерлерді қарастырайық: императивті программалау тілі (Паскаль), екінші тіл ретінде декларативтік логикалық программалау тілі - Прологты қарастыруға болады. Әр оқушыға программалауды үйретуді мақсат тұтып отырған жоқпыз, оның үстінде екі бірдей тілде. Ұсынатынымыз: программалау тілдерін белгілі бір оқыту құралы ретінде пайдалану. Мәселен, императивті программалау тілі алгоритм ұғымымен, құрылымдаумен таныстырып, негізгі тапсырманы бірнеше қосалқы тапсырмаларға бөлуге т. с. с. үйретсе, Пролог тілі көмегімен оқушыларды математика, физика, химия және басқа да пәндерді оқуға пайдасы зор нысанды логикаға баулуға болады.

Зерттеудің пәні педагогикалық жоғары оқу орындарындарында информатика мамандығындағы “Логикалық программалау негіздері” пәні болып табылады.

Зерттеудің мақсаты қазіргі ақпараттық технологияларды қолданып “Компьютер архитектурасы” пәнінің интерактивті электрондық оқулығын жасау.

Зерттеудің міндеттері :

педагогикалық жоғары оқу орындарында “Логикалық программалау негіздері” пәнінің жұмыс бағдарламасымен танысу;
пәнге қажетті теориялық және зертханалық жұмыстар дайындау;
интерактивті электрондық оқулығын жасау технологиясын анықтау.

Зерттеудің ғылыми болжамы “Логикалық программалау негіздері” пәнінің мультимедиалық электрондық оқулығын оқу үдерісінде қолдану барысында студенттер зертханалық жұмыстарды орындаған кезде, теориялық материалдарды қарастырғанда білімі мен ойлау қабілеті артады.

1-ТАРАУ. ЖАЛПЫ БІЛІМ БЕРУ МЕКТЕПТЕРІНДЕ МАТЕМАТИКАЛЫҚ ЛОГИКА ЭЛЕМЕНТТЕРІНІҢ ОҚЫТЫЛУЫ МЕН ТУРБО ПРОЛОГ ЛОГИКАЛЫҚ ПРОГРАММАЛАУ ТІЛІ.

МЕКТЕП ИНФОРМАТИКА КУРСЫНДАҒЫ МАТЕМАТИКАЛЫҚ ЛОГИКА ЭЛЕМЕНТТЕРІ.

"Логика (гректің logic - сөз, ой, ойлау, ақыл-ой) ойлаудың зандылықтарымен түрлері, есептеудің математика-логикалық заңдылықтары, ойлаудың жалпы зандылықтары туралы (диалектикалық) ғылымдардың жиынтығы".

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

Логика ғылым ретінде өте ертеден дамыған. Уақыт өте келе логика пәні туралы түсінік өзгеріп, әр дәуірдің философиялық көз қарасына тәуелді болды, алайда пікірдің дұрыстығына үйрену негізгі бөліктердің бірі ретінде логиканың жетіктігіне қатысты болып келеді. Оның дұрыс ой түйу әдісін зерттейтін, нақтылы мазмұнынан тыс формальды құрылымы жағынан ғана қарастырылатын бөлігі формальды логика деген атқа ие болды. Соңғысының математикада атқарар рөлі зор. Расында да, барлық математикалық тұжырымдар мәні математикалық жалпы аксиомалармен постулаттардан дұрыс нәтиже шығаруға құрылған нақты дәлелдерге сүйенеді. Сондықтан да, математикалық тұжырымдарды талдау кезінде әсіресе математиктердің көптеген дұрыс ой түю жүйелерін ашқандығы тегін емес.

Логикалық тұжырым теориясын ең алғаш ежелгі грек философы Аристотель жасап шығарған. Ол танымдық ойлауды құрылымы мен кұрылысы және жүйесі түрғысынан қарастыратын формальды логиканың негізін қалаушы деп саналады. Ғылымның және күнделікті өмірдің әр саласында қолданылатын нақты мағанадағы түрлі ой-пікірлер бір құрылымды бір жүйелі болып келуі мүмкін. Формальды логика адамның ойлау әдісін оның нақтылы мазмұнына мән бере зерттеп "біз қалай ойлаймыз?" деген сұраққа жауап іздейді.

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

Бір есеппен алғанда ол математикалық теория ретінде құрылып, осы тұрғыда математикалық логика болып табылады, екіншіден математиканың нақтылы тілін жасай отырып оның логикасы болып табылады.

Логиканы матиматикаландыру идеясының мүмкіндігімен қажеттілігі жөніндегі пікірді белгілі неміс математигі және логигі Г. В. Лейбниц (1646-1716) айтқан болатын. Ол ғылым тарихында логиканы ең алгаш рет алгебралық есептеу түрінде ұсынушы болып есептеледі. Әйтсе де, ғылымның ерекше саласы ретінде математикалық логика Буль еңбектері арқылы XIX ғасырдың ортасында ғана көпшілікке танымал бола бастады. Бульдің математикалық логика жөнінде жазған алғашқы "Логиканың математикалық талдауы" деген еңбегі 1847 жылы жарыққа шыкты. Дәл сол жылы (Бульден сәл кейінірек) ағылшын математигі Август де-Морган математикалық логика жүйесі туралы жұмысын жариялады. 1854 жылы Бульдің "Ойлау заңдылықтарын зерттеу" деген негізгі еңбегі жарық көрді.

Бульдің, Де-Морганның және олардың ізбасарларының еңбектерінде математикалық логика өзіндік бір алгебра, кейіннен буль алгебрасы деп аталган алгебра логикасы деп өрнектеледі. Буль логикаға қазіргі заман алгебра әдістерін қолданды. Екінші бір ағылшын ғалымы, логик әрі экономис Джевонс (1835-1882) Буль есептеуінен әлдеқайда қарапайым, механикалық ауыстырып қосу арқылы логикалық қорытынды жасауға мүмкіндік беретін машина ойлап шығарды. (Кейіннен Джевонс машинасы Ресейде жасалды) .

Ең алдымен кластар алгебрасы, кейіннен пікір алгебрасы деген ағым неміс математигі Э. Шредермен (1835-1901) орыс математигі П. С. Порецкий (1846-1907) еңбектерінде дамудың ең жоғаргы деңгейіне жетті. П. С. Порецкий 1887 және 1888 жылдары Ресейдің Қазан университетінде математикалық логика тақырыбы бойынша дәріс оқыды. Оның кластар және пікір логикалары бойынша жазған еңбектері "XIX ғасырдагы логика алгебрасы ағымындагы ең жоғарғы жетістіктерге ие бола алды" деген әділ бағасын алған. Алайда, Буль бастап берген бұл бағыт сол кездегі математика сұраныстарымен тікелей байланыста бола алмады.

Ұлы орыс математигі Н. И. Лобачевский (1793-1856) құрастырған бірінші евклидті емес геометрия жүйесі негізгі математика саласындағы көптеген зерттеу жұмыстарын дүниеге әкелді, ал олар өз кезегінде XIX ғасырдың өзінде-ақ математикалық логиканы математиканы негіздеуге алып келді.

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

Математикалық логика элементтерін оқыту мәселелерін
математиканы тереңдетіп оқытатын мектептерге ең бірінші болып
А. А. Столяр ұсынды. Ол математиканы оқытудың мәселелік
және іскерлік әдіске негізделген жаңа тұжырымдамасын жасап
шығарды.

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

Математиканы оқытуға логика элементтерін енгізу мәселесі логиканы арнайы және ерекше оқытуда емес, математиканы оқытудың бөлінбес бөлшегі бола білуінде, оның тиімділігін арттырып, оқушының логикалық дамуына әсер ете білетін басты құрал болуында.

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

Қазіргі кездегі логиканың математикалық әдістермен оқылып отырған тұсында математиканы оқытуға оның элементерінің енгізілуі математикалық әдістермен ойдың және тілдің жаңа логикалық объектіге қарай кеңейуіне әкеледі, бұл кеңейу ой мен тіл әдісінің дұрыс игерілуіне ықпалын тигізеді.

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

Математиканы оқытуға логика элементтерін пайдалану мәселесі төмендегідей негізгі үш сүрақты қамтиды:

Мектеп математика курсында логиканың қандай элементтерін оку қажет?
Логика элементтерін, математика курсының қандай бөлімінде және қандай математикалық материалдарға байланысты оку керек?
Оларды мектепте қандай жагдайда, қандай деңгейде оқытуға болады?

Бұл мәселелер біздің және шетелдердің педагогикалық-математикалық әдебиеттерінде талқыланған.

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

Математиканы оқыту теориясымен практикасында логиканың рөлін анықтау мақсатында, академик А. Н. Колмогоровтың "Математика табигатына қазіргі кездегі көзқарас" деген мақаласынан "Мектепте логика атты жеке пән жоқ және логика әліппесімен танысу көп мөлшерде математика сабағының үстінде жүзеге асатындықтан пән мұғалімінің жауапкершілігі өте зор" деген пікірін айта кеткен жөн.

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

Мектеп оқушыларды қазіргі есептеуіш машиналардың көмегімен білім және біліктілікпен қаруландыруы қажет деген реформаға сәйкес математиканы оқытуда логика элементтерінің рөлі арта бастады, өйткені "Адам және ЭЕМ" диалогі логика тарапынан адамға деңгейі жогары, биік талаптар қояды.

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

Табиғатпен қоғамның құбылыстары олардың тіршілігі казіргі кездегі математика тілінде көрініс табуда. Бұл күндері есептеу техникасы мен математикалық моделдеу - биология, геология, экономика, экология, социология және машина жасау т. б. салада қолданылуда.

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

Бұл жағдайды сөзбе-сөз түсінудің қажеті жоқ. Үшінші сынып оқушысының ми қызметімен математик ғалымның миын салыстыруға болмайды. Шын мәнінде жаңалық ашуға түрткі болатын себептер әр түрлі болып келеді. Бірақ, оқушы арнайы жасақталған педагогикалық жағдайда кез-келген затты тыңнан ашса, алғаш жаңалық ашушы ретінде ойлайды. Егер 1-ші сынып оқушысы екі жиыннан элементтер жұбын құрап, бір жиындағы заттар екінші жиынға қарағанда көбірек деген шешімге келсе, онда ол мейлі ең қарапайым түрде болсын, математикалық жұмыс істеген болып шығады.

Әр түрлі елдерде халық аралық деңгейдегі математикалық білім беру реформасының қозғалысы жөніндегі жалпы шолулар математикалық білім беру халық аралық комиссиясының баяндамаларында жасалған. (МКМО) . Ол туралы Эдинбург(1958), Стокголм(19б2), Мәскеу(1966) қалаларында өткен математиктердің халық аралық конгресстерінде ЮНЕСКО өзірлеген "Математиканы орта деңгейде оқытуға арналған жаңа тенденциялар" атты басылыммен басқада көптеген еңбектерде айтылған.

Осы материалдардың барлығын қарастыра отырып, реформаның көп жобалары қазіргі кездегі математиканы орта мектепте оқытудың төмендегідей төрт саласын ұсынатындығын байқауға болады. Олар:

элементарлы жиындар теориясы;
математикалық логикаға кіріспе;
қазіргі кездегі алгебрадан түсініктер, атап айтқанда, шеңбер, сызық, вектор тобы;
ықтималдық теориясына кіріспе.

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

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

Математикалық логика мен логикалық программалау арасындағы өзара байланыс

Математикалық логика - оның әдістерін кеңінен қолдана
отырып математика қажеттілігіне орай жасалған жалпы логиканың
бір бөлігі. ЭЕМ - нің пайда болуына байланысты ол қолданбалы
сипатқа ие бола бастады. Математикалық логиканы ЭЕМ - ді
жобалаумен ақпаратты өндеудің әр түрлі есептерін орындауда
қолданылуы базистің екілік позициялық жүйесімен Буль айнымалысының екі мәнділігі және екі орнықты жағдайдағы қондырғыларды пайдалануымен сипатталады.

Формальды немесе математикалық логика бұрыннан-ақ компьютерлерді жобалап, олардың бағдарламаларын талдау кезінде қолданылған. Алайда, математикалық логиканы бағдарламалау тілі ретінде қолдану идеясын 1972 жылы шотлан, гылымы Р. Ковальский ұсынған болатын. Артынша оны Франция, Шотландия, Португалия, Ресей және тағы басқа елдердің ғылымдары толықтай жүзеге асырып жалпылады. Бұл идея кейінен логикалық бағдарлама деген атқа ие болды.

Логикалық бағдармалау - компьютер адамға тән іс - әрекет жасау керек деген ұғымға негізделген. Оның шешу үшін қажетті тапсырма жайындағы мәліметтері логикалық аксиома түрінде қалыптасады. Бұл жиынтық тапсырманың мағлұматтар қорын құрайды. Егер тапсырманың құрлысы дәлелдеуге және мақсатты тұжырымдауға жататын логикалық тұжырым ретінде кұралса, мағлұматтар қоры тапсырманы орындауда қолданылады. Мағлұматтар қорымен оған сәйкес мақсаттық тұжырым - логикалық бағдарламалау деп аталады. Тапсырманың шешімі - есеп туралы білім жыйынтығын пайдаланып мақсатты тұжырымды дәлелдеуде. Сонымен бірге жауапты құру мен бағдарламаны орындау процессі нақтылы стандарт процедураға келеді.

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

Дәл осы кезде Алэн Колмероэмен оның тобы Марсель-Экс университетінде теоремаларды дәлелдеуге арнап бағдарлама жасады. Бұл бағдарлама қарапайым тілдегі тексті өңдеу жүйесін құрастыруда крлданылды. Пролог - деп аталатын бұл бағдарламаның қүрамына Ковальскийдің интерпретаторы енгізілген болатын алайда, Пролог практика жүзінде тек 1977-ші жылы Дэвид Уоррен оның ДЕС-10 есептеуіш машинасы үшін тиімді түрде жүзеге асуын ойлап шығарған тұсында ғана іс жүзіндегі қолданысқа ие болды. Осыдан кейін Пролог-жүйелері көптеген машиналарга арналып шығарыла бастады.

Информатика саласында теория тұрғысынан алғанда мүмкін емес, бірақ қажетті қосымшаларды тиімді түрде бағдарламалап қоюға мүмкіндік беретін кейбір кеңейтулері Пролгты үлкен жетістіктерге жеткізді. Осындай кеңейтулердің бірі шешімнің мүмкін болатын көп сандарының толып қалуынан сақтайтын қ йып тастау (отсечение) операторы болып табылады.

Қазіргі кезде Пролог тілі көптеген микро және мини -ЭЕМ-дер де таратылған. Оны жүзеге асырудың көптеген түрлері бар, олардың ішіндегі кең таралғандары Arity-Proloq, Микро-Пролог және Турбо-Пролог. Пролог жүйесінің әр-бір нұсқасының келесі нұсқасынан айырмашылығы: өңдеп тексеру орталығы берген енгізілген предикаттар жиынымен, енгізу мен шығаруды ұйымдастырумен және ДЭЕМ аппаратурасының өз-ара әрекеттігімен ерекшеленеді. Сондықтан Прологты жалпылай оқу мүмкін емес. Тілдің теориялық негізімен оның белгілі бір түрде жүзеге асуын окуға болады.

Пролог тілін қолданатын негізгі салалар мынандай болып келеді;

- қолданбалы бағдарламаларды тез арада протатиптендіру;

- жасанды интеллект саласындағы эксперттік жүйелермен зерттеулер;

- pоботтар іс-әрекетінің жоспар құрылымы;

- бір тілден екінші тілге бағдарлама конверторын, компилятор, ассемблер, дисассемблер жазу;

- автоматтандырылған жобалар жүйесі (АЖЖ) .

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

Кейінгі кездерде Пролог бағдарламалау тілі кең таралып
көпшілікке танымал бола бастады. Реляциялық мағұлыматтар
корының заңды жалғасы ретінде дедуктивті мағлұматтар қоры пайда
бола бастады. Логиктер мен мамандар компьютерлік
информатикадағы логикалық бағдарламалау мен терістеуді сәтсіздік
ретінде интерпретациялау саласы бойынша әртүрлі зерттеу
жұмыстарын жүргізді. ЭЕМ бесінші ұрпағы бойынша құрылған
Токиодағы жапондық ғылыми комитет, Мюнхендегі компьютерлік
информатиканы зерттеу Европалық орталығы, Стокгольмдегі
компьютерлік информатиканың Швед институты өздерінің жұмыстарына логикалық бағдарламалауды негіз етіп алды.

Логика - пікір әдістерін талдауда қолданылатын маңызды құрал
болып табылады. Логика ең алдымен кейбір сілтемелердің ақиқат не
жалғандығын ескермей қорытынды алуға бола ма деген мәселені
қарастырады. Егер логика кіріспесіне анықтап қарайтын болсақ
оның басқа басшылықтардан ерекше айырмашылығы логикалық
клаузальды қалыпқа негізделгенін байқауға болады. Логиканың
клаузальды қалпы стандарт қалыпқа қарағанда әлде қайда
қарапайым болса да дәл сондай айшықты күші бар. Оның
қарапайымдылығы сондай, әдеттегісінше алдын ала пропозицианалды логиканы оқымай ақ бірден кірісе беруге де болады; логиканың клаузальды қалпы оның стандартты қалпына қарағанда багдарламалау мен мағлұматтарды өндеуде пайдаланылатын формальды әдістермен көптеген ұқсастықтары бар.

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

Логиканың клаузальды қалпын және оған байланысты пікір жүйесін пайдалану теорамаларды компьютер көмегімен автоматты түрде дәлелдеу жетістіктеріне негізделеді. Теореманы автоматты түрде дәлелдеуде Робинсонның реозолюция ережесі және Эрбран мен Правицаның ерте кездердегі зерттеулеріне негізделген Лавлэндтың терістеу әдісі арқылы дәлелдеу процедурасы негіз болып табылады. Теоремаларды автоматты түрде дәлелдеу әдісін жүзеге асыруда тиімді әдістердің бірі - компъютерлік моделдеу бойынша зерттеу жұмыстары.

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

Компьютермен аз араласқан көптеген қолданушылар ақпарат алу мақсатында мағлұматтардың нақтылы қорына жүгінуі мүмкін. Мұндай жағдайда мағлұматтарды қарапайым түрде сырттай ұсыну қамтамасыз етілуі керек, бірақ ол өз кезегінде компьютердің ішінен ұсынылуға тәуелді болмауы керек. Демек мағлұмат қорына арналған сұраныс тілі оқуға жатық әрі қолданыста жеңіл болуы тиіс. Қазіргі кезде мағлүматтардың қатынас (реляциялы үсынылуы) түрінде берілуінде бүл сұраныстар үздік түрде қанағаттандырылады деп есептеу дәстүрге айналған.

Мағлұматтардың реляциялық ұсынылуы мәлімет беруден гөрі оларға сұраныстарды қалыптастыруда жиі қолданылады.

Сұраныстың реляциялық тілдерінің көпшілігінде математикалық логика немесе реляциялық алгебра қондырғысы қолданылады.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.