ПРЕДИКАТЛАР ВА КВАНТОРЛАР ЁРДАМИДА ТЕОРЕМАЛАРНИ ТУЗИШ
Annotatsiyalar
-
Ўзбек
Мақолада дискрет математика ва математик мантиқни реле-контактли схемаларга, автоматик схемаларни лойиҳалаш ва программалаштиришга татбиқлари кўриб чиқилган.
Kalit so'z: #кванторлар #предикатлар #реле-контактли схемалар
-
Русский
В статье рассматривается применение дискретной математики и математической логики в реле- контактных схемах, конструирование автоматических схем и программирование.
Kalit so'z: #кванторлар #предикатлар #реле-контактли схемалар
-
English
This article discusses the use of discrete mathematics and mathematical loqic in the relay-contact circuits, the design of automatic circuits and programming.
Kalit so'z: #кванторлар #предикатлар #реле-контактли схемалар
Hujjatni onlayn ko'rish
Foydalanilgan adabiyotlar
| № | Havola nomi |
|---|---|
|
1 |
1. Игошин В.И. Математическая логика и теория алгоритмов. –Саратов, 1991. |
|
2 |
2. Тўраев Х. Математик мантиқ ва дискрет математика. -Т., 2003 . |
|
3 |
3. Неъматов И. Дискрет математика ва математик логика элементлари. -Фарғона, 2017. |
