募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.3% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
Springer-Verlag Berlin Heidelberg
Professor Dr. Hans Hermes (auth.)
gilt
funktion
funktionen
fiir
feld
primitiv
zahlen
rekursive
zeigen
rekursiv
beweis
vgl
zahl
pradikat
turing
tiber
rekursiven
folgenden
turingmaschinen
urn
algorithmus
menge
gleichung
welches
pradikate
satz
aile
maschine
folgt
turingmaschine
jedes
regeln
definiert
wobei
variablen
bzw
zunachst
berechenbar
derart
folge
gleichungen
begriff
angesetzt
falls
jedem
pradikatenlogik
verfahren
beliebige
flir
ergibt
年:
1978
语言:
german
文件:
PDF, 9.30 MB
您的标签:
0
/
0
german, 1978
2
Elementare Berechenbarkeitstheorie
Springer-Verlag Berlin Heidelberg
Dr. Einar Smith (auth.)
funktionen
funktion
programm
falls
gilt
beweis
beispiel
berechenbar
satz
zeigen
menge
primitiv
folgt
programme
maschine
registermaschinen
rekursive
tiber
berechenbarkeit
thring
behauptung
folgende
wobei
definiert
wert
losung
terminiert
zahl
zahlen
aile
berechenbare
berechnung
nieht
bzw
entscheidbarkeit
daher
entscheidbar
godelnummer
programmen
turing
rekursiven
insbesondere
maschinen
schleife
besteht
folge
registermaschine
schreiben
theorem
zeichenketten
年:
1996
语言:
german
文件:
PDF, 4.40 MB
您的标签:
0
/
0
german, 1996
3
Mathematik mit Kalkülen und Maschinen
Vieweg+Teubner Verlag
Dr. Elmar Cohors-Fresenborg (auth.)
funktion
funktionen
ubung
gilt
programm
satz
beweis
buchstaben
regeln
automaten
tiber
falls
bzw
flir
definiert
exp
beweisen
zustand
folgenden
folgt
pradikat
fiir
rekursiv
urn
zahlen
induktion
definieren
zeigen
netz
berechnung
menge
muster
rekursive
zahl
folgende
beispiel
ftir
primitiv
schreiben
ausgang
automat
aile
anwendung
rekursiven
eingang
stoppt
inhalt
rekursion
worten
programme
年:
1977
语言:
german
文件:
PDF, 3.85 MB
您的标签:
0
/
0
german, 1977
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×