Применение теории алгебр Халмоша для математического ...
Применение теории алгебр Халмоша для математического моделирования информационно-поисковых систем Половикова Ольга Николаевна.
Алгебраическая логика в описании состояния базы данных
Понятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье ...
Т. Л. Плоткин, Б. И. Плоткин, С. Краус, “Алгебраическая логика...”
Многосортная логика, модели | 2.2. Расширенные булевы алгебры
Алгебры Халмоша и аксиоматизируемые классы квазигрупп
зованием языка алгебр Халмоша и перехода от квазигрупп к обратимым автоматам. Обратимым автоматом называем тройку множеств (А, В, С), ...
Повний текст (.pdf)
достигается, в частности, на основе алгебр Халмоша, которые связаны с ис- ... ется алгеброй Халмоша в данной схеме, если это кванторная алгебра, и.
А. А. Гварамия, “Алгебры Халмоша и аксиоматизируемые классы ...
\RBibitem{Gva85} \by А.~А.~Гварамия \paper Алгебры Халмоша и~ аксиоматизируемые классы квазигрупп \jour УМН \yr 1985 \vol 40 \issue 4(244)
Моделирование рассуждений алгебраическими методами
В качестве моделей исчисления предикатов были предложены алгебра Линденбаума-Тарского, полиадические алгебры Халмоша и др. Однако эти ...
Диссертация на тему «Применение теории алгебр Халмоша для...»
Конечномерные векторные пространства, Халмош П., 1963
Скачать Халмош П. - Конечномерные векторные пространства
Гварамия, Алеко Алексеевич — Википедия
Научная сфера, алгебра. Учёная степень, доктор физико-математических наук. Учёное звание, профессор · Альма-матер · Сухумский государственный педагогический институт. Алеко Алексеевич Гварамия (абх. Алеко Гәарамиа; род. 7 сентября 1940, с. ... 775—800; Алгебры Халмоша и аксиоматизируемые классы квазигрупп ...
Халмош П. Конечномерные векторные пространства [DJVU]
Применение теории алгебр Халмоша для математического...
ПОИВС | Алгебраическая логика, многообразия алгебр и алгеб...
Алгебра - халмош - Большая Энциклопедия Нефти и Газа, статья...
Халмош П. Конечномерные векторные пространства [DJVU ...
Халмош П. Конечномерные векторные пространства. Файл формата ... Раздел: Линейная алгебра и аналитическая геометрия → Линейная алгебра.
Типовая эквивалентность линейных групп и других ...
ческую логику, в которой рассматривается алгебра формул ϕ = ϕ(X), где X — .... Мы называем алгебру Υ в сигнатуре LΘ алгеброй Халмоша, если.
Многосортная логика, модели и логическая геометрия
Предмет знания представлен в виде модели (H, Ψ,f), где H — алгебра из ..... Алгебры Халмоша образуют многообразие, обозначим его HalΘ. Более ...
Применение теории алгебр Халмоша для математического...