«Математикалық логика және дискретті математика» пәнінен syllabus
жүктеу/скачать 1,4 Mb.
|
- Бұл бет үшін навигация:
- Он бірінші апта №11дәрістің тақырыбы: Предикаттар алгебрасы
| Практикалық сабақтың тақырыбы: Есептер шығару.
Әдебиет: [3]. 210 бет, жаттығу 6 СОӨЖ мазмұны: [3]. 210 бет, жаттығу 7 СӨЖ мазмұны: [3]. 210 бет, жаттығу 8 Он бірінші апта №11дәрістің тақырыбы: Предикаттар алгебрасы Предикаттар мысалдары Теңдеулер жүйесі Пікірде бір немесе бірнеше тәуелсіз айнымалылар қатысып тұрса, онда пікір предикат деп аталады. Бір тәуелсіз айнымалы предикатпен бірлесе кездеседі, оны х әріпімен белгілейміз. Предикаттың ақиқаттылығы не жалғандығы тәуелсіз айнымалы х-тің мәндеріне байланысты болғанда х-тің қабылдайтын барлық мүмкін мәндерін логикалық мүмкін жиыны деп, ал пікірді ақиқатқа айналдыратын х айнымалысының мәндерін предикаттың ақиқаттық жиыны деп қарастыруға болады. Сонымен теңдеуді шешу дегеніміз- теңдеудің ақиқаттық жиынының элементтерін табу. Анықтама. Берілген А жиынының әрқайсысы құр емес, қос-қостан қиылыспайтын, бәрінің бірігуі А жиынының өзіне тең болатындай ішкі жиындарының системасы А жиынының бөліктеуі деп аталады. Мысалы, А- жазықтағы барлық үшбұрыштар жиыны, А1 – тік бұрыш үшбұрыштар жиыны, А2 – сүйір бұрышты үшбұрыштар жиыны, А3 - доғал бұрышты үшбұрыштар жиыны болса, онда {А1,А2, А3 } системасы А жиынының бөлікетуін құрайды. Ал В1- тең бүйірлі үшбұрыштар жиыны, В2- тең қабырғалы үшбұрыштар жиыны, В3- әртүрлі қабырғалы үшбұрыштар жиыны десек, онда {В1,В2, В3} системасы А жиынының бөліктеуі болмайды, себебі В1 В2 Жиынның фактор-жиыны сол жиынның бөліктеуі болады. Бұл тұжырым дұрыстығы эквиваленттік кластарының қасиеттерінен шығады. Таңдау есептерін шешуге және шектелген жиынның элементтерін белгілі бір берілген заңдылықпен орналастыруға байланысты мәселелерді қарастыратын математика бөлігін – комбинаторика дейді. Комбинаторика ережелері берілген жиынның элементтерінен қандай да бір конструкцияларды құрастыру әдісін анықтайды. Комбинаторлық конфигурациялардың қарапайым мысалдары ауыстырулар, орналастырулар, терулер мен бөлулер. Комбинаторлық конфигурацияларды есептеуде қосу, көбейту және дәрежелер қолданылады. Анықтама. Жиында берілген антисимметриялы және транзитивті БҚ- ты рет қатысы деп атайды. Белгілеуі (кіші деп оқимыз). Егер болса, оны деп жазып, элементтері салыстырмалы деп атаймыз, а кіші в деп оқимыз. Рет қатысы берілген жиын реттелген жиын деп аталады. Белгілеуі А, . Натурал сандардың бөлінгіштігі, жиындардың бір-біріне ішкі жиын болуы рет қатыстары. Анықтама. Жиында берілген рет қатысы антирефлексивті болса, оны қатаң рет қатысы деп, рефлексивті болса, - қатаң емес рет қатысы деп, байланысты болса , - сызықтық рет қатысы деп атайды. жүктеу/скачать 1,4 Mb. Достарыңызбен бөлісу:
|