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