도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Сложность теорий вычислимых категоричных моделей
Гончаров С. С.
,
Хусаинов Б.
модели
существует
теория
модель
теории
моделей
предикат
ℵ1
теорий
категоричных
любого
множество
ℵ0
вычислимых
свидетелем
гончаров
следующим
каждого
категорична
предиката
сложность
структура
хусаинов
вычислимую
единственный
расширений
тьюрингу
числа
шаге
элемент
вычислимое
вычислимой
заметим
имеют
категоричной
лемма
любой
определен
полагаем
свойства
свойствам
структуры
теорема
scm
вычислимые
категоричная
меткой
называется
натурального
определим
년:
2005
언어:
russian
파일:
PDF, 218 KB
개인 태그:
0
/
0
russian, 2005
2
Равномерность в теории вычислимых структур
Доуни Р.
,
Хиршевельд Д.
вычислимой
φf
структуры
вычислимая
вычислимых
равномерно
в.п
наследственно
существует
вычислимо
структур
параметрами
частично
р.в.к
слабо
структура
отношение
ahe
mgx
структуре
теории
языке
относительно
равномерной
равномерности
категоричности
следствие
нумерация
определение
равномерность
вычислимым
скотта
хусаинов
доуни
каждого
хиршвельд
доказательство
ниже
равномерная
теорема
теоремы
φe
всюду
вычислимые
категорична
категоричность
конечным
констант
понятия
формально
년:
2003
언어:
russian
파일:
PDF, 294 KB
개인 태그:
0
/
0
russian, 2003
3
Индексные множества разрешимых моделей
Фокина Е. Б.
моделей
сигнатуры
разрешима
существует
множество
модель
вычислимых
множества
модели
категорична
последовательность
разрешимых
ϕ
вычислима
счетно
равномерно
теории
следующим
ℵ0
каждого
леммы
любой
ϕa1
доказательство
конечной
теория
вычислимая
доказательства
индексные
множеством
следствие
полным
σ1
ϕa2
вычислимое
одним
предикат
рассмотрим
фокина
бинарным
изоморфны
каждой
определим
предикатом
предложения
расширений
свойства
строим
элементы
bmj
년:
2007
언어:
russian
파일:
PDF, 235 KB
개인 태그:
0
/
0
russian, 2007
4
Дмитрий Градинар. Провокатор
шеф
договор
договора
капулетов
войны
вступлении
двести
дипломатов
короче
никак
атмосфера
бессмертие
благ
военных
восемь
десять
дипломаты
итоге
каких
капулеты
кстати
лодки
материал
минус
началось
области
оказалось
посол
пришельцы
пятнадцать
согласились
споры
трюфели
трюфелии
туфлей
часов
чему
четыре
чтоб
эсперанто
арбитраже
бессмертием
бессмертия
видите
воздуха
возможности
война
войну
всеми
выбирать
언어:
russian
파일:
TXT, 40 KB
개인 태그:
0
/
0
russian
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×