| 書名: | Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Volume II: Foundations of Mathematics | |||
| 作者: | CENZER | |||
| ISBN: | 9789811243844 | |||
| 出版社: | World Scientific | |||
| 出版日期: | 2022/03 | |||
|
#數學與統計學
|
||||
This book provides an introduction to mathematical logic and the foundations of mathematics. It will help prepare students for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra. The presentation of finite state and Turing machines leads to the Halting Problem and Gödel's Incompleteness Theorem, which have broad academic interest, particularly in computer science and philosophy. Request Inspection Copy Sample Chapter(s) Preface Chapter 1: Introduction Contents: Preface About the Authors Introduction Propositional Logic Predicate Logic Models of Predicate Logic Boolean Algebras Computability Decidable and Undecidable Theories Algorithmic Randomness Nonstandard Numbers Foundations of Geometry Bibliography Index Readership: Advanced undergraduate or beginning graduate students interested in mathematical logic, mathematics, computer science, and philosophy.
還沒有人留下心得,快來搶頭香!
為您推薦
相關熱銷的書籍推薦給您
書名:Elements of Discrete Mathematics 2/e 作者:LIU 出版社:McGraw-Hill 出版日期:1985/00/00 ISBN:9780071005449 內容簡介 This book presents a selection of topics from set theory, combinatorics, graph theory, and algebra which were been considered as basic and useful to students in Applied Mathematics, Computer Seience, and Engineering. It's intended to be a textbook for a course in Discrete Mathematics at the sophomore-junior level, although it can also be used in a freshman-level course since the presentation does not assume any background beyond high-school mathematics. 目錄 1. Sets and Propositions 2. Computability and Formal Languages 3. Permutations, Combinations, and Discrete Probability 4. Relations and Functions 5. Graphs and Planar Graphs 6. Trees and Cut-Sets 7. Finite State Machines 8. Analysis of Algorithms 9. Discrete Numberic Functions and Generating Functions 10. Recurrence Relations and Recursive Algorithms 11. Groups and Rings 12. Boolean Algebras
類似書籍推薦給您
類似書籍推薦給您
A Book of Set Theory +作者:Pinter +年份:2014 年1 版 +ISBN:9780486497082 +書號:MA0378P +規格:平裝/單色 +頁數:256 +出版商:Dover Suitable for upper-level undergraduates, this accessible approach to set theory poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. Starting with a repetition of the familiar arguments of elementary set theory, the level of abstract thinking gradually rises for a progressive increase in complexity.A historical introduction presents a brief account of the growth of set theory, with special emphasis on problems that led to the development of the various systems of axiomatic set theory. Subsequent chapters explore classes and sets, functions, relations, partially ordered classes, and the axiom of choice. Other subjects include natural and cardinal numbers, finite and infinite sets, the arithmetic of ordinal numbers, transfinite recursion, and selected topics in the theory of ordinals and cardinals. This updated edition features new material by author Charles C. Pinter. 目錄 Chapter 0 Historical Introduction Chapter 1 Classes and Sets Chapter 2 Functions Chapter 3 Relations Chapter 4 Partially Ordered Classes Chapter 5 The Axiom of Choice and Related Principles Chapter 6 The Natural Numbers Chapter 7 Finite and Infinite Sets Chapter 8 Arithmetic of Cardinal Numbers Chapter 9 Arithmetic of the Ordinal Numbers Chapter 10 Transfinite Recursion. Selected Topics in the Theory of Ordinals and Cardinals Chapter 11 Consistency and Independence in Set Theory
類似書籍推薦給您
【簡介】 Mit dem Schwerpunkt auf Six Sigma bietet dieses mehrbändige, praxisorientierte Nachschlagewerk Informationen zur Anwendung statistischer Verfahren auf den Gebieten der Qualitätssicherung und Reliability-Analyse. Mit zahlreichen detaillierten Fallstudien - unentbehrlich für Fachleute aus Industrie, akademischer Forschung und Behörden.
資訊
工程
數學與統計學
機率與統計
自然科學
健康科學
地球與環境
建築、設計與藝術
人文與社會科學
教育
語言學習與考試
法律
會計與財務
大眾傳播
觀光與休閒餐旅
考試用書
研究方法
商業與管理
經濟學
心理學
生活
生活風格商品
參考書/測驗卷/輔材