Finite model theory

Вики

Игра на паритет

Игра на равенство Определение и история игр на четность Игры на четность — это игры, в которых игроки стремятся достичь […]

Вики

Странная логика случайных графов

Странная логика случайных графов Книга «Странная логика случайных графов» исследует законы ноль-один для случайных графов.  Она основана на модели Эрдеша-Реньи-Гилберта

Вики

Теория конечных моделей

Теория конечных моделей Теория конечных моделей изучает структуры, такие как конечные графы и конечные реляционные структуры.  Логика первого порядка является

Вики

Спектр предложения

Спектр предложения Спектр предложения в математической логике — набор натуральных чисел, представляющий размер конечной модели, в которой данное предложение истинно. 

Прокрутить вверх