Пән бойынша оқыту бағдарламасы (Syllabus)


тақырып. Бүтін сандар және бөлінгіштік



бет9/13
Дата30.01.2022
өлшемі248,5 Kb.
#116342
түріБағдарламасы
1   ...   5   6   7   8   9   10   11   12   13
2 тақырып. Бүтін сандар және бөлінгіштік

Салыстыру. Мультипликативті функциялар. Сызықты диофантты теңдеулер. Жақшаларды ассоциативті емес түрде орналастыру. Каталан сандары. Жақшаларды коммутативті түрде орналастыру. Кармайкл сандары. Жай сандарға компьютерлік тест. Ашық кілтті криптожүйе.



3 тақырып. Пікірлер логикасы

Пікірлерге логикалық амалдар. Формулалар. Формулалардың ақиқат мәндері. Ақиқат таблицалары бойынша формулаларды қайта тұрғызу. Формулаларды тепе-тең түрлендіру. Де-Морган заңдары, қарсыпозиция, екі рет терістеу. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық байланыстардың толық жүйесі. Формальді жүйелер. Пікірлерді есептеудің аксиомалары мен шығару ережелері. Формулалардың дәлелденуі. Жорамалдан формулаларды шығару. Дедукция теоремасы. Пікірлерді есептеудің қайшылықсыздығы.





Достарыңызбен бөлісу:
1   ...   5   6   7   8   9   10   11   12   13




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

    Басты бет