Математика таълим йуналиши 2 курс талабаларининг «Дискрет математика ва математик мантиқ» фанидан курс иши мавзулари

Курс жумысы ушын темалары( топары):

1. 
   Көпликлер алгебрасының тийкарғы түсиниклери.
   
2. 
   Кортежлер ҳаққында улыўма түсиник.
   
3. 
   Қатнаслар.
   
4. 
   Комбинаторика. Тийкарғы комбинациялар.
   
5. 
   Паскал үшмүйешлиги. Ньютон-Биномы.
   
6. 
   Тәкирарланыўшы комбинациялар.
   
7. 
   Фибоначчи санлары.
   
8. 
   Бөлеклеўлер комбинаторикасы
   
9. 
   Пайда етиўши функциялар.
   
10. 
    Пайда етиўши функциялардың комбинаторикаға қолланыўлары.
    
11. 
    Айтымлар үстинде логикалық әмеллер.
    
12. 
    Айтымлар алгебрасының тең күшли формулалары.
    
13. 
    Тийкарғы тең күшли формулаларға байланыслы теоремалар.
    
14. 
    Формулаларнинг нормал формалары.
    
15. 
    Формулаларнинг максимал нормал формадары.
    
16. 
    Формулаларды тиклеў.
    
17. 
    Формулалардың шынлық көплиги.
    
18. 
    Буль алгебрасы.
    
19. 
    Қосарлылық(екилик) нызамы.
    
20. 
    Жегалькин көпағзалысы ҳәм монотон функциялар.
    

Курс жумысы ушын темалары( топары):

1. 
   Функциональ жабық системалар. Пост теоремасы.
   
2. 
   Айтымлар есабының формулалары.
   
3. 
   Келтирип шығарыў қәдесиниң туўындылары.
   
4. 
   Дәлиллениўши формула. Дедукция нызамы.
   
5. 
   Айтымлар алгебрасы ҳәм айтымлар есабы арасындағы қатнаслар.
   
6. 
   Айтымлар есабының қарама-қарсылықсызлығы, тығызлығы ҳәм
   

толықлығы проблемалары.

7. 
   Предикатлар логикасы. Ўлыўмалық ҳәм бар болыў кванторлары.
   
8. 
   Предикатлар логикасының тең күшли формулалары.
   
9. 
   Предикатлар логикасының қолланылыўлары. Аксиоматикалық
   

предикатлар есабы.

10. 
    Предикатлар есабының қарама-қарсылықсызлығы, тығызлығы ҳәм
    

толықлығы проблемалары.

11. 
    Математикалық теориялар ҳаққында түсиниклер.
    
12. 
    Математикалық теориялардың геометрия, алгебра ҳәм анализге
    

қолланылыўлары.

13. 
    Математикалық логиканың техникаға қолланылыўлары.
    
14. 
    Реле-контактлы схемалар.
    
15. 
    Математикалық логика функцияларын минималластырыў
    

проблемалары.

16. 
    Өз-өзине қосарлы функциялар классы.
    
17. 
    Функциялар системасының толықлығы ҳәм жабықлығы.
    
18. 
    Монотон ҳәм сызықлы функциялар классы.
    
19. 
    Функциялар системасы толықлығының зәрүрли ҳәм жетерли шәрти.
    
20. 
    Толық ҳәм жабық системалар.
    
21. 
    Әҳийметли жабық системалар. Толықлық ҳаққында теоремалар.
    
22. 
    Графлар теориясының элементлери.