Дәрістер тезистері 1 тақырып Жиындар теориясының элементтері Мақсаты



бет57/64
Дата07.02.2022
өлшемі2,42 Mb.
#91114
1   ...   53   54   55   56   57   58   59   60   ...   64
Байланысты:
Дискретт математика. Дәрістер

Бақылау сұрақтары:
1. Пікірлер есептелімінің фомулаларын және символдарын атаңыз.
2. Пікірлер есептелімінің қандай аксиомаларын білесіз?
3. Қорыту ережелерін атаңыз.
4. Дедукция теоремасын және оның салдардарын айтыңыз.
5. Тавталогиялардың қорытылуы туралы теореманы айтыңыз.


15 тақырып
Предикаттар логикасы
Мақсаты:
1. Предикаттар түснігін енгізу.
2. Предикаттар кластарын және қасиеттерін қарастыру, олардың өзара байланысы.
3. Предикаттарға қолданылатын кванторлық операцияларды енгізу.
4. Предикаттарға амалдар қолданудағы біліктілік пен дағдыны қалыптастыру.
Жоспар:

      1. Предикаттар.

      2. Предикаттардың классификациясы.

      3. Кванторлар.





Достарыңызбен бөлісу:
1   ...   53   54   55   56   57   58   59   60   ...   64




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

    Басты бет