8-мавзу. Тўлиқлик ҳақидаги Геодел теоремаси. (2-соат) Режа

Асосий дарслик ва қўлланмалар.
1. E.Mendelson Introduction to mathematical logic, fifthe edition, by Taylor &Francis Group, LLC, 2010
2. Kenneth H. Rosen, Discrete mathematics and its applications, 7- edition, The McGraw-Hill Companies, 2012
3. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
4. Kasimov N.Kh., Dadajonov R.N., Ibragimov F.N. Diskret matematika va matematik mantiq asoslari (o’quv qullanma), Тoshkent, 2016.
5. Yunusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2008.
6. Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995
Мустақил ишлаш учун саволлар:
1.Формулалар мажмуасидан формулани келти риб чиқариш қоидаси.
2.Келтириб чиқариш (исботлаш) тушунчаси.
3.Дедукция теоремаси. Умумлашган дедукция теоремаси.
4.Айрим мантиқ қонунларининг исботи.