도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
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
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×