Mavzu: predikatlar mantiqi formulasining normal shakli. Bajaruvchi va umumqiymatli formulalar

4.FOYDALANGAN ADABIYOTLAT

1. 
   To’xtasinov M., Diskret matematika va matematik mantik.- T., Universitet, 2005.
   
2. 
   H.T. To’rayev, I. Azizov Matematik mantiq va diskret matematika. 1,2 jild. ―Tafakkur-Bo’stoni, Toshkent, 2011y.
   
3. 
   Qasimov N.X., Dadajonov R.N., Ibragimov F.N. Diskret Matematika va matematik mantiq asoslari (o’quv qo’llanma), T., O’zbekiston Milliy universiteti, 2016.
   
4. 
   To’rayev X.T., Matematik mantiq va diskret matematika.- T., O’qituvchi, 2003.
   
5. 
   Yunusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2003.
   

INTERNET RESURSLAR:

1. http://dimacs.rutgers.edu/

2. www.ziyo-net.uz
3. http://epubs.siam.org/sam-bin/dbq/toclist/SIDMA
4. http://www.vsppub.com/journals/jn-DisMatApp.html
5. http://www.uni-bonn.de/logic/world.html
6. http://www.math.uni-bonn.de/people/logic/