Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
30.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Полное описание типов m-эквивалентности суператомных I-алгебр
Пыркин С. Г.
b̄
ā
возьмем
алгебр
log2
ϕ
n22
суператомных
алгебры
предложения
эквивалентности
булевых
любого
доказательство
описание
полное
типов
n12
пыркин
n21
случаев
выделенным
выделенными
идеалами
идеалом
существует
булевы
аналогично
положим
даны
замечание
ниже
понятие
работе
случаю
случаях
таков
алгебра
булевой
логика
одним
определенности
рассмотрим
теории
теорий
теория
ā1
ā2
b̄1
b̄2
Рік:
2000
Мова:
russian
Файл:
PDF, 403 KB
Ваші теги:
0
/
0
russian, 2000
2
Вычислимые семейства суператомных булевых алгебр
Алаев П.Е.
fα
алгебр
алгебры
вычислимой
вычислимая
индекс
алгебра
02β
семейства
ординал
iβ
доказательство
семейство
02α
ā
0α
fβ
суператомных
нумерацией
последовательность
b̄
булевых
вычислить
существует
вычислимый
лемма
мажорируемости
обладает
lα
алгебру
вычислимую
вычислимые
некоторого
iβn
алаев
называем
нумерации
оракул
ординала
â
любого
положим
ϕi
вычислимо
вычислимым
доказано
изоморфизма
индексу
нумерация
означает
Рік:
2003
Мова:
russian
Файл:
PDF, 411 KB
Ваші теги:
0
/
0
russian, 2003
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×