Зворотний вивід (або зворотне міркування) є метод отримання висновку, який працює в зворотному напрямку від мети. Він використовується в автоматизованому...

вивід. Вивід чи виведення може відноситись до: Дедукція — процес в логіці Правило висновування — в математичній логіці Прямий вивід Зворотний вивід Вивід...

методу прямого виводу є метод зворотного виводу. Метод прямого виводу починає з наявних даних і використовує правила виводу для отримання додаткових даних...

результаті зворотної імплікації. ⊂ «Немає q без p.» «p якщо q.» Формула оберненої імплікації в булевій алгебрі — (А + ~В) (A+B̅) Зворотний вивід Список логічних...

такий зворотний зв'язок, щоб при необхідному вихідному стані досягалася рівність напруги на входах ОП (інвертуючому і неінвертуючому), а зворотний зв'язок...

діодний тиристор — тиристор, що має два виводи, та проводить струм лише в одному напрямку. Зовнішня n-область і вивід від неї називається катодом. Внутрішні...

файлі. За замовчуванням, less відображає вміст стандартного вводу. Якщо вивід перенаправляється на інший термінал, для прикладу конвеєр з іншої команди...

така фільтрація потрібна для стабільних систем. Корисним виводом ФАПЧ-системи є або вивід керованого генератора, або керуючий генератором сигнал (в залежності...

узагальнення за аналогією посилання на авторитет причинно-наслідкове Байєсівський вивід використовується у Байєсизмі для раціонального обґрунтування індукції. Теорема...

більша зворотна напруга тим менша ємність конденсатора. Ємність варикапа Св — ємність, яка вимірюється між виводами варикапа при заданій зворотній напрузі...

зовнішніх виводів розрізняють: діодні тиристори (диністори, мають два зовнішні виводи), тріодні тиристори (триністори, мають три зовнішні виводи) та тетродні...

програм GNU coreutils, що виводить у стандартний потік виводу (stdout) рядки вказаних файлів в зворотному порядку. У наведеному нижче прикладі виводиться вміст...

(стоковий) вивід не сполучається з іншими елементами модуля (мікросхеми), а безпосередньо виводиться назовні (на роз'єм модуля або вивід мікросхеми)...

(learnability). Показник, зворотний зусиллям, затрачуваним користувачами на навчання роботі з ПЗ. Зручність роботи (operability). Показник, зворотний зусиллям, що...

«крильця» для відводу тепла. Виводи катода, анода і підігрівача (в лампах непрямого нагріву катода) з'єднані з зовнішніми виводами (ніжками лампи). При розігріві...

поверхневого монтажу на плату. BGA виводи являють собою кульки припою, нанесені на контактні площинки зі зворотної сторони мікросхеми. Мікросхему розташовують...

автоматизованого доведення теорем, метод називається пошуком назад або зворотним виводом. У шахах він відомий як ретроспективний аналіз. Індукцію назад використовували...

DFB-лазер — лазер з розподіленим зворотним зв'язком (англ. Distributed feedback laser). Розподілений зворотний зв'язок (РЗЗ) — зворотний зв'язок в деяких типах...

деяких рептилій і ссавців) сечового міхура, у якому накопичується сеча для виводу з організму. У ссавців сеча виводиться з уретри, в інших хребетних сеча...

закриття: операція, зворотна відкриттю, звільняє зайняті при відкритті ресурси й знищує дескриптор файлу; керування вводом-виводом-IO Control-IOCTL. Найчастіше...

половини (з кількістю витків w1) і має вивід від середини (нульовий). Як ключі, використано транзистори зі зворотними діодами, що забезпечує їх двобічну провідність...

конфліктну множину продукційної системи. Вивід в такій базі знань може бути прямим (від даних), або зворотним (від цілі до даних). Даними є вихідні факти...

забезпечувати тактильний зворотний зв'язок, який наслідує відчуття дотику. Це дозволяє використовувати рукавичку з проводом також як пристрій виводу. Зазвичай, провідні...

інша продовжувала розрахунки). RDFLXA – Читання вводу з консолі WRFLX – Вивід на консоль DEAD – Встановлення стану користувача у «непрацюючий» без жодної...

тільки суттєво спрощує механізм перевірки узгодження типів, але й уможливлює вивід усіх або майже всіх (залежно від діалекту) типів у програмі. Найпростіше...

даних, таких як списки і дерева, створених відповідно до аксіом і правил виводу формальних систем. Таким чином, теорія доказів є синтаксичною, на відміну...

попередніх рядків застосуванням одного з правил виводу. Формальним доведенням твердження називається формальний вивід, останнім рядком якого є дане твердження...

Потенціо́метр (англ. potentiometer) — змінний резистор із трьома виводами, один із яких рухомий, що використовується, як дільник напруги. Електричний струм...

R_{B1}} і нижній опір R B 2 {\displaystyle R_{B2}}  — опори між відповідними виводами бази і емітера, а діодом зображено емітерний р-п-перехід. Струм, що протікає...

в комплекті електрифіковану друкарську машинку (термінал) для вводу та виводу інформації зі швидкістю 7 знаків на секунду. Архітектурно комп'ютер є...

через них проходять незначні зворотні струми. У першому наближенні можна вважати, що всі струми дорівнюють нулю, а між виводами транзистора має місце розрив;...