Вывод (рассуждение): различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 8:
[[математика|математике]], [[информатика|информатике]], [[логическое программирование|логическом программировании]] и др.
В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств [[логического программирования]].
Умозаключения (отдельные шаги вывода) по направлению логического следования разделяют на
|