Тесты по теме 31 VI тарау. Алгоритмдер теориясының ЭлементтерІ 34



жүктеу 8,05 Mb.
бет13/75
Дата11.12.2017
өлшемі8,05 Mb.
#4014
түріТесты
1   ...   9   10   11   12   13   14   15   16   ...   75

2 тарау. тұжырымдар есептелімі




2.1 Тұжырымдар есептелімі формуласының ұғымы

Тұжырымдар есептелімі бұл интерпретациясы тұжырымдар алгебрасы болатын аксиоматикалық логикалық жүйе.



Әрбір есептелімнің сипаттамасына бұл есептелімі символдарының, формулаларының сипаттамасы, дәлелденетін формулалардың анықтамасы енеді.

Тұжырымдар есептелімінің алфавиті үш түрлі символдардан тұрады:

1. Бұл символдарды айнымалы тұжырымдар деп атаймыз.

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

3. Жақшалар деп аталатын символдар: (, ).



Тұжырымдар есептелімінде басқа символдар болмайды.

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

Тұжырымдар есептелімі формуласының анықтамасы

1. Кез келген айнымалы формула б олады.

2. Егер А және В – формулалар болса, онда сөздер де формулалар.

3. Ешқандай басқа символдардың қатары формула болмайды.

Айнымалы тұжырымдарды қарапайым формулалар деп атаймыз.

Тұжырымдар есептелімі формуласына мысал келтірейік.



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

Формула түсінігі мен бірге ішформула немесе формула бөлігі түсінігі енгізіледі.



1. Қарапайым формуланың ішформуласы оның өзі болады.

2. Егер формула көрінісінде болса, онда оның ішформулалары формуланың өзі, А формуласы және А формуланың барлық ішформулалары болады.

3. Егер формула (А*В) (мұнда * – үш символдардың бірі деп түсінеміз) көрінісінде болса, онда оның ішформулалары формуланың өзі, А, В формулалары және А мен В формулалардың барлық ішформулалары болады.

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




жүктеу 8,05 Mb.

Достарыңызбен бөлісу:
1   ...   9   10   11   12   13   14   15   16   ...   75




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

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