Қазақстан республикасының білім және ғылым министірлігі



жүктеу 21,8 Mb.
бет21/214
Дата09.01.2018
өлшемі21,8 Mb.
#7265
түріМазмұндама
1   ...   17   18   19   20   21   22   23   24   ...   214

Эквивалентті қатынастар

Анықтама Рефлексивті, симметриялы және транзитивті Р бинарлы қатынасы эквивалентті қатынас немесе жай ғана эквивалентті деп аталады. Эквиваленттілік Е символымен немесе ~ белгісімен белгіленеді. х Е у немесе х~у Мысалы х=у болу қатынасы кез-келген А жиынында эквивалентті қатынас. x=x–болғандықтан рефлексифті. x=yy=xсимметриялы.x=y, y=zx=z– транзитивті.

Адамдар жиынында бір қалада тұру эквиваленттік.

7 бөлгендегі бірдей қалдық болу қатынасы эквиваленттік.

R={(a,b) | a,bN, a/7, b/7 қалдық бірдей}R – жиындағы эквиваленттік.

Бұл қатынас (11,46 ), (14,170) жұптарына орындалады.ҚазҰТУ студенттер жиынынан бір топқа жату эквиваленттілік–эквивалентті қатынас.Айталық, М жиынында R эквиваленттілігі берілсін (R эквивалентті қатынас берілсін). Белгілі бір тәртіппен М-ң ішкі жиындарын құрайық. Ішкі жиындарды класс деп атайық.С1–класы а1М және оған эквивалентті элементтен құралсын; С2 – класы а2М және оған эквивалентті элементтерден құралсын т.с.с. осылай жалғаса берсін.С1, С2,...,Сі кластар жүйесі құралады. М жиынының кез-келген элементтері ең болмағанда бір класқа кіреді, яғни

Бұл кластар жүйесінің мынадай қасиеттері бар:Олар бөлімдер құрайды, яғни кластар өзара қиылыспайды; Бір кластағы кез-келген 2 элемент эквивалентті;Әр кластан алынған кез-келген 2 элемент эквивалентті емес.Бұл қасиеттер R қатынасының рефлексивтілік, симметриялық және транзитивтік қасиеттерінен шығады.М жиынынан осылай бөлшектеу, яғни кластар жүйесі R қатысты эквивалентті кластар жүйесі деп аталады. Бұл жүйенің қуаты бөлу индексі деп аталады.



Реттің қатынасы

Егер қатынас рефлексивті ,антисимметриялы және транзитивті болса, қатаң емес ретті қатынас деп аталады.Егер қатынас антирефлексивті, антисимметриялы және транзитивті, қатаң ретті қатынас деп аталады. Қатынастардың бұл екі түрі реттің қатынастары деп аталады.Мысал  ,  қатынастары қатаң емес,  ,  қатынастары қатаң. Бұл екі қатынастар N, R жиындарын реттейді.

Негізгі әдебиет: 1[15-18]; 2[31-37]

Қосымша әдебиет: 7[9-34]

Бақылау сұрақтары:

1. Жиындағы қатынас дегеніміз не?

2. Бинарлы қатынасқа мысал келтіріп оның матрицасын құрыңыз.

3. Қандай бинарлы қатынас рефлексивті,симметриялы,транзитивті?

4. Қандай қатынастар эквиваленттілік,реттік деп аталады?

5. Бинарлы қатынасқа қолданылатын амалдар қандай? Рефлексивті, транзитивті тұйықтық дегендер не?

5-Дәріс тақырыбы. Математикалық логика элементтері (2-сағ)

Дәріс конспектісі

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



1. Тұжырымдар мен тұжырымдар формасы.

Анықтама.Тұжырымдар деп деп ақиқаттығы немесе жалғандығы туралы айтуға болатын хабарлы сөйлемді айтамыз. Бүкіл ғылыми білімдер (физика, химия, биологияның заңдары мен құбылыстары, математика т.б) күнделікті өмірде болып жатқан оқиғалар, экономика мен басқару процесінде туындайтын түрлі ситуациялар тұжырымдар түрінде формальданады.

Сұраулы, лепті не болмаса мағнасыз сөйлемдер тұжырым бола алмайды. Тұжырымдарға мысалдар: «2 жерде 2-төрт» , «Біз 20 –шы ғасырда өмір сүріп жатырмыз», «Қосылғыштардың орны ауысқаннан қосынды өзгермейді» , «Астана- Қазақстаның астанасы», «Теңге-Қазақстан валютасы» , «Бүгін сейсенбі», «Егер жаңбыр жауып тұрса қол шатыр алыңыз» т.б тұжырымдар. «Математика- қызықты пән немесе қуырдақ дәмді тамақ» деген сөйлемдер де тұжырым емес, себебі бірдей пікір жоқ. «Бөлменің ауданы 20 м2», «Қар жауып тұр»,«а2=4» деген сөйлемдер түжырым емес , 1- сөйлемде нақтылы қандай бөлме екендігі көрсетілуі керек, екінші сөйлемде қайда қар жауып тұрғанын көрсететін қосымша сөз керек, үшінші сөйлем а = 2 (а-тұжырымдылық айнымалысы ) болғандықтан тұжырым бола алмайды. Бұл сөйлемдермен амалдар орындау үшін олардың әрқайысысының ақиқаттық мәнін білу керек.

Анықтама. Құрамына ең болмаса бір айнымалы бар және айнымалылардың орнына мәндерін қойғанда тұжырымға айналатын сөйлем тұжырымдылық форма деп аталады.

Мысалы, Сан 7-ге бөлінеді; 3х<2; Ол қара торы; Сан,х ол сөздерінің орнына белгілі бір мәндер қойылса , сөйлем тұжырымға айналады.



Тұжырымдар логикасының негізгі логикалық байланыстырушылары.

Табиғи қарапайым сөйлемдерден құрмалас сөйлемдер құру үшін “ және “, “ немесе “, “егер … онда “, “ сонда … тек сонда ғана “ сияқты шылаулар қолданылатындығы белгілі. Тұжырымдартеориясында да элементар тұжырымдардан күрделі тұжырымдар құрастыруға болады. Айталық P,Q логикалық тұжырымдар болсын. Оларға кестедегідей логикалық байланыстар қолданылады: Логикалық байланыстырушылар арқылы құрылған құрама тұжырымдардың ақиқат не жалғандығы , оның құрамына кіретін қарапайым тұжырымдардың ақиқаттық мәндерімен анықталады.

Тұжырымдарға қолданылатын амалдар

1. Анықтама. Терістеу (инверциясы) А-ның инвер-сиясы деп А жалған болса мәні ақиқат, ақиқат болса жалған болатын тұжырымды айтады. болып белгіленеді, А емес , А деген дүрыс емес болып оқылады Мысалы,

1. «3-2 ге тең» тұжырымын А десек, «3-2 ге тең емес» тұжырымын - дейміз.

2. Кез келген шеңберге іштей үшбүрыш сызуға болады дегенді-А десек, кез келген шеңберге іштей үшбүрыш сызуға болады деу дұрыс емес-.

Конъюнкция мен дизъюнкция.Айталық, А мен В кез-келген тұжырымдар болсын. Тұжырымның ақиқат белгісін а әрпімен, жалған белгісін ж әрпімен белгілейік.



2. Анықтама. А мен В тұжырымдарының коньюнкциясы деп (логикалық көбейтінді немесе «және» операциясы) А мен В екеуі де ақиқат болса мәні ақиқат, әйтпесе (екеуі де жалған болса ) жалған болатын тұжырымды айтамыз.

Конъюнкция , ,& белгілерімен белгіленеді.

А&В; АВ; АВ.

жүктеу 21,8 Mb.

Достарыңызбен бөлісу:
1   ...   17   18   19   20   21   22   23   24   ...   214




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

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