Английская Википедия:Axiomatic semantics: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

4 февраля 2024

  • текущ.пред. 16:4916:49, 4 февраля 2024EducationBot обсуждение вклад 1919 байт +1919 Новая страница: «{{Английская Википедия/Панель перехода}} {{Semantics}}{{RefImprove|date=December 2021}} '''Axiomatic semantics''' is an approach based on mathematical logic for proving the correctness of computer programs.<ref>{{Cite book|last=Winskel|first=Glynn|url=https://books.google.com/books?id=JzUNn6uUxm0C&q=%22Axiomatic+semantics%22|title=The Formal Semantics of Programming Languages: An Introduction|date=1993-02-05|publisher...»