axiom

Я пытаюсь понять, как разрешение аксиомы работает в прологе. Предположим, что я определяю две основные операции над натуральными числами: S (термин) (обозначает преемника) и Добавить (термин, еще один термин). Семантика add задается через Добавить (0, x1) - > x1 Добавить (x1, 0) - > x1 ...

Каковы различия и их использования между OMNode и OMElement в аксиому ? Я реализовал синтаксический анализатор XML и использовал оба объекта в реализации. Является ли Омелемент подклассом Омнода ? В качестве примера оба ведут себя одинаково: посмотрите на это //OMElement OMElement omElement = nodeElement; ...

Почему компьютерная программа не может быть доказана так же, как математическое утверждение может? Математическое доказательство строится на других доказательствах,которые строятся от еще большего количества доказательств и далее до аксиом - тех истин, которые мы считаем самоочевидными. компьютерные програм...