Русская Википедия:Модель Крипке: история изменений

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

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

28 августа 2023

  • текущ.пред. 06:5506:55, 28 августа 2023EducationBot обсуждение вклад 3722 байта +3722 Новая страница: «{{Русская Википедия/Панель перехода}} '''Модель Крипке''' ({{lang-en|Kripke structure}}) — это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при Проверка моделей|проверке м...»