Mustaqil ishlarni tashkil etish shakli va mazmuni

Mustaqil ishlarni tashkil etish shakli va mazmuni
Mustaqil ishning maqsadi olingan nazariy bilimlarni mustahkamlash, belgilangan mavzular asosida qo‘shimcha bilim olishdan iborat. Bunda ushbu ishlarni bajaradilar:

• 
  amaliy mashg‘ulotlarga tayyorgarlik;
  
• 
  nazariy tayyorgarlik ko‘rish;
  
• 
  uy vazifalarni bajarish;
  
• 
  o‘tilgan materiallar mavzularini qaytarish;
  
• 
  mustaqil ish uchun mo‘ljallangan nazariy bilim mavzularini o‘zlashtirish.
  

Bunda talabalar ma’ruzalarda olgan bilimlarini amaliy mashg‘ulotlarni bajarishlari bilan mustahkamlashi hamda statistikaning ba’zi mavzularini tushunishi hamda ularga oid masalalarni echishlari kerak.
Mustaqil ish mavzularini o‘zlashtirish ta’lim jarayonida uzluksiz nazorat qilib boriladi va yozma hisobot sifatida topshiriladi.
Mustaqil ish mavzulari
1-topshiriq
1. Binar munosabatlar ustida amallar.
2. Qisman tartiblangan to‘plamlar.
3. Formula, qism formula. Teng kuchlili formulalar.
4. Chinlilik jadvali.
5. Mukammal konyunktiv normal formalar.
6. Bul funksiyalari soni.
7. Elementar bul funksiyalari.
8. Funksiyalarni formulalar ko‘rinishda ifodalash.
9. Ikkilamchi funksiyalar. Ikkilamchilik prinsipi.
10.Mukammal kon’yunktiv normal forma.
11.Monoton funksiyalar sinfi.
12.Chiziqli funksiyalar sinfi.
13. Post teoremasi natijalari.
14. Hisob tushunchasi. Mulohazalar xisobi.
15.Keltirib chikarish. Isbot tushunchasi.
16.Umumlashgan Deduksiya teoremasi.
17.Mulohazalar hisobining to‘liqligi.
18.Mantiqiy funksiya tushunchasi. Predmetlar soxasi.
19.O‘zgarmas predmetlar va o‘zgaruvchi muloxazalar.
20.Aynan chin formula. Aynan yolgon formula.
21.Algoritmlar. Algoritmlar murakkabligi.
22.Tyuring mashinasi.
23.Primitiv rekursiya operatori.
24.Minimizatsiya operatori.
Izoh: Mustaqil ta’lim soatlari hajmlaridan kelib chiqqan holda ishchi dasturda mazkur mavzular ichidan mustaqil ta’lim mavzulari shakllantiriladi.
Har bir talaba jurnaldagi o`rmiga mos ravishda mavzuni oladi va tayyorlaydi.
2-topshiriq
Rele-kontakt shema tuzing:
a)Unga mos formula yozing
b) Teng kuchli formulalarda foydalanib soddalashtiring
v) soddalashgan hol uchun hema tuzing
g) Rostlik jadvali tuzing
Dasturning informatsion-uslubiy ta’minoti
Fanni o‘qitish jarayonida mavjud nashr qilingan o‘quv qo‘llanmalari va elektron manbalar, Internet tizimidagi mos ta’lim saytlari ma’lumotlaridan, xususan http://www.intuit.ru, http://www.book.ru, http://www.zionet.uz va shunga o‘xshash saytlaridan foydalaniladi. Kompyuter texnikasini qo‘llash bilan bog‘liq zamonaviy pedagogik va informatsion texnologiyalar asoslangan o‘qitish metodlari qo‘llaniladi

Asosiy darsliklar va o‘quv qo‘llanmalar
1.Kenneth H. Rosen, Discrete mathematics and its applications, 7-edition, The McGraw-Hill Companies, 2012
2.Mendelson E. Vvedenie v matematicheskuyu logiku. M.: Nauka, 1984
3.Yablonskiy S. V. Vvedenie v diskretnuyu matematiku. – M.: Nauka, 1986.
4.Yunusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2008.
5.Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995.
Qo‘shimcha adabiyotlar
6.Rodjers X. Teoriya rekursivnix funksiy i effektivnaya vichislimost. M.: Mir, 1972.

1. 
   To‘raev X.T., Matematik mantik va diskret matematika.- T., O‘qituvchi,2003.
   
2. 
   Ershov YU. L., Palyutin E. A. Matematicheskaya logika. M.: Nauka, 1987.
   
3. 
   Klini S. K. Matematicheskaya logika. M.: Mir, 1973
   
4. 
   Partee B., ter Meulen A., Wall R. Mathematical Methods in Linguistics. Dordrecht: Reidel, 1989.
   
5. 
   Diskret matematika va matematik mantiq(o‘quv uslubiy majmua), T., Universitet, 2011
   
6. 
   http://dimacs.rutgers.edu/
   
7. 
   http://epubs.siam.org/sam-bin/dbq/toclist/SIDMA
   
8. 
   http://www.vsppub.com/journals/jn-DisMatApp.html
   
9. 
   http://www.uni-bonn.de/logic/world.html
   
10. 
    http://www.math.uni-bonn.de/people/logic/
    
11. 
    http://www.math.uu.se/logik/logic-server/
    
12. 
    http://dmoz.org/Science/Math/Logic/