O`zbekiston Respublikasi O`liy va o`rta maxsus ta`lim vazirligi

 

Foydalaniladigan asosiy darsliklar va о‘quv qо‘llanmalar rо‘yxati 

Asosiy  darsliklar va о‘quv qо‘llanmalar 

1.  Kenneth  H.  Rosen,  Discrete  mathematics  and  its  applications,  7-edition,  The  

 McGraw-Hill Companies, 2012 

2.  Мендельсон Э. Введение в математическую логику. М.: Наука, 1984  

3.  Яблонский С. В. Введение в дискретную математику. – М.: Наука, 1986. 

4.    Юнусов А.С. Математик мантиқ ва алгоритмлар назарияси элементлари. Т.,2008 й. 

5.  Лавров И.  А., Максимова Л.  Л.  Задачи по теории множеств,  математической логике и теории 

алгоритмов. М.: Физ.-мат. литература, 1995.  

6.  Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М. Мир. 1972. 

7. Тураев Х.Т., Математик мантик ва дискрет математика.- Т., Укитувчи,2003. 

8.   Гаврилов Г. П., Сапоженко А. А. Сборник задач по дискретной математике. - М.: Наука. -1969.  

9. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.  

10. Клини С. К. Математическая логика. М.: Мир, 1973  

---

11. Partee B., ter Meulen A., Wall R. Mathematical Methods in Linguistics. Dordrecht: Reidel, 1989.  

12. Дискрет математика ва математик мантиқ. Ўқув услубий  мажмуа, Т.,Университет, 2011.  

13. Abulov  M.  O.  Diskret  matematika  va  matematik  mantiq  fanidan  misol  va  masalalar  to`plami. 

Qarshi. Uslubiy qo`llanma, 2019 yil, 416 bet. 

14. . Игошин В.И. Математическая логика и теория алгоритмов. М.: Акад.2008. 448 стр. 

15. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: 

Академия, 2007. 304 стр. 

16. В.А. Носов. Комбинаторика и теории графов. М. 1999 г. 116 стр. 

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

1. 

http://dimacs.rutgers.edu/

 

2. 

http://epubs.siam.org/sam-bin/dbq/toclist/SIDMA

 

3. 

http://www.vsppub.com/journals/jn-DisMatApp.html