國立虎尾科技大學 |

Sets, models and proofs

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Sets, models and proofs/ by Ieke Moerdijk, Jaap van Oosten.
作者:	Moerdijk, Ieke.
其他作者:	Oosten, Jaap van.
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	xiv, 141 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1007/978-3-319-92414-4
ISBN:	9783319924144

Sets, models and proofs
Moerdijk, Ieke.

Sets, models and proofs[electronic resource] /by Ieke Moerdijk, Jaap van Oosten. - Cham :Springer International Publishing :2018. - xiv, 141 p. :ill., digital ;24 cm. - Springer undergraduate mathematics series,1615-2085. - Springer undergraduate mathematics series..

Introduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index.

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Godel's completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.

ISBN: 9783319924144

Standard No.: 10.1007/978-3-319-92414-4doiSubjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .M647 2018

Dewey Class. No.: 511.3

Sets, models and proofs
LDR:02344nam a2200337 a 4500 001 930248
003 DE-He213
005 20190503100929.0
006 m d
007 cr nn 008maaau
008 190627s2018 gw s 0 eng d
020 $a 9783319924144 $q (electronic bk.)
020 $a 9783319924137 $q (paper)
024 7 $a 10.1007/978-3-319-92414-4 $2 doi
035 $a 978-3-319-92414-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9 $b .M647 2018
072 7 $a PBCD $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9 $b .M694 2018
100 1 $a Moerdijk, Ieke. $3 1211325
245 1 0 $a Sets, models and proofs $h [electronic resource] / $c by Ieke Moerdijk, Jaap van Oosten.
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xiv, 141 p. : $b ill., digital ; $c 24 cm.
490 1 $a Springer undergraduate mathematics series, $x 1615-2085
505 0 $a Introduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index.
520 $a This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Godel's completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 1 4 $a Structures and Proofs. $3 1211326
650 2 4 $a Algebra. $2 gtt $3 579870
700 1 $a Oosten, Jaap van. $3 633628
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Springer undergraduate mathematics series. $3 839247
856 4 0 $u https://doi.org/10.1007/978-3-319-92414-4
950 $a Mathematics and Statistics (Springer-11649)