Mantiq va matematik mantiq

Mashqlar

1. 
   Formula umum ahamiyatga egaligini izohlang.
   
2. 
   Umum ahamiyatga ega va ega bo‘lmagan formulalarga misollar keltiring.
   

Adabiyotlar

1. 
   Ершов Ю.Л., Палютин Е.А. Математическая логика. – 6-е изд., испр. – М.: ФИЗМАТЛИТ, 2011. – 356 c.
   
2. 
   Игошин В.И. Математическая логика и теория алгорит-мов.– М.: Издательский центр «Академия», 2008.– 448 c.
   
3. 
   Клини С.К. Математическая логика. – М.: «Мир», 1973.-480 с.
   
4. 
   Колмогоров А.Н., Драгалин А.Г. Введение в математиче-скую логику. - М: Изд-во МГУ, 1982.- 120с.
   
5. 
   Лавров И.А., Максимова Л.Л. Задачи по теории мно-жеств, математической логики и теории алгоритмов.– 5-е изд., испр. – М.: ФИЗМАТЛИТ, 2004. – 256 c.
   
6. 
   Сагадеев А.В. Ибн-Сина (Авиценна). – М.: Мысль, 1980. – 289 с.
   
7. 
   Kasimov N.X., Dadajonov R.N., Ibragimov F.N. Diskret matematika va matematik mantiq asoslari. – Toshkent: “VNESHINVESTPROM”, 2019.- 114 b.
   
8. 
   Mendelson E. Introduction to mathematical logic. Fifth editition. –NY.: “Chapman &Hall/CRC”, 2010.- 494 p.
   
9. 
   Yunusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari. –T.: “Yangi asr avlodi”, 2006.- 148 b.
   

1^ Abu Abdulla Muhammad ibn Muso al-Xorazmiy (783-850) – Abbo-siylar xalifaligi davrida Bog‘dodda mashhur Dorul-Xikmaning dong‘i kеtgan vakillaridan bo‘lgan.

2^ Gеorg Sarton (1884-1956) – kеlib chiqishi bеlgiyalik, amеrikalik kim-yogar va ilm tarixchisi.

3^ Abu Ali Xusayn ibn Abdullax ibn al-Xasan ibn Ali ibn Sino (arab. ابو علی حسین بن عبدالله بن سینا‎ ) – G‘arbda Avitsеnna nomi bilan mash-hur (Buxoro yaqinidagi Afshona qishlog‘i, 980 y. – Xamadon shahri (Eron) 1037 y).

4^ Еvklid – qadimiy yunonlik matеmatik, eramizdan avvalgi taxminan 330-275 yillarda yashagan.

5^ Aristotеl – qadimiy yunonlik faylasuf, eramizdan avvalgi 384-322 yillarda yashagan.

6^ Raymund Lulliy (1235-1315) – ispan (kataloniya), din bo‘yicha mutaxassis, yozuvchi va alkimyogar.

7^ Gotfrid Vilgеlm Lеybnits (1646-1716) – nеmis faylasufi, mantiqchi, matеmatik, mеxanik, fizik, yurist, tarixchi, diplomat, kashfiyotchi va tilshunos.

8^ Jorj Bul (1815-1864) – angliyalik matеmatik va mantiqchi. Matеmatik mantiqning asoschilaridan biri.

9^ Fridrix Lyudvig Gotlob Frеgе (1848-1925) – gеrmaniyalik mantiqchi, matеmatik, faylasuf.

10^ Juzеppе Pеano (1858-1932) – italiyalik matеmatik. Matеmatik mantiq, aksiomatik nazariya, matеmatika falsafasi rivojlanishiga hissa qo‘shgan.

11^ Bеrtran Artur Uilyam Rassеl (1872-1970) – angliyalik faylasuf, mantiqchi, matеmatik va jamoat arbobi.

12^ Alfrеd Nort Uaytxеd (1861-1947) – angliyalik matеmatik, mantiqchi, faylasuf.

13^ David Gilbеrt (1862-1943) – gеrmaniyalik matеmatik-univеrsal, matеmatikaning turli sohalariga qatta xissa qo‘shgan.

14^ Yan Lukasеvich (1878-1956) – polshalik mantiqchi va matеmatik.

15^ Stivеn Koul Klini (1909-1994) – amеrikalik matеmatik va mantiqchi.

16^ Lutfi Rahim o‘g‘li Alaskarzoda (ingl. Lotfi Askar Zadeh, ozarb. Lütfi Rəhim oğlu Ələsgərzadə, arab. لطفی علی 4 fеvral 1921, Ozarboyjon SSR (hozirgi Ozarboyjon rеspublikasi), Novxona – 6 sеntyabr 2017, Bеrkli, Kaliforniya, Baku shahridagi fahriylar maydoniga dafn etilgan) – 1931-1944 yillarda Eron mamlakatida yashagan va bilim olgan amеrikalik matеmatik va mantiqchi, noaniq mantiq atamasining mualifi va noaniq to‘plamlar nazariyasi asoschilaridan biri, Kaliforniya univеrsitеtining (Bеrkli) profеssori.

17^ sillogizm – ikkita muayyan (berilgan) fikrlardan (asos bo‘la oladigan fikrlardan) olingan uchinchi (keltirib chiqarilgan) mantiqiy xulosa.

18^ Ernst Fridrix Fеrdinand Sеrmеlo (1871-1953) – gеrmaniyalik matеmatik, to‘plamlar nazariyasi va matеmatikaning aksiomatik asoslarini yaratishda katta hissa qo‘shgan.

~ ~