Matematika

Bajariluvchi formulalar. Endi berilgan formula uning atrkibida qatnashuvchi elementar mulohazalarning ba’zi qiymatlar satrlari uchun ch, ba’zilari uchun esa yo qiymat qabul qilish holini qaraymiz.

5-ta’rif. Tarkibidagi elementar mulohazalarning kamida bitta qiymatlar satrida ch qiymat qabul qiluvchi aynan ch in bo’lagan formula bajariluvchi formula deb ataladi.

5-misol. formulalar bajariluvchi formulalardir, lekin formulalar bajariluvchi formulalar emas (1-,2- va 3- jadvallarga qarang)

Xulosa:

- Mulohaza. Mulohazalar ustida amallar haqida ma’lumot berildi;

- Formula va teng kuchlilik tushunchalari haqida ma’lumot hamda formulalar, jadvallar keltirildi;

-Tavtologiya ta’rif, teorema va misollar keltirildi jadvallari bilan;

-Aynan chin formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;

-Aynan yolg’on formullar ta’rif, teorema va misollar keltirildi jadvallari bilan;

- Bajariluvchi formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;

Foydalanilgan adabiyotlar:

1. Mirziyoyev Sh . M. Erkin va farovon demokratik O’zbekiston davlatini birgalikda barpo etamiz . O’zbekiston Respublikasi Prezidenti lavozimiga kirishish tantanali marosimiga bag’ishlangan Oliy Majlis palatalarining qo’shma majlisidagi nutq , Toshkent , 2016 .

2 . Mirziyoyev Sh . M . Tanqidiy tahlil , qat’iy tartib - intizom va shaxsiy jabobgarlik - har bir raxbar faoliyatining kundalik qoidasi bo’lishi kerak . Mamlakatimizni 2016 – yilda ijtimoiy – iqtisodiy rivojlantirishning asosiy yakunlari va 2017 yilga mo’ljallangan iqtisodiy dasturning eng muhim ustuvor yo’nalishlariga bag’ishlngan Vazirlar Mahkamasining kengaytirilgan majlisidagi ma’ruza , 2017 yil 14 – yanvar - Toshkent , O’zbekiston , 2017 .

3 . Mirziyoyev Sh . M . Buyuk kelajagimizni mard va olijanob xalqimiz bilan birga quramiz . Mazkur kitobdan O’zbekiston Respublikasi Prezidenti Shavkat Mirziyoyevning 2016 yil 1- noyabrdan 24 noyabrga qadar Qoraqalpog;iston Respublikasi , viloyatlar va Toshkent shahri saylovchilari vakillari bilan o’tkazilgan saylovoldi uchrashuvlarida so’zlagan nutqlari o’rin olgan . Toshkent , O’zbekiston , 2017 . 488- bet .

4 . Mirziyoyev Sh . M . Qonun ustuvorligi va inson manfaatlarini taminlash yurt taraqqiyoti va xalq farovonligining garovi . O’zbekiston Respublikasi Konstitutsiyasi qabul qilinganining 24 yilligiga bag’ishlangan tantanali marosimdagi ma’ruza . 2016 yil , 7- dekabr – Toshkent , O’zbekiston 2017, 48- bet.

5 . Hotam To’rayev “ Matematik mantiq va diskret matematika “

Toshkent “ O’qituvchi “ -2003 .

6 . Kenneth H. Rosen Discrete mathematics and is applications , 7- edition , The Mc Graw – Hill Companies 2012 . Введение в математичискую Логину : М . Наука 1984

7 . Мендельсон Е.Введение в математичискую Логину : М . Наука 1984.

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

9 . Y unusov A . S . - Matematik mantiq va algoritimlar nazariyasi elementlari . Toshkent 2008 .

10. Hotam To’rayev 2 jildli kitob “ Diskret matematika va matematik mantiq “ 2013 – yil .

11 . Зиков А. А . Основы теории графов . М . « Наука « , 1987.

12 . Новиков П . С . Элементы математической логики . М . Наука , 1973 .

Internet saytlari

13. www.lib.homelinex.org /math

14 . www.eknigu.com./lib/ Mathematics/

15 . www.eknigu .com/info/M

16. http://dimacs,Rutgers,edu/

17. http://www.math.uu.se/logic-server/

18 . http://book.uhost.ru./036413/