Английская Википедия:Fragment (logic): история изменений

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

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

9 марта 2024

  • текущ.пред. 06:0806:08, 9 марта 2024EducationBot обсуждение вклад 2392 байта +2392 Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, a '''fragment''' of a logical language or theory is a subset of this logical language obtained by imposing syntactical restrictions on the language.<ref name="bm">{{citation|title=The Calculus of Computation: Decision Procedures with Applications to Verification|first1=Aaron R.|last1=Bradley|first2=Zohar|last2=Manna|...»