Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Logic And Set Theory

e99.com Bookstore
  
Images 
Newsgroups
Page 1     1-20 of 79    1  | 2  | 3  | 4  | Next 20

         Logic And Set Theory:     more books (100)
  1. Logic and set theory: With applications by Philip M Cheifetz, 2004
  2. Set Theory and Logic by Robert R. Stoll, 1979-10-01
  3. Set Theory, Logic and their Limitations by Moshe Machover, 1996-05-31
  4. Set Theory and Its Logic, Revised Edition by W. V. Quine, 1969-01-01
  5. Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics) by George Tourlakis, 2010-09-09
  6. Notes on Logic and Set Theory (Cambridge Mathematical Textbooks) by P. T. Johnstone, 1987-10-30
  7. Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics) by George Tourlakis, 2010-09-09
  8. The Structure of Proof: With Logic and Set Theory by Michael O'Leary, 2002-01-15
  9. Introduction to Mathematical Logic: Set Theory - Computable Functions - Model Theory (Undergraduate Texts in Mathematics) by Jerome Malitz, 1979-05-01
  10. Algebra, Logic, Set Theory (Studies in Logic)
  11. Foundations of analysis,: With an introduction to logic and set theory (The Appleton-Century mathematics series) by D. A. Clarke, B. Brainerd, 1971
  12. Fuzzy Sets and Fuzzy Logic: Theory and Applications by George J. Klir, Bo Yuan, 1995-05-21
  13. Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library) by L. Decock, 2002-09-30
  14. Boolean-Valued Models and Independence Proofs in Set Theory (Oxford Logic Guides) by John Lane Bell, 1985-08-15

1. Mathematics Archives - Topics In Mathematics - Logic & Set Theory
Category of Topics in Mathematics (MathArchives).Category Science Math Logic and Foundations Directories......Math Archives Homepage, Topics in Mathematics. Logic Set Theory. KEYWORDS Proofsin logic and set theory, ZFC (ZermeloFraenkel with Choice) set theory;
http://archives.math.utk.edu/topics/logic.html
Topics in Mathematics

2. Logic And Set Theory Organizations
Find numerous listings for logic and set theory organizations, groups, conferences, and seminars worldwide.
http://www.math.ufl.edu/~jal/orgs.html
Organizations
  • Association for Symbolic Logic ( ASL
  • American Philosophical Association ( APA
  • Logic in Computer Science ( LICS
  • Kurt Godel Society ( KGS
  • Institute for Logic, Language and Computation ( ILLC ) at University of Amsterdam
Groups
Conferences and Seminars
  • AMS Special Sessions
    • Topology and its Applications, January 6-9, 2002, San Diego (annual joint meeting), announced by the

3. An Elementary Introduction To Logic And Set Theory: Table Of Contents
An Elementary Introduction to logic and set theory. I. Overview. II. SententialLogic Propositions. Negation. Disjunction. Conjunction. Conditional. Biconditional.
http://www.madison.tec.wi.us/alehnen/weblogic/logcont.htm
An Elementary Introduction to Logic and Set Theory I. Overview II. Sentential Logic

4. Martin Flashman's Logic And Set Theory Web Surfing Page
Martin Flashman's logic and set theory Web Surfing Page. for logic and settheory that parallel Hamilton's textbook Logic for Mathematicians.
http://www.humboldt.edu/~mef2/logicsites.html
Martin Flashman's Logic and Set Theory Web Surfing Page
Curently under construction. 1/12/98
WEB SURFING TOOLS AND SITES-CAVEAT: Use at your own risk :)
Latest major changes: Jan. 12, 1998 E-Mail: flashman@axe.humboldt.edu

5. UCLA Math: Logic And Set Theory
tradition of research in mathematical logic and set theory, both in the Mathematics Department and in the Department of
http://www.math.ucla.edu/grad_programs/faculty/research_areas/logic.html
UCLA has a strong tradition of research in mathematical logic and set theory, both in the Mathematics Department and in the Department of Philosophy. A special aspect of our strength in this field is the close collaboration with Caltech (see the item on the joint Caltech seminar below). Although the interests of our logicians are broad and touch on most of the research areas in the foundation of mathematics, the emphasis in recent years has been in recursion theory (including its applications to mathematical computer science), classical set theory, and descriptive set theory. Regular Faculty
G. Hjorth
Descriptive set theory D.A. Martin Set theory, descriptive set theory I. Neeman Set theory, large cardinals Y. Moschovakis Descriptive set theory, theory of algorithms
Courses
Seminars and Colloquia
The Caltech-UCLA Logic Seminar (Math 286D) meets every Friday generally at UCLA or at Caltech and provides an opportunity for faculty and advanced students from both schools to study the most exciting new results in the field and to present and discuss their own research. Reflecting the research interests of the participants, during the last four years, the seminar has concentrated on descriptive set theory, large cardinals, and abstract recursion theory. Regular publication of its proceedings started with Cabal Seminar 76-77 Springer Lecture Notes No. 689. During the academic year, every other Friday at 4:00 p.m., an invited speaker (usually from out of town) gives an hour talk for the

6. Assignments For Logic And Set Theory
Assignments for logic and set theory 1. In the following compound propositionsthere are two simple propositions connected by a conditional.
http://www.madison.tec.wi.us/alehnen/logicasn/prologic.html
Assignments for Logic and Set Theory 1. In the following compound propositions there are two simple propositions connected by a conditional. Indicate for each pair of simple propositions which proposition is the necessary condition for the other and which proposition is the sufficient condition for the other. a) If I pass my algebra class I'm done taking math. b) Unless the engine is overhauled the car won't run. c) Without gas in the tank the car won't run. d) Henry won't go to school unless he feels better. 2. Each proposition below is followed by a list of statements. Indicate which of the statements are syntactically equivalent to the original proposition. a) If the weather doesn't improve the game is cancelled.
    i) If the weather improves the game won't be cancelled. ii) If the game is cancelled the weather does not improve. iii) If the game is not cancelled the weather does improve. iv) Unless the weather improves the game is cancelled. v) Unless the game is cancelled the weather improves. vi) The weather improves or the game is cancelled.

7. Math Forum - Ask Dr. Math Archives: College Logic/Set Theory
Browse College logic and set theory. Stars indicate particularly interestinganswers or good places to begin browsing. Cantor, Peano
http://mathforum.org/library/drmath/sets/college_logic.html
Ask Dr. Math
College Archive

Dr. Math Home
Elementary Middle School High School ... Dr. Math FAQ
TOPICS
This page:

logic/set theory
Search

Dr. Math

See also the
Dr. Math FAQ
false proofs,
classic fallacies Internet Library logic and set theory COLLEGE Algorithms Analysis Algebra linear algebra ... Trigonometry
Browse College Logic and Set Theory Stars indicate particularly interesting answers or good places to begin browsing.
Cantor, Peano, Natural Numbers, and Infinity
A conversation on transfinite numbers and contradictions the questioner believes exist in Cantor's paper introducing the diagonal method.
Lines, Points, and Infinities
What is the cardinality of the set of real numbers between and 1? Is this cardinality less than, greater than, or equal to the cardinality of real numbers between and 2?
Probability: Let's Make a Deal
Should the contestant stick with the original choice of doors or switch and choose the other door? What about the lottery?
Relations on a Set, as Mappings
Proof: If R, S, and T are relations on a set A, show that (R o S) o T = R o (S o T)

8. About "Logic And Set Theory (Mathematics Archives)"
logic and set theory (Mathematics Archives). Library Home FullTable of Contents Suggest a Link Library Help Visit this
http://mathforum.org/library/view/17213.html
Logic and Set Theory (Mathematics Archives)
Library Home
Full Table of Contents Suggest a Link Library Help
Visit this site: http://archives.math.utk.edu/topics/logic.html Author: University of Tennessee, Knoxville (UTK) Description: An extensive list of links to sites with information about logic and set theory, classified by level and type of resource. Levels: College Research Languages: English Resource Types: Link Listings Math Topics: Logic/Foundations Set Theory
Suggestion Box
Home ... Search
http://mathforum.org/
webmaster@mathforum.org

9. Kosmoi: Logic And Set Theory
Featured Bestselling Books logic and set theory.
http://kosmoi.com/Science/Mathematics/Logic/
Mathematics Philosophy Science
Logic and Set Theory
Nature Agriculture Animals Biology ... How to Read and Do Proofs : An Introduction to Mathematical Thought Processes Daniel Solow Infinity and the Mind Rudy Rucker The Nuts and Bolts of Proofs Antonella Cupillari Naive Set Theory Paul R. Halmos A First Course in Fuzzy Logic, Second Edition Hung T. Nguyen, Elbert A. Walker Set Theory and Logic Robert R. Stoll Mathematical Proofs: A Transition to Advanced Mathematics Gary Chartrand, Albert D. Polimeni, Ping Zhang Axiomatic Set Theory Patrick Colonel Suppes Proofs and Fundamentals: A First Course in Abstract Mathematics Ethan D. Bloch Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 4) Sy D. Friedman
Set Theory
A set is any collection of unique objects, called elements The kinds of elements that can be taken as members of a set is, in general, unrestricted (Bertrand Russell pointed out that a complete lack of restriction can lead to paradoxes). We describe a set explicitly by enumerating its members, thus: This set contains five members; its

10. Lectures In Logic And Set Theory - Cambridge University Press
Home Catalogue Lectures in logic and set theory. Related Areas Lecturesin logic and set theory. Volume 2 , Set Theory. George Tourlakis. £65.00.
http://books.cambridge.org/0521753740.htm
Home Catalogue
Related Areas: Pure Mathematics Cambridge Studies in Advanced Mathematics
New titles Email
For updates on new titles in:
Pure Mathematics
Lectures in Logic and Set Theory
Volume 2 , Set Theory
George Tourlakis
In stock This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained ‘chapter 0’ on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel’s constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
Sample chapter
Download sample chapter
Author Homepage
Information about the Author
Contents
1. A bit of logic: a user’s toolbox. 2. The set-theoretic universe, naively; 3. The axioms of set theory; 4. The axiom of choice; 5. The natural numbers; transitive closure; 6. Order; 7. Cardinality; 8. Forcing.

11. Lectures In Logic And Set Theory - Cambridge University Press
Home Catalogue Lectures in logic and set theory. Related Areas Lectures inlogic and set theory. Volume 1 , Mathematical Logic. George Tourlakis. £47.50.
http://books.cambridge.org/0521753732.htm
Home Catalogue
Related Areas: Pure Mathematics Cambridge Studies in Advanced Mathematics
New titles Email
For updates on new titles in:
Pure Mathematics
Lectures in Logic and Set Theory
Volume 1 , Mathematical Logic
George Tourlakis
In stock This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), 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.
Sample chapter
Download sample chapter
Author Homepage
Information about the Author
Contents
1. Basic logic; 2. The second incompleteness theorem.

12. 80.07.04: Logic And Set Theory
logic and set theory. by Richard Canalor. to top. Conclusion. The languageof logic and set theory is not merely about statements in a textbook.
http://www.yale.edu/ynhti/curriculum/units/1980/7/80.07.04.x.html
Yale-New Haven Teachers Institute Home
Logic and Set Theory
by
Richard Canalor
Contents of Curriculum Unit 80.07.04:
To Guide Entry
The following unit is designed to offer teachers and children a chance to explore what may be to them a different area of Finite Mathematics. While in no way does the unit cover the entire fields of Set Theory and Logic, it does, I hope, offer an introduction to the basic concepts, symbols and importance of these two fields of Mathematics. As you will see, Set Theory and Logic are related and have therefore been combined for the content of this unit. The unit is approximately two weeks in length and is intended for grade 6,7, or 8 although both length and grade level may vary. We will begin with a short Pretest. The purpose of the pretest is twofold. On one hand it will give some barometer of success (there will be a posttest) and hopefully the pretest will foster discussion and motivate children to want to hear more.
Pretest
1. There were 20 people at a party. Thirteen had coke, 7 had sandwiches, 5 had both. How many did not eat or drink?

13. Guide Entry 80.07.04
logic and set theory, by Richard N. Canalori. logic and set theory will aid studentsin proving the equivalence of statements as well as in solving problems.
http://www.yale.edu/ynhti/curriculum/guides/1980/7/80.07.04.x.html
Yale-New Haven Teachers Institute Home Logic and Set Theory, by Richard N. Canalori
Guide Entry to 80.07.04:
“Logic and Set Theory” is designed to offer teachers and children a chance to explore what may be to them a different area of Finite Mathematics. The unit offers an introduction to the basic concepts and symbols of Logic and Set Theory and provides exercises in these two areas. Problem solving in all areas of mathematics requires the ability to reason and to form valid conclusions. Logic and Set theory will aid students in proving the equivalence of statements as well as in solving problems. Some of the ideas introduced in the unit include types of statements, truth tables, and Venn Diagrams, as well as the language of Logic and Set Theory. (Recommended for 6th through 12th grade Mathematics.) Key Words
Word Problems Basic Skills Mathematics
To Curriculum Unit
Contents of 1980 Volume VII Directory of Volumes Index ... Contact YNHTI

14. 1. Logic And Set Theory
1. logic and set theory. 1.1 Local equivalents of the Axiom of Choice.The famous equivalence of the Axiom of Choice and the WellOrder
http://www.maths.ox.ac.uk/teaching/ug-projects/html/project-ideas/node2.html
Next: 2. Geometry and Topology Up: EXTENDED ESSAYS: paper o2 Previous: Contents
Subsections
1. Logic and Set Theory
1.1 Local equivalents of the Axiom of Choice
The famous equivalence of the Axiom of Choice and the Well-Order Principle can be proved `locally': a set has a choice function if and only if is well orderable. When we come to examine the equivalence of the Axiom of Choice with other assertions of Set Theory we often find that mismatches appear in the local versions. In Zorn's Lemma, for example, if has a choice function then in every inductive partial ordering on there are maximal elements; on the other hand, the usual argument requires that there should be maximal elements in every inductive partial ordering of the power set of to yield that there is a choice function on . Investigate such `gaps' in local equivalents of the Axiom of choice.
1.2 Theories of the real numbers
The system of real numbers may be defined as a complete linearly ordered field. What this is may be defined in many ways. In particular, many different versions of the completeness axiom have been proposed and used. Collect, compare and contrast these various theories.
Next: 2. Geometry and Topology

15. Combinatorics, Geometry, Logic And Set Theory Research Group, Univ. Of Calgary
Mathematical logic and foundations. Claude Laflamme. 03E35, 03E05. Consistency andindependence results; Descriptive set theory. Mathematical logic and foundations.
http://www.math.ucalgary.ca/~cunning/combin.html

Research at the Department of Mathematics
Combinatorics, Geometry and Logic research group
Research category Researcher AMS subject classification Research topics Mathematical logic and foundations Claude Laflamme Consistency and independence results; Descriptive set theory Mathematical logic and foundations Norbert Sauer Partition relations; Quantifier elimination, model completeness and related topic; Other classical set theory (including functions, relations, and set algebra); Model theory Mathematical logic and foundations Robert Woodrow Basic properties of first-order languages and structures; Denumerable structures; Properties of classes of models Combinatorics Ted Bisztriczky Matroids, geometric lattices. Combinatorics Aiden Bruen Finite geometries Combinatorics Richard Guy Enumerative combinatorics; Factorials, binomial coefficients, combinatorial functions; Exact enumeration problems, generating functions Combinatorics Karen Seyffarth Factorization, matching, covering and packing; Paths and cycles; Applications; Extremal problems; Topological graph theory, imbedding; Distance in graphs Combinatorics Bill Sands Paths and cycles; Combinatorial choice problems (subsets, representatives, permutations); Graph algorithms; Connectivity

16. Logic And Set Theory
Ben Gurion University of the Negev. Mathematics Department. INTRODUCTION TO LOGICAND SET THEORY. Course number 20110201, Winter Semester 2001/2002. Lecturers.
http://www.math.bgu.ac.il/~efrat/logic.html
Ben Gurion University of the Negev
Mathematics Department
INTRODUCTION TO LOGIC AND SET THEORY
Course number: 201-10201, Winter Semester 2001/2002
Lecturers
  • Dr. Ivgenya Ackermann
    • Office: Mathematics Building, Room -120
    • Office hours: Sunday 14-16
  • Prof. Ido Efrat
    • Office: Mathematics Room 106
    • Office hours: Sunday 14-16
    • Tel.: (08) 6461627
    • e-mail: efrat@math.bgu.ac.il
  • Dr. Ruvim Lipyansky
    • Office: Mathematics Building, Room -104
    • Office hours: Wednesday 14-16
    • Tel.: (08) 6477805
    • e-mail: lipyansk@math.bgu.ac.il
    Teaching Assistants
  • Amir Gurion
    • Office: Mathematics Building, Room 129
    • Office hours: TBA
  • Victoria Lubitch
    • Office: Mathematics Building, Room 127
    • Office hours: TBA
  • Yona Meisel
    • Office: Mathematics Building, Room 129
    • Office hours: TBA
    Expected Course Syllabus
    Part I: Basic notions in set Theory
    Sets, set operations, relations, equivalence relations and partitions, partial and total orderings, the natural numbers, induction principles, functions
    Part II: Propositional Calculus
    Truth tables, truth values, logical equivalence, disjunctive normal forms, complete connector systems
    Part III: Predicate Calculus
    Its language, formulas, structures, satisfaction, normal forms, definability, isomorphisms of structures
  • 17. Logic And Set Theory
    Ben Gurion University of the Negev. Mathematics Department. INTRODUCTION TO LOGICAND SET THEORY. Course number 20110201, Winter Semester 2000/1. Lecturers.
    http://www.math.bgu.ac.il/~efrat/logic2000.html
    Ben Gurion University of the Negev
    Mathematics Department
    INTRODUCTION TO LOGIC AND SET THEORY
    Course number: 201-10201, Winter Semester 2000/1
    Lecturers
  • Dr. Ivgenya Ackermann
    • Office: Mathematics Building, Room 131
    • Office hours: TBA
    • Tel.: (07) 6461653
  • Prof. Ido Efrat
    • Office: Mathematics Room 106
    • Office hours: Sunday 15-17
    • Tel.: (07) 6461627
    • e-mail: efrat@math.bgu.ac.il
  • Dr. Rubim Lipyanski
    • Office: Mathematics Building, Room -104
    • Office hours: Monday 14-16
    Teaching Assistants
  • Yona Maisel
    • Office: Mathematics Building, Room 129
    • Office hours: TBA
  • Hen Dubi
    • Office: Mathematics Building, Room 129
    • Office hours: TBA
  • Victoria Lubitch
    • Office: TBA
    • Office hours: TBA
    Expected Course Syllabus
    Part I: Basic notions in set Theory
    Sets, Set operations, relations, equivalence relations and partitions, functions, induction principles, partial and total orderings
    Part II: Propositional Calculus
    Truth tables, truth values, logical equivalence, disjunctive normal forms, complete connector systems
    Part III: Predicate Calculus
    Its language, formulas, structures, satisfaction, normal forms, definability, isomorphisms of structures
  • 18. Mathematica Information Center: Packages For Logic And Set Theory
    Packages for logic and set theory, boolean logic, set theory, pure mathematics,applied mathematics, associated boolean rings, the Mathematica Journal V2.1,
    http://library.wolfram.com/database/MathSource/694/
    All Collections Articles Books Conference Proceedings Courseware Demos MathSource: Packages and Programs Technical Notes
    Title
    Packages for Logic and Set Theory
    Author
    Jack K. Cohen
    Organization: Center for Wave Phenomena, Colorado School of Mines Old MathSource #
    Revision date
    Description
    The fundamental operations of set theory and logic can be elegantly implemented in Mathematica in terms of the associated Boolean rings.
    Subjects
    Mathematics
    Foundations of Mathematics Logic Mathematics ... Set Theory Keywords
    boolean logic, set theory, pure mathematics, applied mathematics, associated boolean rings, the Mathematica Journal V2.1 Related items Packages for Logic and Set Theory [in Articles Downloads logic.m (701 B) - Mathematica package set.m (1.1 KB) - Mathematica package

    19. Volume 7 January - December 1997
    Modal deduction in secondorder logic and set theory - I. ABSTRACT. We investigatemodal deduction through translation into standard logic and set theory.
    http://www3.oup.co.uk/logcom/hdb/Volume_07/Issue_02/070251.sgm.abs.html
    Volume 7: January - December 1997
    Issue 2: 1997
    Abstract
  • Modal deduction in second-order logic and set theory - I
  • J van Benthem G D'Agostino A Montanari and A Policriti ILLC, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam The Netherlands and Dipartimento di Matematica e Informatica, Unversita di Udine, Via delle Scienze 206, 33100 Udine Italy ABSTRACT We investigate modal deduction through translation into standard logic and set theory. In a previous paper, using a set-theoretic translation method, we proved that derivability in the minimal modal logic K s corresponds precisely to derivability in a weak, computationally attractive set theory [Omega]. In this paper, this approach is shown equivalent to working with standard first-order translations of modal formulae in a theory of general frames. The employed techniques are mainly model-theoretic and set-theoretic, and they admit extensions to richer languages and modal deductive systems than that of basic modal logic. Some of these extensions are discussed in the last part of the paper. Keywords: Modal logic, modal deduction, translation methods, set theory, second-order logic

    20. Kosmoi: Logic And Set Theory
    logic and set theory. Featured Bestselling Books logic and set theory.
    http://encyclozine.com/Science/Mathematics/Logic
    Mathematics Philosophy Science
    Logic and Set Theory
    Artzia Arts Fantasy History ... How to Read and Do Proofs : An Introduction to Mathematical Thought Processes Daniel Solow Infinity and the Mind Rudy Rucker The Nuts and Bolts of Proofs Antonella Cupillari Naive Set Theory Paul R. Halmos A First Course in Fuzzy Logic, Second Edition Hung T. Nguyen, Elbert A. Walker Set Theory and Logic Robert R. Stoll Mathematical Proofs: A Transition to Advanced Mathematics Gary Chartrand, Albert D. Polimeni, Ping Zhang Axiomatic Set Theory Patrick Colonel Suppes Proofs and Fundamentals: A First Course in Abstract Mathematics Ethan D. Bloch Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 4) Sy D. Friedman
    Set Theory
    A set is any collection of unique objects, called elements The kinds of elements that can be taken as members of a set is, in general, unrestricted (Bertrand Russell pointed out that a complete lack of restriction can lead to paradoxes). We describe a set explicitly by enumerating its members, thus: This set contains five members; its

    Page 1     1-20 of 79    1  | 2  | 3  | 4  | Next 20

    free hit counter