davis computability の通販比較

davis computability

Computability and Unsolvability【電子書籍】 Prof. Martin Davis

Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science【電子書籍】 Martin Davis

Martin Davis on Computability, Computational Logic, and Mathematical Foundations【電子書籍】

Computability and Unsolvability【電子書籍】[ Prof. Martin Davis ]

ショップ楽天Kobo電子書籍ストア

価格￥2,264

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.＜br /＞ In Part One (Chapters 1?5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader.＜br /＞ Part Two (Chapters 6?8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of un...

Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science【電子書籍】[ Martin Davis ]

ショップ楽天Kobo電子書籍ストア

価格￥11,220

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞＜em＞Computability, Complexity, and Languages＜/em＞ is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.＜/p＞＜ul＞＜li＞Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.＜/li＞＜li＞The number of exercises included has more than tripled.＜/li＞＜li＞Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.＜/li＞＜/ul＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Martin Davis on Computability, Computational Logic, and Mathematical Foundations【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥12,154

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem.＜/p＞＜p＞The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computa...

キーワード検索

リンク

Supported by 楽天ウェブサービス

上に戻る