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

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

1. 
   Маршрутлар ҳәм шыншырлар.
   
2. 
   Эйлер ҳәм Гамильтон графлары.
   
3. 
   Дарахтлар ҳәм тармақлардың қолланылыўлары.
   
4. 
   Комбинаторика. Тийкарғы комбинациялар.
   
5. 
   Паскал үшмүйешлиги. Ньютон-Биномы.
   
6. 
   Тәкирарланыўшы комбинациялар.
   
7. 
   Фибоначчи санлары.
   
8. 
   Бөлеклеўлер комбинаторикасы
   
9. 
   Пайда етиўши функциялар.
   
10. 
    Пайда етиўши функциялардың комбинаторикаға қолланыўлары.
    
11. 
    Айтымлар үстинде логикалық әмеллер.
    
12. 
    Айтымлар алгебрасының тең күшли формулалары.
    
13. 
    Тийкарғы тең күшли формулаларға байланыслы теоремалар.
    
14. 
    Формулаларнинг нормал формалары.
    
15. 
    Формулаларнинг максимал нормал формадары.
    
16. 
    Формулаларды тиклеў.
    
17. 
    Формулалардың шынлық көплиги.
    
18. 
    Дәлиллениўши формулалар улыўма түсиник.
    
19. 
    Алгоритм түсиниги.
    
20. 
    Дара рекурсив функциялар.
    
21. 
    Тъюринг машиналары.
    
22. 
    Рекурсив ҳәм рекурсив саналыўшы функциялар.
    
23. 
    Алгоритмлик шешилиўши ҳәм шешилмейтуғын проблемалар.
    

Әдебиятлар ҳәм ахборот манбалари:

1. 
   Turaev H.T., Azizov İ. Matematik mantik va diskret matematika.- T.,2011; 1-2 j
   
2. 
   Yunusov A.S. Matematik mantik va algoritmlar nazariyasi elementlari, T., 2003.
   
3. 
   Tuxtasinov M., Diskret matematika va matematik mantik.- T., Universitet, 2005.
   
4. 
   Мендельсон Е. Введение в математическую логики . M 1984
   
5. 
   Яблонский С. М. Введение в дискретную математики. – M.: Н. 1986.
   
6. 
   Maльцев A. И. Алгебрические системы. – M.: Наука, 1970.
   
7. 
   Лавров И. А., Максимова Л. Л. Задачи по теории множеств,
   

математическую логике и теории алгоритмов. M.: Физ-мат.
Интернатура, 1995.
8. Eршов Ю. Л., Пальютин E. A. Maтематическая логика. M.: Наука, 1987.
9. Yunusov A.S. Matematik mantik va algoritmlar nazariyasi elementlari, T., 2003.
10. Kлини С. К. Maтематическая логика. M.: Mир, 1973
11. Tuxtasinov M., Diskret matematika va matematik mantik.- T., Universitet, 2005.
12. Гнеденко С. Ж. Алгебра логики в задачах. – M.: Наука, 1972.
13. Maльцев A. И. Алгебрические системы. – M.: Наука, 1970.
14. George Tourlakis. Mathematical Logic;. Wiley 2014
15. Partee B., ter Meulen A., O’all R. Mathematical Methods in Linguistics.
Dordrecht: Reidel, 1989.
16. Allambergenov X. S., Juzbaev N. O., Allambergenov A. X Diskret matematika
ha’m matematikalıq logika. : No’kis. Qaraqaopaqstan baspası 2016 j