Логічне виведення |
👉 Визначення: |
| Логічне виведення (або Логический вывод) - Послідовність міркувань, яка веде від фіксованого набору посилок до висновку з використанням аксіом та правил виведення. Логический вывод - это Последовательность рассуждений, приводящая от фиксированного набора посылок к заключению с использованием аксиом и правил вывода). Англійською термін перекладається, як 'Logical inference'. Референси:"Логічне виведення або Логический вывод (англ.: Logical inference)" згадується у нормативному документі ДСТУ 2481-94 IНТЕЛЕКТУАЛЬНI IНФОРМАЦIЙНІ ТЕХНОЛОГIЇ.Терміни. Теги: . Довжина тлумачення терміну: 291 символів. |
|
| ||||
| Фразу додано 2016-12-14 та оновлено 2026-09-12T00:20Z. Відповідно: більше року тому. | ||||
FAQ❔ Де джерело визначення Логічне виведення?Термін "Логічне виведення" походить з нормативного документа ДСТУ 2481-94 IНТЕЛЕКТУАЛЬНI IНФОРМАЦIЙНІ ТЕХНОЛОГIЇ.Терміни.
❔ Чи є переклад на англійську?"Логічне виведення" англійською буде Logical inference.
❔ Яким чином зібрано цю інформацію?Редакторський колектив сайту збирав інформацію про цей термін з відкритих джерел в мережі інтернет та в нормативній літературі вже досить давно. На сторінці ви знайдете вказівки на джерело.
| ||||
|
Термін Логічне виведення відноситься до категорії літера "Л", згадується у документі ДСТУ 2481-94 IНТЕЛЕКТУАЛЬНI IНФОРМАЦIЙНІ ТЕХНОЛОГIЇ.Терміни. На англійську мову Логічне виведення перекладається, як 'Logical inference'. Ключові слова сторінки: .
| ||||
👉Суміжні терміниТакож прогляньте схожі технічні визначення з ДСТУ 2481-94 IНТЕЛЕКТУАЛЬНI IНФОРМАЦIЙНІ ТЕХНОЛОГIЇ.Терміни: | ||||