ПРЕДИКАТЛАР ВА КВАНТОРЛАР ЁРДАМИДА ТЕОРЕМАЛАРНИ ТУЗИШ

##plugins.themes.bootstrap3.article.main##

И.Неъматов
С.Кукиева

Annotatsiya

Мақолада дискрет математика ва математик мантиқни реле-контактли схемаларга, автоматик схемаларни лойиҳалаш ва программалаштиришга татбиқлари кўриб чиқилган

##plugins.themes.bootstrap3.article.details##

Bo‘lim
Matematika

Foydalaniladigan adabiyotlar

Игошин В.И. Математическая логика и теория алгоритмов. –Саратов, 1991.

Тўраев Х. Математик мантиқ ва дискрет математика. -Т., 2003 .

Неъматов И. Дискрет математика ва математик логика элементлари. -Фарғона, 2017