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