Algorithms for Constructing Computably Enumerable Sets
暫譯: 可計算可列集合的構造演算法

Supowit, Kenneth J.

Algorithms for Constructing Computably Enumerable Sets
  • 出版商: Springer
  • 出版日期: 2023-05-24
  • 售價: $2,560
  • 貴賓價: 9.5 折 $2,432
  • 語言: 英文
  • 頁數: 183
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3031269039
  • ISBN-13: 9783031269035
  • 相關分類: Algorithms-data-structures

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.

Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory"). This area of study has produced some of the most beautiful and subtle algorithms ever developed for any problems. These algorithms are little-known outside of a niche within the mathematical logic community. By presenting them in a style familiar to computer scientists, the intent is to greatly broaden their influence and appeal.

Topics and features:

- All other books in this field focus on the mathematical results, rather than on the algorithms.

- There are many exercises here, most of which relate to details of the algorithms.

- The proofs involving priority trees are written here in greater detail, and with more intuition, than can be found elsewhere in the literature.

- The algorithms are presented in a pseudocode very similar to that used in textbooks (such as that by Cormen, Leiserson, Rivest, and Stein) on concrete algorithms.

- In addition to their aesthetic value, the algorithmic ideas developed for these abstract problems might find applications in more practical areas.

Graduate students in computer science or in mathematical logic constitute the primary audience. Furthermore, when the author taught a one-semester graduate course based on this material, a number of advanced undergraduates, majoring in computer science or mathematics or both, took the course and flourished in it.

Kenneth J. Supowit is an Associate Professor Emeritus, Department of Computer Science & Engineering, Ohio State University, Columbus, Ohio, US.

商品描述(中文翻譯)

邏輯學家已經開發出美麗的算法技術，用於構建可計算可列集合。本教科書以統一的方式呈現這些技術，應該能吸引計算機科學家。

具體而言，本書解釋、組織並比較了在可計算性理論中使用的各種算法技術（該領域以前稱為「經典遞歸理論」）。這一研究領域產生了一些有史以來為任何問題開發的最美麗和微妙的算法。這些算法在數學邏輯社群之外鮮為人知。通過以計算機科學家熟悉的風格呈現它們，旨在大大擴大其影響力和吸引力。

主題和特點：
- 這一領域的所有其他書籍都專注於數學結果，而不是算法。
- 這裡有許多練習題，其中大多數與算法的細節有關。
- 涉及優先樹的證明在這裡寫得比文獻中的其他地方更詳細，並且更具直觀性。
- 算法以類似於教科書（例如 Cormen、Leiserson、Rivest 和 Stein 的書籍）中使用的偽代碼呈現，這些教科書專注於具體算法。
- 除了它們的美學價值外，為這些抽象問題開發的算法思想可能在更實際的領域找到應用。

計算機科學或數學邏輯的研究生是主要讀者。此外，當作者教授基於這些材料的一學期研究生課程時，許多主修計算機科學或數學或兩者的高年級本科生參加了該課程並表現出色。

Kenneth J. Supowit 是美國俄亥俄州哥倫布市俄亥俄州立大學計算機科學與工程系的名譽副教授。

作者簡介

I received an A.B. degree in linguistics from Cornell University in 1978, and a Ph. D. in computer science from the University of Illinois in 1981. Then I worked three years for Hewlett-Packard in Palo Alto, California. Subsequently, I taught for four years at Princeton University, and then 34 years at Ohio State University, where I retired in May, 2022, and now have emeritus status. Along the way, I've consulted for IBM, AT&T, Hewlett-Packard, and various small companies.
My research has primarily been in the analysis of algorithms, however, I've long been fascinated by computability theory, which has been the focus of my research and much of my teaching in recent years. In Autumn, 2021, I taught a graduate level course using an earlier draft of this book as the text.

作者簡介(中文翻譯)

我於1978年在康奈爾大學獲得語言學的學士學位，並於1981年在伊利諾伊大學獲得計算機科學的博士學位。隨後，我在加州帕洛阿爾托的惠普公司工作了三年。之後，我在普林斯頓大學教學四年，接著在俄亥俄州立大學任教34年，於2022年5月退休，現在擁有名譽教授的身份。在此期間，我曾為IBM、AT&T、惠普及各種小型公司提供諮詢服務。

我的研究主要集中在算法分析上，然而，我對可計算性理論一直充滿興趣，這也是我近年來研究和教學的重點。在2021年秋季，我教授了一門研究生課程，使用這本書的早期草稿作為教材。

類似商品