Сборник задач по дискретной математике. Учебное пособие. Москва: Наука

Predikatlar Algebrasi Formulalarining Normal Shakllari
Reja:
Kirish
1. Predikatlar mantiqi formulasining nomal shakli.
2. Bajariluvchi va umumqiymatli formulalar.
3. Yechilish muammosi. Xususiy hollarda formulaning
umumqiymatliligini topish algoritmlari
4. Tarkibida bir turdagi kvantor amali qatnashuvchi normal shakldagi
formulalar uchun yechilish muammosi.
Foydalanilgan adabiyotlar

Kirish
Predikatlar mantiqi formulasining nomal shakli, bajariluvchi va

umumqiymatli formulalar, yechilish muammosini o’rganish. Xususiy hollarda formulaning
umumqiymatliligini topish algoritmlari va tarkibida bir turdagi kvantor amali qatnashuvchi
normal shakldagi formulalar uchun yechilish muammosini o’rganish.


Foydalanilgan adabiyotlar:
1.Тўраев Ҳ.Т., Математик мантиқ ва дискрет математика, Тошкент: Ўқитувчи
нашриёти, 2003, 378 б.
2.Лихтарников Л.М., Сукачева Т.Г., Математическая логика. Курс лекций.
Задачник-практикум и решения, Санк-Петербург: ЛАНЬ, 1999, 286 с.
3. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.
Учебное пособие. Москва: Наука.
4. Искандаров Р.И., Математик логика элементлари,Самарқанд:СамДУ,1970,324 б.