Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
23.8% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Об универсальных алгебрах с идентичными производными объектами (конгруэнциями, алгебраическими множествами)
Пинус А.Г.
алгебры
σi
алгебр
любой
любых
пинус
а.г
множестве
функций
универсальной
универсальных
σ0
σ1
ϕ
функции
алгебрах
множеством
основным
совокупность
любого
общим
lω1
алгебра
алгебре
множества
обозначим
сигнатуры
счетных
трансляции
непосредственно
относительно
равенство
stabcona
алгебраические
алгебраических
одни
основном
производными
эндоморфизмов
algn
ha1
x̄
ω1
лемма
называется
определимости
т.е
утверждение
alg1
halgn
Language:
russian
File:
PDF, 462 KB
Your tags:
0
/
0
russian
2
Критерий разложимости элементарных теорий
Пономарев Д. К.
ϕ
сигнатуры
теории
предложение
разложения
теория
аксиом
компоненты
предложений
предложения
символы
φ1
φn
разложимости
критерий
неразложимых
теорий
неразложимые
пономарёв
связности
содержит
любая
множество
найдется
найдутся
некоторое
последовательность
рассмотрим
сигнатуре
символов
система
системы
состоящая
условию
исходя
назовем
называть
определение
определяет
работе
разбиение
разложимой
сигнатур
сигнатурных
систем
следовательно
существует
сформулируем
теорема
теорию
Year:
2008
Language:
russian
File:
PDF, 326 KB
Your tags:
0
/
0
russian, 2008
3
Распределенные объектные технологии
МГУ
corba
спецификации
спецификаций
проектирования
абстрактных
интероперабельных
машин
систем
типов
информационных
формальные
kalinichenko
l.a
omg
ontolingua
композиции
компонентно
компонентов
модели
объектных
dbms
engineering
idl
interoperable
prentice
proceedings
russian
springer
verlag
амн
базированного
интеграция
конструирование
моделей
наиболее
области
общих
отображение
рамках
рассматривается
рассматриваются
редуктов
семантика
синтез
средства
технологии
database
iiop
kogalovsky
m.r
Language:
russian
File:
PDF, 120 KB
Your tags:
0
/
0
russian
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×