შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
64.1% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
О Аддитивных подмножествах натуральных чисел
Морозов А. С.
,
Пузаренко В. Г.
λi
φn
множество
натуральных
множества
чисел
множеств
существует
подмножеств
mhi
ϕ
φm
перечисления
модель
семейство
вида
функция
доказательство
модели
моделей
пузаренко
семейств
класса
конечной
морозов
наследственно
подмножество
вычислимо
операторов
сигнатуры
конечных
любой
подмножествах
mhu
допустимых
идеал
любого
предложение
θn
выполняется
вычислимая
вычислимых
класс
множестве
функции
заметим
отношение
последовательность
теоремы
бесконечно
წელი:
2005
ენა:
russian
ფაილი:
PDF, 330 KB
თქვენი თეგები:
0
/
0
russian, 2005
2
О вычислимости над моделями разрешимых теорий
Пузаренко В.Г.
теории
модели
множество
предикат
множества
модель
существует
наследственно
сигнатуры
формула
теорий
формулы
определение
чисел
вычислимости
моделями
формул
натуральных
степеней
функция
доказательство
определения
выполняется
назовем
функцией
конечной
подмножество
разрешимых
конечная
рассмотрим
конечных
определим
предикатом
kpu
моделью
обозначим
соотношение
теория
условия
формуле
элементов
надстройка
полных
следующее
теореме
леммы
множеств
надстройки
пузаренко
функции
წელი:
2000
ენა:
russian
ფაილი:
PDF, 2.51 MB
თქვენი თეგები:
0
/
0
russian, 2000
3
О теореме Левенгейма-Сколема-Мальцева для HF-структур
Пузаренко В. Г.
ϕ
lσa
модель
сигнатуры
наследственно
языка
множество
мощности
существует
конечных
фрагмент
lσ
mδ
теория
mα
конечной
надстроек
надстройки
ℵ0
lσω
левенгейма
определение
сколема
теореме
элементов
sα
xϕ
вида
модели
неразличимых
теории
hσ
mβ
каждого
мальцева
множества
пузаренко
символов
формул
σ1
ω1
любой
структур
теорема
фрагментом
card
iα
tskolem
допустимое
допустимый
წელი:
2004
ენა:
russian
ფაილი:
PDF, 186 KB
თქვენი თეგები:
0
/
0
russian, 2004
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×