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

Курс ишларининг намунавий мавзулари

• 
  Гильберт дастури, Гёдел теоремалари ва алгоритмлар назарияси;
  
• 
  Абстракт хисобланувчанлик;
  
• 
  Ечилмаслик даражалари;
  
• 
  Хисобланувчи инвариантлик;
  
• 
  Пост муаммосини Фридберг-Мучник ечими;
  
• 
  Нисбий хисобланувчанлик;
  
• 
  Диофант тўпламлари ва Матиясевич теоремаси;
  
• 
  Канторнинг диагоналлаштириш усули ва продуктивлик;
  
• 
  Арифметик ва аналитик иерархиялари;
  
• 
  Моделларнинг алгоритмик тасвирлари.
  
• 
  Алгоритмлар суперпозицияси.
  
• 
  Марков алгорифми.
  
• 
  Рекурсив бўлмаган функциялар.
  
• 
  Тъюринг машинасини тўхтатиш муаммоси.
  
• 
  Чёрч тезиси.
  
• 
  Алгоритмик ҳал этилиш ва циклга тушиш муаммоси.
  
• 
  Пирамидал саралаш.
  
• 
  Тезкор саралаш.
  
• 
  Тармоқда излаш.
  
• 
  Калитга доир излаш.
  
• 
  Экспоненциал мураккабликга эга алгоритмлар.
  
• 
  Алгоритмларнинг мураккаблиги ўлчовлари
  
• 
  Полиномиал ва экспоненциал мураккабликга эга алгоритмларни қиёсий таҳлили.
  

5. Мустақил ишнинг ташкил этишнинг шакли ва мазмуни

Талаба мустақил ишни тайёрлашда муайян фаннинг хусусиятларини ҳисобга олган ҳолда қуйидаги шакллардан фойдаланиши тавсия этилади.

• 
  дарслик ва ўқув қўлланмалар бўйича фан боблари ва мавзуларини ўрганиш;
  
• 
  тарқатма материаллар бўйича маърузалар қисмини ўзлаштириш;
  
• 
  автоматлаштирилган ўргатувчи ва назорат қилувчи тизимлар билан ишлаш;
  
• 
  махсус адабиётлар бўйича фанлар бўлимлари ёки мавзулари устида ишлаш;
  
• 
  янги жараёнлар ва технологияларни ўрганиш;
  
• 
  талабанинг ўқув-илмий-тадқиқот ишларини бажариш билан боғлиқ бўлган фанлар бўлимлари ва мавзуларни чуқур ўрганиш;
  
• 
  фаол ва муаммоли ўқитиш услубидан фойдаланиладиган ўқув машғулотлари.
  

№