Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги мирзо улуғбек номидаги

Мустақил таълим мавзулари
Соати
1	Амалий машғулотларга тайёргарлик кўриш	34
2	Курс ишини бажариш	10
3	ПРФ, УРФ ва КР-функциялар.	2
4	Алгоритмлар назарияси ва диагоналлаштириш.	2
5	Хисобланувчи саналувчилик ва Пост теоремаси.	2
6	Оддий, гипероддий ва максимал тўпламлар.	2
7	Даражалар ярим-панжалари.	2
8	Алгоритм мураккаблиги. Вакт ва хотира. Нодетерминант Тьюринг машиналарида дастурлаш.	4
9	P ва NP мураккаблик синфларини тузиш.	2
10	NP-тўла ва NP-қийин масалалар.	2
11	Рекурсия асосланган алгоритмлар. Саралаш. Дарахтларда кидириш, коммивояжер масаласи.	4
12	Хисобланувчи моделлар.	2
Жами:		68

6. Тавсия этилган адабиётлар рўйхати
Асосий адабиётлар

1. 
   Ершов Ю.Л. Палютин Е.А., «Математическая логика». М., 1979.
   
2. 
   Мальцев А.И., «Алгоритмы и рекурсивные функции». М., 1986.
   
3. 
   Роджерс Х., «Теория рекурсивных функций и эффективная вычислимость». М., 1972.
   
4. 
   Лавров И.А., Максимова Л.Л., «Задачи по теории множеств, математической логике и теории алгоритмов». М., 1995.
   

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

5. 
   Верещагин Н.К., Успенский В.А., Шэнь А., «Колмогоровская сложность и алгоритмическая случайность». М., 2013.
   
6. 
   Гончаров С.С., Ершов Ю.Л., «Конструктивные модели», Новосибирск, Научная книга, 1999.
   
7. 
   Соар Р.И., «Вычислимо перечислимые множества и степени». Казань, «Казанское математическое общество», 2000
   

Интернет сайтлари

1. 
   http://th-algoritmov.narod.ru;
   
2. 
   http://www.natlib.uz;
   
3. 
   http://lib.mexmat.ru
   

Фан бўйича талабалар билимини баҳолаш ва назорат қилиш мезонлари

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

Талабалар билимини баҳолаш мезонлари
а) “5” баҳо учун талабанинг билим даражаси қуйидагиларга жавоб бериши лозим:

• 
  Ҳулоса ва қарор қабул қилиш;
  
• 
  Ижодий фикрлай олиш;
  
• 
  Мустақил мушоҳада юрита олиш;
  
• 
  Олган билимларини амалда қўллай олиш;
  
• 
  Моҳиятини тушуниш;
  
• 
  Билиш, айтиб бериш;
  
• 
  Тасаввурга эага бўлиш;
  

б) “4” (яхши) баҳо учун талабанинг билим даражаси қуйидагиларга жавоб бериши лозим:

• 
  Мустақил мушоҳада юрита олиш;
  
• 
  Олган билимларини амалда қўллай олиш;
  
• 
  Моҳиятини тушуниш;
  
• 
  Билиш, айтиб бериш;
  
• 
  Тасаввурга эага бўлиш;
  

в) “3” (қониқарли) баҳо учун талабанинг билим даражаси қуйидагиларга жавоб бериши лозим:

• 
  Моҳиятини тушуниш;
  
• 
  Билиш, айтиб бериш;
  
• 
  Тасаввурга эага бўлиш;
  

г) талабанинг билим даражаси “2” (қониқарсиз) деб қуйидаги холларда баҳоланади:

• 
  Аниқ тасаввурга эга бўлмаслик;
  
• 
  Жавобларда хатоликларга йўл қўйилганлик;
  
• 
  Билмаслик.