kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Foundations of Mathematics 001
function
recursive
functions
primitive
theorem
sets
define
lemma
ordinal
effective
definable
computable
formula
cardinal
partial
axiom
recursion
ordering
defined
lα
zfc
satisfies
σ0n
axioms
initial
element
sentence
ordinals
transitive
π0n
infinite
choice
rα
founded
arithmetically
consider
limit
arithmetic
cardinals
suppose
equivalent
instruction
finite
formulas
inaccessible
relational
subset
quantifier
total
corollary
Dil:
english
Dosya:
PDF, 578 KB
Etiketleriniz:
0
/
0
english
2
Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу
Подзоров С.Ю.
множество
функция
существует
x̄
вычислимая
ϕ
множества
функции
нумерация
частично
вычислимой
имеем
любого
множеств
вычислимо
доказательство
нумерации
некоторого
рекурсивно
каждого
σ0n
νs
νx
элемент
определения
ϕe
конечных
число
справедливо
отношение
сводится
определение
функцию
следствие
вычислимых
последовательность
вычислима
теореме
π0n
чисел
множеству
называется
определено
ординал
показать
получаем
сводимости
btt
принадлежит
степени
Dil:
russian
Dosya:
PDF, 704 KB
Etiketleriniz:
0
/
0
russian
3
Elementy teorii obliczalnosci
Uniwersytet Marii Curie-Skłodowskiej w Lublinie
Jerzy Mycka
funkcji
zbiór
rekurencyjnie
funkcja
częściowo
rekurencyjnych
zbioru
funkcje
twierdzenie
dowód
turinga
istnieje
definicja
będziemy
twierdzenia
zbiorów
funkcję
rekurencyjne
klasy
wówczas
prec
zbiory
relacji
rec
liczb
zachodzi
zbiorem
maszyny
rekurencyjna
własności
definicji
rekurencyjną
poprzez
ū
funkcją
mocy
naturalnych
łatwo
obliczeń
peana
powyżej
rekursji
teorii
n̄
wystarczy
pokazać
dowodu
przeliczalne
każdego
nazywamy
Yıl:
2011
Dil:
polish
Dosya:
PDF, 1004 KB
Etiketleriniz:
5.0
/
4.0
polish, 2011
4
О классификации счетных булевых термов
Селиванов В.Л.
σ01
ω1
любого
2ω
множества
множеств
множество
dα
s01
доказательство
yα
вэджа
σα
иерархии
aβ
класс
следствие
теорема
s0β
булевых
термов
tα
σ0β
счётных
s0α
zα
dyα
верно
предложение
селиванов
справедливо
некоторого
показать
s̃02
включение
вытекает
классификации
любой
последовательность
πα
σ0n
классов
теореме
классы
последовательности
уровней
a2k
вида
называется
ординала
Yıl:
2005
Dil:
russian
Dosya:
PDF, 261 KB
Etiketleriniz:
0
/
0
russian, 2005
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×