图书标签: 递归论 数学 nemlophics
发表于2024-12-30
Recursion Theory (Lecture Notes In Logic, 1) (Lecture Notes in Logic, 1.) pdf epub mobi txt 电子书 下载 2024
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,毕竟想做递归论方向的问题,后者无论如何是绕不过去的。
评分
评分
评分
评分
Recursion Theory (Lecture Notes In Logic, 1) (Lecture Notes in Logic, 1.) pdf epub mobi txt 电子书 下载 2024