«Алгебра және сандар теориясы»пәнінен syllabus

Тапсырмалар:[12], 73-бет, 9-18

1. 
   Жиындар. Жиындарға қолданылатын операциялар.
   
2. 
   Жиындар операцияларының қасиеттері.
   
3. 
   Жиындардың декарттық көбейтіндісі.
   
4. 
   Жиындардың декарттық көбейтіндісінің кейбір мысалдары.
   
5. 
   Бинарлық және n–арлық қатынастар.
   
6. 
   Бинар қатынастар операциялары.
   
7. 
   Бейнелеулер (функциялар).
   
8. 
   Бейнелеулер операциялары.
   
9. 
   Инъективті, сюръективті, биективті бейнелеулер.
   
10. 
    Түрлендірулер.
    
11. 
    Шекті және саналатын жиындар.
    
12. 
    Жиында берілген бинар қатынастар түрлері.
    
13. 
    Жиында берілген рет қатынасы.
    
14. 
    Жиында берілген эквиваленттілік қатынас.
    
15. 
    Эквиваленттілік қатынастар. Фактор-жиын.
    
16. 
    Эквиваленттілік кластар қасиеттері (дәлелдеу).
    
17. 
    Сәйкестік.
    
18. 
    Операциялар. Бинар алгебралық операциялар.
    
19. 
    Натурал сандар.
    
20. 
    Математикалық индукция әдісі.
    
21. 
    Ауыстырулар мен алмастырулар.
    
22. 
    Орналастырулар.
    
23. 
    Терулер.
    
24. 
    Қайталамалы орналастырулар мен терулер.
    
25. 
    Бөліктеу.
    
26. 
    Енгізу және жою әдісі.
    
27. 
    Реккурентті қатынастар.
    
28. 
    Қайтарымды тізбектер.
    
29. 
    Шексіз сандық системалар.
    
30. 
    Санау системалары.
    
31. 
    Позициондық санау системалары.
    
32. 
    Аралас санау системалары.
    
33. 
    Бір системадан басқа системаға көшу.
    
34. 
    Санды тізімдеп өрнектеу.
    
35. 
    Бүтін сандар сақинасындағы бөлінгіштік.
    
36. 
    Бүтін сандарды көбейткіштерге жіктеу.
    
37. 
    Модуль бойынша берілген бүтін сандар (салыстырулар).
    
38. 
    Евклид алгоритмін қолдану.
    
39. 
    Модульді сызықтық теңдеулер.
    
40. 
    3.8.1 теореманы дәлелдеу.
    
41. 
    Логика алгебрасы формулалары.
    
42. 
    Формулалардың эквиваленттілігі.
    
43. 
    ДНФ. КНФ. СДНФ. СКНФ.
    
44. 
    ДНФ кластарындағы буль функцияларын минимизациялау.
    
45. 
    Буль функцияларының екі жақтылық қағидасы
    
46. 
    Предикат ұғымы. Шындық облыс.
    
47. 
    Предикаттық формалар.
    
48. 
    Жалпылау және бар болу кванторлары.
    
49. 
    Бос және байланысты айнымалылар.
    
50. 
    Квантордың әсер ету облысы.
    
51. 
    Предикаттар алгебрасының формулалары.
    
52. 
    Формуланы мәндеу.
    
53. 
    Орындалатын, ақиқат және жалған формулалар.
    
54. 
    Кванторлы эквивалентті формулалар.
    
55. 
    Префиксті-нормаль форманы алу процедурасы.
    
56. 
    Кванторлы формулалар үшін де-Морган заңы.
    
57. 
    Предикаттар алгебрасының қолданылуы.
    
58. 
    Формальды логика ұғымы.
    
59. 
    Формуланы қорытындылау.
    
60. 
    Формуланы қорытындылау қасиеттері.
    

7. 
   
   
   жүктеу/скачать 197.98 Kb.
   
   Достарыңызбен бөлісу: