書籍搜索
圖書
捐款
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Computer-Graphik: Bilder und Programme zu Fraktalen, Chaos und Selbstähnlichkeit
Birkhäuser Basel
Prof. Dr. Uwe Beck (auth.)
kurve
abb
kurven
turnleft
forwd
turnright
filr
fraktale
dreieck
schachtelungstiefe
1st
menge
abbildung
mandelbrot
programm
generator
punkt
prozedur
rekursives
pascal
tiefe
attraktor
punkte
baum
nmax
zeichnen
sqrt
drachen
kap.ii
zahlen
stellung
urn
werte
rekursive
peano
rilckkopplung
grundfigur
integer
muster
schneeflocke
rekursiven
turtle
designs
s:real
zacken
besteht
readln
sieh
beispiel
betrachten
年:
1988
語言:
german
文件:
PDF, 22.65 MB
你的標籤:
0
/
0
german, 1988
2
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Vieweg+Teubner Verlag
Egon Börger (auth.)
,
Dieter Rödding (eds.)
gdw
beweis
bzw
gilt
folgt
funktionen
d.h
übung
falls
satz
automaten
menge
zeigen
rekursiv
funktion
programm
rekursive
herleitung
ausdrücke
rekursiven
regeln
programme
r.a
heißt
mengen
folgenden
jedes
zustand
ausdruck
bzgl
definiert
endlichen
endliche
eingabe
jedem
beispiel
definieren
hinweis
variablen
lemma
lies
primitiv
interpretation
bemerkung
enthält
wobei
mittels
vorkommen
complexity
resp
年:
1985
語言:
german
文件:
PDF, 11.12 MB
你的標籤:
0
/
0
german, 1985
3
Konstruktive Analysis
Verlag Der Wissenschaften
Dieter Klaua
tiber
stellige
funktionen
funktion
berechenbare
rationale
rekursiv
iiber
rekursive
satz
funktional
zahlen
berechenbar
menge
stelliges
funktionale
falls
natirliche
natiirliche
tupel
rekursives
jedes
bereich
fiir
relational
folge
gilt
berechenbarkeit
iber
stets
beweis
rekursiven
natiirlichen
natirlicher
relationen
stelligen
tber
konstanten
natiirlicher
rationalen
analysis
rationaler
relationale
uber
berechenbaren
diber
komponente
leere
setze
variablen
年:
1961
語言:
german
文件:
PDF, 13.71 MB
你的標籤:
0
/
0
german, 1961
4
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Springer-Verlag Berlin Heidelberg
Wolfgang Stegmüller
,
Matthias Varga von Kibéd
menge
gilt
satz
beweis
aile
folgt
formel
bewertung
satze
stufe
bzw
theorem
formeln
funktion
theorie
erster
daher
folgenden
flir
konsistent
jedes
folge
pradikat
definiert
tiber
interpretation
konsistenz
teilmenge
mengen
parameter
wahr
endliche
fiir
eigenschaft
hintikka
wobei
gestalt
normalform
enthalt
hilfssatz
vorkommt
erweiterung
begriff
bereich
urn
erfullt
folgende
rekursive
funktionen
pradikate
年:
1984
語言:
german
文件:
PDF, 4.36 MB
你的標籤:
0
/
0
german, 1984
5
Zufälligkeit und Wahrscheinlichkeit
Schnorr C.P.
funktion
rekursive
menge
gilt
folgt
satz
rekursiven
beweis
folge
rekursiv
somit
folgen
funktionen
fotgt
total
gesetz
fotgen
ordnung
lemma
zeigen
stets
martingal
maß
heißt
mengen
nullmenge
v.u
zufa
definiert
rekursiver
atte
begriff
berechenbar
zahlen
definieren
totat
jedes
konstruieren
martin
ordnungsfunktion
lxi
vermögensfunktion
bzw
partielle
fotge
starke
daher
sequentialtest
betrachten
d.h
年:
1970
語言:
german
文件:
DJVU, 1.55 MB
你的標籤:
0
/
0
german, 1970
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×