找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Elementare Berechenbarkeitstheorie; Einar Smith Textbook 1996 Springer-Verlag Berlin Heidelberg 1996 Algorithmen.Algorithmus.Berechenbarke

[复制链接]
查看: 41277|回复: 49
发表于 2025-3-21 16:32:00 | 显示全部楼层 |阅读模式
书目名称Elementare Berechenbarkeitstheorie
编辑Einar Smith
视频video
丛书名称Springer-Lehrbuch
图书封面Titlebook: Elementare Berechenbarkeitstheorie;  Einar Smith Textbook 1996 Springer-Verlag Berlin Heidelberg 1996 Algorithmen.Algorithmus.Berechenbarke
描述Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.
出版日期Textbook 1996
关键词Algorithmen; Algorithmus; Berechenbarkeit; Berechenbarkeitstheorie; Entscheidbarkeit; Kontextfreie Sprach
版次1
doihttps://doi.org/10.1007/978-3-642-58283-7
isbn_softcover978-3-540-60667-3
isbn_ebook978-3-642-58283-7Series ISSN 0937-7433 Series E-ISSN 2512-5214
issn_series 0937-7433
copyrightSpringer-Verlag Berlin Heidelberg 1996
The information of publication is updating

书目名称Elementare Berechenbarkeitstheorie影响因子(影响力)




书目名称Elementare Berechenbarkeitstheorie影响因子(影响力)学科排名




书目名称Elementare Berechenbarkeitstheorie网络公开度




书目名称Elementare Berechenbarkeitstheorie网络公开度学科排名




书目名称Elementare Berechenbarkeitstheorie被引频次




书目名称Elementare Berechenbarkeitstheorie被引频次学科排名




书目名称Elementare Berechenbarkeitstheorie年度引用




书目名称Elementare Berechenbarkeitstheorie年度引用学科排名




书目名称Elementare Berechenbarkeitstheorie读者反馈




书目名称Elementare Berechenbarkeitstheorie读者反馈学科排名




单选投票, 共有 1 人参与投票
 

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:47:14 | 显示全部楼层
Elementare Berechenbarkeitstheorie978-3-642-58283-7Series ISSN 0937-7433 Series E-ISSN 2512-5214
发表于 2025-3-22 00:44:01 | 显示全部楼层
https://doi.org/10.1007/978-3-642-58283-7Algorithmen; Algorithmus; Berechenbarkeit; Berechenbarkeitstheorie; Entscheidbarkeit; Kontextfreie Sprach
发表于 2025-3-22 05:13:54 | 显示全部楼层
发表于 2025-3-22 10:12:43 | 显示全部楼层
Henry (Chip) Carey,Stacey M. Mitchellr jede Instanz einer Problemklasse eine Antwort auf eine allgemeine Frage erhält. Beispiele für Algorithmen sind die jedem geläufigen Vorschriften zum Addieren, Subtrahieren oder Multiplizieren von natürlichen Zahlen.
发表于 2025-3-22 16:53:11 | 显示全部楼层
https://doi.org/10.1007/978-3-663-10635-7lichen Zahlen.. Zur Bearbeitung der Registerinhalte verfügt die Registermaschine über einen Satz an Elementar-Operationen, wobei man verschiedene Varianten erhält, je nachdem, welche speziellen Operationen zugelassen werden. Eine Berechnung besteht in der programmgesteuerten Ausführung einer Folge von Elementar-Operationen.
发表于 2025-3-22 18:07:32 | 显示全部楼层
First Eleven: From Unofficial to Official,rwendeter Funktionen, daß sie in diesem Sinn berechenbar sind. Zur Erleichterung des Programmentwurfs stellen wir zunächst einen Vorrat an . zusammen, mit denen wir leistungsfähige Ausdrucksformen wie., . und . nachbilden können.
发表于 2025-3-22 22:38:35 | 显示全部楼层
New York State’s Do-Not-Resuscitate Laweinen fundamentalen Satz, der besagt, daß es keinen durch eine Registermaschine ausführbaren Algorithmus gibt, der allgemein entscheidet, ob ein beliebiges Programm terminiert. Wir erweitern diese Feststellung dann zu der Aussage, daß letztlich alle Fragen, die das . von RM-Programmen betreffen, nicht durch RM-Programme beantwortbar sind.
发表于 2025-3-23 01:37:03 | 显示全部楼层
Legislation of Tort Liability Law in Chinaische Darstellungen. Im Unterschied hierzu stellen wir jetzt mit der .. ein Modell vor, das explizit auf der Verarbeitung von Zeichenketten beruht. Es zeigt sich, daß auch dieser Ansatz zu demselben Begriff der Berechenbarkeit führt.
发表于 2025-3-23 06:09:31 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-30 09:44
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表