Мазкур ишчи фан дастури "Амалий математика ва интеллектуал техналогиялар" факультети Кенгашининг 2022 йил " " даги йиғилишида муҳокама қилиниб, тасдиқлаш учун тавсия этилган.

Асосий адабиётлар

5. 
   E.Mendelson, Introduction to Mathematical Logic, Sixth Edition, 2015
   
6. 
   N.Kh.Kasymov. Dadajanov R.N,F.N.Ibragimov, Diskret matematika va matematik mantiq asoslari, Toshkent 2019. 115 bet.
   
7. 
   Игошин В.И. Задачник по математической логики и теории алгоритмов. – М.: Академия
   
8. 
   Xudoyberdiyev A.X., Kombinatorika va graflar nazariyasi, Toshkent, 2017.
   

Қўшимча адабиётлар

9. 
   Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972.
   
10. 
    Тўраев Х.Т., Математик мантик вадискрет математика.- Т., Ўқитувчи,2003.
    
11. 
    Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
    
12. 
    Клини С. К. Математическая логика. М.: Мир, 1973
    
13. 
    Partee B., terMeulen A., Wall R. Mathematical Methods in Linguistics. Dordrecht: Reidel, 1989.
    
14. 
    Дискрет математика ва математик мантиқ(ўқув услубий мажмуа), Т., Университет, 2011
    
15. 
    Kenneth H. Rosen, Discrete mathematics and its applications, 7-edition, The McGraw-Hill Companies, 2012
    
16. 
    Мендельсон Э. Введение в математическую логику. М.: Наука, 1984
    
17. 
    Яблонский С. В. Введение в дискретную математику. – М.: Наука, 1986.
    
18. 
    Юнусов А.С. Математик мантиқ ва алгоритмлар назарияси элементлари, Т., 2008.
    
19. 
    Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Физ.-мат. литература, 1995.
    

Ахборот манбаалари

1. 
   http://dimacs.rutgers.edu/
   
2. 
   http://epubs.siam.org/sam-bin/dbq/toclist/SIDMA
   
3. 
   http://www.vsppub.com/journals/jn-DisMatApp.html
   

Талаба билимини баҳолаш

Талаба билимини баҳолаш кредит-модуль тизимига мувофиқ ишлаб чиқилган Низом асосида амалга оширилади.

Назорат тури ОБ№1 ЯБ Ўтказилиш вақти 11-12 ҳафта 19-20 ҳафта Назорат шакли Ёзма Ёзма Оғзаки *Изоҳ. Назоратлардаги ҳар бир савол ва топшириқлар қуйидаги мезонлар бўйича баҳоланади. Оралиқ баҳолаш ёзма равишда ўтказилганда талабага битта назарий ва 2 та амалий топшириқ берилади. Ҳар бир мисол ва масалалар 5 лик баҳолаш мезони бўйича баҳоланиб, якуний баҳо ўрта арифметик бўйича ҳисобланади. Якуний баҳолаш оғзаки ўтказилганда талабага иккита назарий, учта амалий топшириқлардан иборат билет берилади. Ушбу топшириқлар бўйича савол-жавоб қилиниб, якуний баҳо ўрта арифметик бўйича ҳисобланади.