This volume, the first in the acclaimed series Lecture Notes in Logic, published by the ASSOCIATION FOR SYMBOLIC LOGIC, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to mathematical analysis and thereby forms one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study. The book prepares its readers for the study of advanced topics in recursion theory. We are pleased to make the book available again in an attractive format and at a reasonable price.
Topics covered include computability, functions and relations, macros, codes, indices, Church's thesis, word problems, and relative recursion.
具体描述
读后感
评分
评分
评分
评分
用户评价
当下递归论最流行的教材莫过于Robert I. Soare 86年的那本。目下Shoenfield这本LectureNotes目的是"能最快的，最直接的"将人从无到有领进去，对象是有数学或计算机系本科背景的研究生同学，(被人说烂，但人人都想拥有的)math maturity。我尝试先读读Shoenfield的这本，再认真研读Soare，毕竟想做递归论方向的问题，后者无论如何是绕不过去的。
评分当下递归论最流行的教材莫过于Robert I. Soare 86年的那本。目下Shoenfield这本LectureNotes目的是"能最快的，最直接的"将人从无到有领进去，对象是有数学或计算机系本科背景的研究生同学，(被人说烂，但人人都想拥有的)math maturity。我尝试先读读Shoenfield的这本，再认真研读Soare，毕竟想做递归论方向的问题，后者无论如何是绕不过去的。
评分当下递归论最流行的教材莫过于Robert I. Soare 86年的那本。目下Shoenfield这本LectureNotes目的是"能最快的，最直接的"将人从无到有领进去，对象是有数学或计算机系本科背景的研究生同学，(被人说烂，但人人都想拥有的)math maturity。我尝试先读读Shoenfield的这本，再认真研读Soare，毕竟想做递归论方向的问题，后者无论如何是绕不过去的。
评分当下递归论最流行的教材莫过于Robert I. Soare 86年的那本。目下Shoenfield这本LectureNotes目的是"能最快的，最直接的"将人从无到有领进去，对象是有数学或计算机系本科背景的研究生同学，(被人说烂，但人人都想拥有的)math maturity。我尝试先读读Shoenfield的这本，再认真研读Soare，毕竟想做递归论方向的问题，后者无论如何是绕不过去的。
评分当下递归论最流行的教材莫过于Robert I. Soare 86年的那本。目下Shoenfield这本LectureNotes目的是"能最快的，最直接的"将人从无到有领进去，对象是有数学或计算机系本科背景的研究生同学，(被人说烂，但人人都想拥有的)math maturity。我尝试先读读Shoenfield的这本，再认真研读Soare，毕竟想做递归论方向的问题，后者无论如何是绕不过去的。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有