\RBibitem{Gva85} \by А.~А.~Гварамия \paper Алгебры Халмоша и~ аксиоматизируемые классы квазигрупп \jour УМН \yr 1985 \vol 40 \issue 4(244)
www.mathnet.ruХалмош П. Конечномерные векторные пространства. Файл формата ... Раздел: Линейная алгебра и аналитическая геометрия → Линейная алгебра.
www.twirpx.comВ качестве моделей исчисления предикатов были предложены алгебра Линденбаума-Тарского, полиадические алгебры Халмоша и др. Однако эти ...
www.muiv.ruwww.twirpx.com
studexpo.ru
mexalib.com
Применение теории алгебр Халмоша для математического моделирования информационно-поисковых систем Половикова Ольга Николаевна.
www.dslib.netmech.math.msu.su
www.ngpedia.ru
зованием языка алгебр Халмоша и перехода от квазигрупп к обратимым автоматам. Обратимым автоматом называем тройку множеств (А, В, С), ...
www.mathnet.runashol.com
Предмет знания представлен в виде модели (H, Ψ,f), где H — алгебра из ..... Алгебры Халмоша образуют многообразие, обозначим его HalΘ. Более ...
mech.math.msu.suwww.dissercat.com
poivs.tsput.ru
www.mathnet.ru
Научная сфера, алгебра. Учёная степень, доктор физико-математических наук. Учёное звание, профессор · Альма-матер · Сухумский государственный педагогический институт. Алеко Алексеевич Гварамия (абх. Алеко Гәарамиа; род. 7 сентября 1940, с. ... 775—800; Алгебры Халмоша и аксиоматизируемые классы квазигрупп ...
ru.wikipedia.orgПонятие полиадических алгебр Халмоша было введено Халмошем как средство алгебраизации исчисления предикатов первого порядка. В статье ...
mech.math.msu.suческую логику, в которой рассматривается алгебра формул ϕ = ϕ(X), где X — .... Мы называем алгебру Υ в сигнатуре LΘ алгеброй Халмоша, если.
mech.math.msu.suwww.dslib.net
достигается, в частности, на основе алгебр Халмоша, которые связаны с ис- ... ется алгеброй Халмоша в данной схеме, если это кванторная алгебра, и.
umj.imath.kiev.ua