핵심어 검색

  • Main
  • 핵심어 검색
2
Функциональные уравнения дискретной математики

Функциональные уравнения дискретной математики

Марченков С.С
уравнений
функций
функциональных
функции
множество
системы
уравнения
языка
переменных
функция
функциональные
ϕ2
ϕ1
переменной
функцию
булевых
логики
множества
формулы
система
теорема
системой
выполнимости
вида
уравнение
ϕ
множеством
систем
переменные
автомата
множеств
множестве
помощью
ξ1
значений
обозначим
формула
многозначной
функциональной
функциями
xlm
значения
типа
далее
язык
длины
констант
относительно
φ1
набор
년:
2013
언어:
russian
파일:
PDF, 523 KB
0 / 0
russian, 2013
5
Sigma-определимость в наследственно конечных надстройках и пары моделей

Sigma-определимость в наследственно конечных надстройках и пары моделей

Стукачев А. И.
модель
теории
модели
множество
m̄
сигнатуры
формул
рекурсивно
наследственно
множества
элементов
моделей
s̄
x̄
теория
n̄
конечных
m̄0
набор
насыщенной
надстройках
ȳ
σ2
простой
существует
классом
конечной
определимость
hyp
простая
стукачев
m̄1
θk
бесконечное
локально
любой
насыщена
понятие
ftk
моделью
набора
неразличимых
несчетная
определима
относительно
эффективно
c̄
tκ
σ1
доказательство
년:
2005
언어:
english
파일:
PDF, 265 KB
0 / 0
english, 2005
6
Об универсальных алгебрах с идентичными производными объектами (конгруэнциями, алгебраическими множествами)

Об универсальных алгебрах с идентичными производными объектами (конгруэнциями, алгебраическими множествами)

Пинус А.Г.
алгебры
σi
алгебр
любой
любых
пинус
а.г
множестве
функций
универсальной
универсальных
σ0
σ1
ϕ
функции
алгебрах
множеством
основным
совокупность
любого
общим
lω1
алгебра
алгебре
множества
обозначим
сигнатуры
счетных
трансляции
непосредственно
относительно
равенство
stabcona
алгебраические
алгебраических
одни
основном
производными
эндоморфизмов
algn
ha1
x̄
ω1
лемма
называется
определимости
т.е
утверждение
alg1
halgn
언어:
russian
파일:
PDF, 462 KB
0 / 0
russian
7
О теореме Левенгейма-Сколема-Мальцева для HF-структур

О теореме Левенгейма-Сколема-Мальцева для HF-структур

Пузаренко В. Г.
년:
2004
언어:
russian
파일:
PDF, 186 KB
0 / 0
russian, 2004
8
Определимость булевых алгебр в HF-надстройках

Определимость булевых алгебр в HF-надстройках

Ромина А.В.
년:
2000
언어:
russian
파일:
PDF, 956 KB
0 / 0
russian, 2000
9
О свойстве Бета в расширениях логик Лукасевича

О свойстве Бета в расширениях логик Лукасевича

Тишковский Д.Е.
년:
2000
언어:
russian
파일:
PDF, 356 KB
0 / 0
russian, 2000