ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
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
Lingua:
english
File:
PDF, 578 KB
I tuoi tag:
0
/
0
english
2
Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу
Подзоров С.Ю.
множество
функция
существует
x̄
вычислимая
ϕ
множества
функции
нумерация
частично
вычислимой
имеем
любого
множеств
вычислимо
доказательство
нумерации
некоторого
рекурсивно
каждого
σ0n
νs
νx
элемент
определения
ϕe
конечных
число
справедливо
отношение
сводится
определение
функцию
следствие
вычислимых
последовательность
вычислима
теореме
π0n
чисел
множеству
называется
определено
ординал
показать
получаем
сводимости
btt
принадлежит
степени
Lingua:
russian
File:
PDF, 704 KB
I tuoi tag:
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
Anno:
2011
Lingua:
polish
File:
PDF, 1004 KB
I tuoi tag:
5.0
/
4.0
polish, 2011
4
О классификации счетных булевых термов
Селиванов В.Л.
σ01
ω1
любого
2ω
множества
множеств
множество
dα
s01
доказательство
yα
вэджа
σα
иерархии
aβ
класс
следствие
теорема
s0β
булевых
термов
tα
σ0β
счётных
s0α
zα
dyα
верно
предложение
селиванов
справедливо
некоторого
показать
s̃02
включение
вытекает
классификации
любой
последовательность
πα
σ0n
классов
теореме
классы
последовательности
уровней
a2k
вида
называется
ординала
Anno:
2005
Lingua:
russian
File:
PDF, 261 KB
I tuoi tag:
0
/
0
russian, 2005
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×