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