2.7 тақырып Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастары Қажетті және жеткілікті шарттар.
Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастарының белгіленуі мен оқылуы.Теореманы дәлелдеу тәсілдері, құрылымы мен түрлері. Мәндес болу. Қажетті және жеткілікті шарт ұғымы.
Практикалық жұмыс:
1) Пікірдің анықтамасы және құрылымы.
2) Пікірлік форманың анықтамасы. Предикаттар.
3) Предикаттардың ақиқаттық кестесі.
4) Кванторы бар пікірді теріске шығару.
5) Сөйлемдер арасындағы келіп шығу және мәндес болу қатынастары.
6) Қажетті және жеткілікті шарттар.
7) Теореманың құрылымы және түрлері
2.8 тақырып Қатынас және сәйкестік. Реттік қатынас. Эквиваленттік қатынас
Қатынас ұғымы, белгіленуі, түрлері, анықтамасы, графы. Қатынастың берілу тәсілдері, қасиеттері. Реттік, эквиваленттік қатынас ұғымы, анықтамасы, берілу тәсілдері, қасиеттері, графы және ішкі жиындарға бөлу.
2.9 тақырып Сәйкестік ұғымы. Графтар теориясының элементтері.
Сәйкестік және оның түрлері, анықтамасы, графигі. Кері сәйкестік. Тең қуатты жиындар. Өзара бір мәнді сәйкестік Граф ұғымы, түрлері және қасиеттері.
Практикалық жұмыс:
1) Қатынас ұғымы және оның берілу тәсілдері.
2) Қатынастың кескінін граф арқылы анықтау.
3)Қатынастың қасиеттері. Реттік қатынас.
4) Эквиваленттік қатынас. Берілген жиынды қиылыспайтын ішкі жиындарға бөлу.
5)Сәйкестік және оның түрлері.
6)Өзара бір мәнді сәйкестік.
2.10 тақырып Натурал сан мен нөл ұғымдарының шығуы. Қосындының, айырманың анықтамасы мен заңдары
Натурал сан мен нөл ұғымы, шығу тарихы. Сандық жиын. Сан ұғымының кеңеюі, оған қойылатын талаптар. Қосынды және айырманың анықтамасы, қасиеттері, заңдары.
2.11 тақырып Көбейтіндінің анықтамасы, заңдары. Теріс емес бүтін санның натурал санға бөліндісінің анықтамасы. Қалдықпен бөлу
Көбейтінді мен бөліндінің анықтамаларының теориялық-жиынтық мағынасы, қасиеттері, заңдары. Қалдықпен бөлу анықтамасы, мысалы.
Достарыңызбен бөлісу: |
