Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

可计算性与数理逻辑

Main
Computers - Computer Science
可计算性与数理逻辑

可计算性与数理逻辑

布勒斯，George S. Boolos

0 / 5.0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。

本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

Κατηγορίες:

Computers - Computer Science

Έτος:

2005

Έκδοση:

4

Εκδότης:

电子工业出版社

Γλώσσα:

chinese

Σειρές:

国外计算机科学教材系列

Αρχείο:

PDF, 16.84 MB

IPFS:

,

chinese, 2005

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

莫绍揆 — 数理逻辑导论

莫绍揆 — 数理逻辑漫谈

胡世华; 陆钟万 — 数理逻辑基础

莫绍揆编著 — 数学丛书.-. 现代数学基础丛书 . 递归函数论

[数字逻辑与计算机设计基础].刘真.文字版.pdf — [数字逻辑与计算机设计基础].刘真.文字版.pdf

汪芳庭 — 公理集论（含目录）

郝兆宽杨跃 — 集合论对无穷概念的探索

姜国英,黄宣国 — 微分几何一百例

王宪钧 — 数理逻辑引论

[英]吉利斯（Gillies,D.）著；张健丰陈晓平译 — 概率的哲学理论

Christian Benvenuti — Understanding Linux Network Internals

李未著 — 数理逻辑：基本原理与形式演算

A.G.汉密尔顿朱水林译 — 数理逻辑

[德]赫尔曼·外尔; Hermann Weyl; 冯承天(译); 陆继宗(译) — 对称

[美]保罗·贝纳塞拉夫(编); 希拉里·普特南(编) ;朱水林等(译) — 数学哲学

王浩 — 数理逻辑通俗讲话

哥德莱克 — 计算复杂性

x — 非经典数理逻辑与近似推理.

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

George Boolos — Logic, Logic and Logic

Simon Gill — Thermodynamics, Kinetics and Microstructure Modelling

Davies William de Lima Monteiro, Bruno Lovaglio Cançado Trindade — Advances in Ophthalmic Optics Technology

Melody Sandelis, Daniela Flocco — Introduction to the Physics of the Cryosphere

Robert Love [Love, Robert] — Linux System Programming

Robert Love — Linux System Programming: Talking Directly to the Kernel and C Library

Mark Canepa — Large and Dangerous Rocket Ships: The History of High-Power Rocketry's Ascent to the Edges of Outer Space

Eduardo A. Castro, Ann Rose Abraham, A. K. Haghi, (eds.) — Carbon Composites. Composites with Nanotubes, Nanomaterials, and Graphene Oxide

Joanne Hyland, Magnus Karlsson, Ingrid Kihlander — Changing the Dynamics and Impact of Innovation Management: A Systems Approach and the ISO Standard

Joseph N. Pelton, Scott Madry, Sergio Camacho-Lara (eds.) — Handbook of Satellite Applications

杨东屏,李昂生 — 可计算性理论

Lu zhong wan — 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

王国俊 — 数理逻辑引论与归结原理

冯琦 — 数理逻辑导引

冯琦 — 集合论导引第2卷

冯琦 — 集合论导引第三卷高阶无穷

A.Shen; N.K.vereshchagin — 可计算函数

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

[德] 哈斯 [英] 瑞安 — 面向计算机科学的数理逻辑

Anil Nerode Richard A.Shore — 应用逻辑

霍普克罗夫特 (John E.Hopcroft); Rajeev Motwani; Jeffrey D.Ullman — 自动机理论、语言和计算导论

Robert Love — Linux内核设计与实现(原书第3版)

迈克尔·西普塞 (Michael Sipser) — 计算理论导引: 原书第3版

Φράσεις κλειδιά

Σχετικές λίστες βιβλίων