| KS OmniScriptum Publishing

88,200원  | 20210326  | 9786203472066

This teaching material is designed to teach first year university students the basics of the propositional logic and set theory. The first unit discuss about propositional logic. The goal of this unit is to teach the concept of propositional logic, logical connectives, quantifiers and arguments.In the second unit, we turn our attention to set theory and discus about description of sets and operations of sets. This material is prepared to teach first year students .

 | CRC Press

126,940원  | 20241004  | 9781032106229

This book deals with two most important branches of mathematics, namely, logic and set theory. Logic and set theory are two closely related branches of mathematics that play very crucial roles in the foundations of mathematics, and together produce several results in all of mathematics.

Kohar, Richard  | World Scientific Pub Co Inc

271,950원  | 20170525  | 9789814730396

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Polya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers.

 | Wiley

191,280원  | 20150908  | 9780470905883

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.

Quine,W.  | Harvard

71,100원  | 20000505  | 9780674802070

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted.

Richard Kohar  | World Scientific Publishing Company

143,320원  | 20160616  | 9789813147546

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Polya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers.

Tourlakis, George J.  | Cambridge

270,110원  | 20030113  | 9780521753739

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Pagliani, Piero  | Springer

606,350원  | 20081224  | 9781402086212

"'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost." "Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields."--BOOK JACKET.

Brown, C. E.  | College Publications

65,690원  | 20071022  | 9781904987574

Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of higher-order logic.

Kunen, Kenneth  | Elsevier

160,320원  | 19831201  | 9780444868398

Jason has had enough of his parents' arguments. He's running away to stay with his brother in Liverpool. On the train journey he meets a 'runner' called Jam, who lives on the monster Intercity trains and stations. His carefree and adventurous life sounds so exciting that Jason begins to think he might join Jam. Then Jason discovers Jam's secret.

 | Get 800 LLC

119,410원  | 20190929  | 9781951619091

Pure Mathematics for Pre-BeginnersPure Mathematics for Pre-Beginners consists of a series of lessons in Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra. The 8 lessons in this book cover elementary material from each of these 8 topics. A "pre-beginner" is a math student that is ready to start learning some more advanced mathematics, but is not quite ready to dive into proofwriting.

Cenzer, Douglas, Larson, Jean, Porter, Christopher  | World Scientific Publishing Company

106,570원  | 20200422  | 9789811201929

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory course in set theory, where the existing alternatives may be more demanding or specialized.

 |

0원  | 20250523  | 9781568811765

This book is based on a graduate course given by the author at the University of Wisconsin. It presents an exposition of basic material from descriptive set theory (the general theory of Borel sets and projective sets), leading up to a new proof of Louveau s separation theorem for analytic sets. It assumes some background in mathematical logic and set theory, and will be of interest to reseachers and advanced students in these areas as well as in mathematical analysis.

Cenzer, Douglas, Larson, Jean, Porter, Christopher  | World Scientific Publishing Company

124,950원  | 20220228  | 9789811243844

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 Godel's Incompleteness Theorem, which have broad academic interest, particularly in computer science and philosophy.