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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Интернет сайтлары.

1. 
   www.lex.uz
   
2. 
   www.lib.homelinex.org/math
   
3. 
   www.eknigu.com/lib/Mathematics/
   
4. 
   www.eknigu.com/info/M_Mathematics/MC
   
5. 
   www. pedagog. uz
   
6. 
   www. edu. uz
   
7. 
   http://ziyonet.uz
   
8. 
   http://ziyonet.uz-Ziyonet axborot-ta’lim resurslari portal
   
9. 
   http://titli.uz
   
10. 
    http://nauki-online.ru
    
11. 
    http://www.math.ru
    

ф-м. и. к., доцент Алламбергенов Х. С

Жузбаев Н. О.