wiki-linki.ru - поиск статей википедии и связей между ними

Семантика вычислений


Семантика вычислений — это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте (....)-исчисления. Сходимость важна также в системах автоматического доказательства, основанных на эквациональной логике первого порядка.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.