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