Логічне виведення |
👉 Визначення: |
Логічне виведення (або Логический вывод) - Послідовність міркувань, яка веде від фіксованого набору посилок до висновку з використанням аксіом та правил виведення. Логический вывод - это Последовательность рассуждений, приводящая от фиксированного набора посылок к заключению с использованием аксиом и правил вывода). Англійською термін перекладається, як 'Logical inference'. Референси:"Логічне виведення або Логический вывод (англ.: Logical inference)" згадується у нормативному документі ДСТУ 2481-94 IНТЕЛЕКТУАЛЬНI IНФОРМАЦIЙНІ ТЕХНОЛОГIЇ.Терміни. Теги: |
| ||||
Фразу додано 2016-12-14 та оновлено 2016-12-14T00:00Z. Відповідно пройшло днів - 0. | ||||
❔ Де згадується Логічне виведення? "Логічне виведення" згадується у нормативному документі ДСТУ 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Ї.Терміни: |
👉Абетка Термінів
А [739] | Б [652] | В [1645] | Г [724] | Д [950] | Е [526] | Є [29] |
Ж [77] | З [1158] | І [385] | К [1944] | Л [487] | М [981] | Н [978] |
О [958] | П [2758] | Р [1115] | С [1900] | Т [1162] | У [309] | Ф [590] |
Х [206] | Ц [160] | Ч [230] | Ш [323] | Щ [38] | Ю [42] | Я [46] |