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

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

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

20 февраля 2024

  • текущ.пред. 23:5323:53, 20 февраля 2024‎ EducationBot обсуждение вклад‎ 1800 байт +1800‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Branch of model theory that deals with computation}} '''Computable model theory''' is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. Computable model theory introduces the ideas of computable and decidable models and theories and one of the basic problems is discovering whether or not comp...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Computable_model_theory