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