2.4 тақырып Математикалық ұғым, мазмұны мен көлемі. Ұғымды анықтаудың тәсілдері мен жолдары.
Математикалық ұғым туралы түсінік. Анықталатын, анықталмайтын ұғымдар. Ұғымның мазмұны мен көлемі. Ұғымның анықтамасы.
2.5 тақырып Пікір ұғымы. Пікірлер формасы. Кванторлар
Пікір анықтамасы. Жай және құрама пікір. Құрама пікірлердің логикалық құрылысын анықтау. Ақиқат кестесі. Пікірлік форма (предикат) ұғымы және оларға қолданылатын амалдар. Кванторлар. Кванторы бар пікірді теріске шығару. Пікірлер логикасының заңдары.
2.6 тақырып Математикалық тіл.
«+», «-», «=», «≠», «>», «<» таңбаларын/цифрларды, () белгісіз сан символын қолдану. Жай бөлшектердің құрылуын, салыстыру, қосу және азайтуды бейнелеу үшін жазық фигуралардың бөлігін және сан сәулесін қолдану.
2.7 тақырып Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастары Қажетті және жеткілікті шарттар.
Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастарының белгіленуі мен оқылуы.Теореманы дәлелдеу тәсілдері, құрылымы мен түрлері. Мәндес болу. Қажетті және жеткілікті шарт ұғымы.
Практикалық жұмыс:
1) Пікірдің анықтамасы және құрылымы.
2) Пікірлік форманың анықтамасы. Предикаттар.
3) Предикаттардың ақиқаттық кестесі.
4) Кванторы бар пікірді теріске шығару.
5) Сөйлемдер арасындағы келіп шығу және мәндес болу қатынастары.
6) Қажетті және жеткілікті шарттар.
7) Теореманың құрылымы және түрлері
2.8 тақырып Қатынас және сәйкестік. Реттік қатынас. Эквиваленттік қатынас
Қатынас ұғымы, белгіленуі, түрлері, анықтамасы, графы. Қатынастың берілу тәсілдері, қасиеттері. Реттік, эквиваленттік қатынас ұғымы, анықтамасы, берілу тәсілдері, қасиеттері, графы және ішкі жиындарға бөлу.
2.9 тақырып Сәйкестік ұғымы. Графтар теориясының элементтері.
Сәйкестік және оның түрлері, анықтамасы, графигі. Кері сәйкестік. Тең қуатты жиындар. Өзара бір мәнді сәйкестік Граф ұғымы, түрлері және қасиеттері.
Практикалық жұмыс:
1) Қатынас ұғымы және оның берілу тәсілдері.
2) Қатынастың кескінін граф арқылы анықтау.
3)Қатынастың қасиеттері. Реттік қатынас.
4) Эквиваленттік қатынас. Берілген жиынды қиылыспайтын ішкі жиындарға бөлу.
5)Сәйкестік және оның түрлері.
6)Өзара бір мәнді сәйкестік.
Достарыңызбен бөлісу: |
