13 август 2022
1Asosiy til:O'zbek
ПРЕДИКАТЛАР ВА КВАНТОРЛАР ЁРДАМИДА ТЕОРЕМАЛАРНИ ТУЗИШ
Fan yo'nalishi:
file.pdf
MAQOLA ANNOTATSIYASI
Мақолада дискрет математика ва математик мантиқни реле-контактли схемаларга, автоматик схемаларни лойиҳалаш ва программалаштиришга татбиқлари кўриб чиқилган.
MUALIFLAR
Teglar
# кванторлар# предикатлар# реле-контактли схемалар# кванторы# предикаты# реле-контактные схемы# quantifiers# predicates# relay-contact circuits
Maqolani baholang
0
Maqola idintifikatorlari
DOI:
Mavjud emas
Foydalanilgan adabiyotlar
1. Игошин В.И. Математическая логика и теория алгоритмов. –Саратов, 1991.
2. Тўраев Х. Математик мантиқ ва дискрет математика. -Т., 2003 .
3. Неъматов И. Дискрет математика ва математик логика элементлари. -Фарғона, 2017.