Home  - Pure_And_Applied_Math - Logic And Set Theory

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

81-100 of 100    Back | 1  | 2  | 3  | 4  | 5

Logic And Set Theory:     more books (100)

The Structure of Proof: With Logic and Set Theory by Michael L. O'Leary, 1980 Set Theory and Logic by None, 2000 Collected Works, Volume 1: Logic, Theory of Sets, and Quantum Mechanic by John von Neumann, 1961 Selected essays on the history of set theory and logics (1906-1918) (Instrumenta rationis) by Philip Jourdain, 1991 Set Theory, Logic, and Their Limitations. by Moshe Machover, John Von Neumann: Collected Works, Volume I: Logic, Theory of Sets and Quantum Mechanics by JOHN VON NEUMANN, 1961 Selected Essays on the History of Set Theory and Logics, 1906-18 (Instrumenta Rationis: Sources for the History of Logic in the Modern Age) by Philip E.B. Jourdain, 1991-12 Categorical foundations of set theory and logic by F. W Lawvere, 1992 Collected Works: Logic, Theory of Sets, and Quantum Mechanics v. 1 by John Von Neumann, 1963-12 Selected essays on the history of set theory and logics (1906-1918) (Instrumenta rationis) by Philip E. B Jourdain, 1991 Collected Works, Volume I, Logic, Theory of Sets and Quantum Mechanics T-norm: Mathematics, Binary Operation, Probabilistic Metric Space, Multi-valued Logic, Fuzzy Logic, Intersection (set theory), Lattice (order), Logical Conjunction, Logic Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics (Plenum Press).) by Jonathan L. Swift I. A. Lavrov, 2003 Mathematical Logic and Foundations of Set Theory: Proceedings of an Internationa by International Mathematical Union; Akademyah Ha-Leumit Ha-Yisreelit Le-Madaim; Ei, 1970-01-01

lists with details

81. Logic And Language Links - Set Theory
    set theory Gloss The branch of pure mathematics that deals with the nature and relationsof sets. set theory is a part of logic (1) subtopic of model theory.  
    http://staff.science.uva.nl/~caterina/LoLaLi/Pages/201.html
    
    Extractions: set theory has the following subtopics: iota operator [notion of] descriptive set theory [subclass of] large cardinal determinacy Martin's axiom filter [notion of] axiom of choice ordinal definability [notion of] function borel classification ordinal number [notion of] fuzzy relation cardinal number [notion of] relation fuzzy set set algebra generalized continuum hypothesis ... consistency [notion of] combinatorial set theory [subclass of] constructibility continuum hypothesis independence [notion of] Long description: Not available yet.

82. Logic, Set Theory And Arithmetic (NIWI)
    Powered by, from logic, set theory and ari . entire NIWI site (en),Help. logic, set theory and arithmetic. switch to nl. Please choose  
    http://www.niwi.knaw.nl/en/oi/nod/clasnatuur/d1/D11100/toon

83. Math 330: Set Theory And Logic
    University of North Dakota Math 330 set theory and logic Sample Syllabus.Prerequisites. Math 166 or consent of instructor. Course Objectives.  
    http://www.und.edu/dept/math/syllabi/syl/330.html

84. The Future Of Set Theory By S.Shelah
    mathematical logic as I know it. I have little knowledge of recursion theory andconsiderably less of proof theory, so I refer to model theory and set theory.  
    http://shelah.logic.at/E16/E16.html
    
    Extractions: Judah has asked me to speak on the future of set theory, so as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down to set theory in the next century. Later on I thought I had better cut it down to dealing with the next decade, but I suspect I will speak on what I hope to try to prove next year, or worse - what I have done in the last year (or twenty). It seems I am not particularly suitable for such a lecture, as I have repeatedly preferred to try to prove another theorem than to prepare the lecture (or article); so why did I agree at all to such a doubtful endeavor? Well, under the hypothesis that I had some moral obligation to help Haim in the conference (and the proceedings) and you should not let a friend down, had I been given the choice to help with organizing the dormitories, writing a lengthy well written expository paper or risking making fool of myself in such a lecture, I definitely prefer the latter. The Future of Set Theory Saharon Shelah

85. Problems In Set Theory, Mathematical Logic And The Theory Of Algorithms|KLUWER A
    It covers major classical topics in proof theory and the semantics of propositionaland predicate logic as well as set theory and computation theory.  
    http://www.wkap.nl/prod/b/0-306-47712-2

86. Alberto Policriti's Home Page
    University of Udine Computable set theory, logic in computer science, automated theorem proving.  
    http://www.dimi.uniud.it/~policrit/

87. Dynamic Semantics With Choice Functions
    Essay by Jaroslav Peregrin formalising an approach to dynamic logic which introduces choice functions such as exist in ZFC set theory.  
    http://www.cuni.cz/~peregrin/HTMLTxt/choice.htm

88. Math Forum - Problems Library - Prealgebra, Logic & Set Theory
    logic set theory All Math Forum Problems of the Week could be classified inthis category because they require students to explain their reasoning.  
    http://mathforum.org/library/problems/sets/prealg_logic.html
    
    Extractions: Access to these problems requires a Membership Accounting for Age - Suzanne Alejandre Pre-algebra, difficulty level 3. Given a number trick, explain why the result is always the original number followed by your age. ... Balancing Mobiles - Suzanne Alejandre Pre-algebra, difficulty level 2. Explore two Laws of Archimedes as you puzzle through a balanced mobile. ...

89. Fuzzy Logic
    USA Research topics Computer Vision, Image Processing, Uncertainty Management, FuzzySets and Fuzzy Fuzzy logic theory and Applications at Informatik I at Uni  
    http://www.abo.fi/~rfuller/fuzs.html
    
    Extractions: Fuzzy Sets and Systems Lotfi A. Zadeh , The founder of fuzzy logic International Fuzzy Systems Association (IFSA) IFSA is a worldwide organization dedicated to the support and development of the theory of fuzzy sets and systems and related areas and their applications, publishes the International Journal of Fuzzy Sets and Systems, holds International conferences, establishes chapters and sponsors other activities. Japan Society for Fuzzy Theory and Systems (SOFT) Established in 1989. SOFT has 1,670 individual members and 74 company members, publishes an official bimonthly journal and organizes fuzzy systems symposiums. There are 8 regional branches and 8 research groups in SOFT.

90. Set Theory - Encyclopedia Article About Set Theory. Free Access, No Registration
    have associated sorts of sets (such as fuzzy sets Fuzzy sets are anextension of the classical set theory used in Fuzzy logic. A  
    http://encyclopedia.thefreedictionary.com/set theory
    
    Extractions: Dictionaries: General Computing Medical Legal Encyclopedia Word: Word Starts with Ends with Definition The words set theory can be used to mean a number of subtly different things: Naive set theory Naïve set theory is distinguished from axiomatic set theory by the fact that the former regards sets as collections of objects, called the elements or members of the set, whereas the latter regards sets only as that which satisfies the axioms. The name is perhaps derived from the title of Paul Halmos' book Naive Set Theory . Sets are of great importance in mathematics; in fact, in the modern formal treatment, the whole machinery of pure mathematics (numbers, relations, functions, etc.) is defined in terms of sets. Click the link for more information. is the original set theory developed by mathematicians at the end of the 19th century Axiomatic set theory Set theory is a branch of mathematics and computer science created principally by the German mathematician Georg Cantor at the end of the 19th century. Initially controversial, set theory has come to play the role of a foundational theory in modern mathematics, in the sense of a theory invoked to justify assumptions made in mathematics concerning the existence of mathematical objects (such

91. PhilSci Archive - How Set Theory Impinges On Logic
    How set theory Impinges on logic. Keywords Models, settheoretical universe, infinite,first-order logic, second-order logic, set theory, continuum hypothesis.  
    http://philsci-archive.pitt.edu/archive/00001620/
    
    Extractions: About Browse Search Register ... Help Mosterin, Jesus (2004) How Set Theory Impinges on Logic. Full text available as: PDF - Requires a viewer, such as Adobe Acrobat Reader or other PDF viewer. Keywords: Models, set-theoretical universe, infinite, first-order logic, second-order logic, set theory, continuum hypothesis Subjects: General Issues Models and Idealization Specific Sciences Mathematics ID Code: Deposited By: Mosterin, Jesus Deposited On: 16 Febuary 2004 Additional Information: Published in Paul Weingartner (ed.), Alternative Logics: Do Sciences Need Them? Berlin-Heidelberg-New York, 2004, pp. 55-63. Send feedback to: philsci-archive@library.pitt.edu

92. Math130F03 > Euler Diagrams: Where Logic Meets Set Theory
    Math 130 Finite Mathematics Sept 24, 2003. Euler diagrams Where logic meetsSet theory. Use Euler diagrams to analyze each of the following arguments.  
    http://www.yukoncollege.yk.ca/~ttopper/Math130/EulerQs.html
    
    Extractions: Use Euler diagrams to analyze each of the following arguments. All doctors work hard. Sarah is a doctor. Therefore Sarah works hard. Some TV shows are comedies. No comedies are boring. Therefore some TV shows are boring. Some mathematicians are musicians. All musicians read music. Therefore some mathematicians read music. All joggers are lean. All lean people are healthy. Therefore all joggers are healthy. No cloudy day is a good day to swim. No days in July are cloudy. Therefore all July days are good days to swim. Some people own computers. Some people with computers play games. All people play games.

93. Rubriek: 31.10 Mathematics: Logic, Set Theory
    DutchESS, Dutch Electronic Subject Service, Rubriek31.10 mathematics logic, set theory.  
    http://www.kb.nl/dutchess/31/10/

94. The Future Of Set Theory
    The future of set theory. is a paper of Saharon Shelah that appearedin the proceedings of the Bar Ilan Winter School (January 1991).  
    http://shelah.logic.at/future.html
    
    Extractions: ...is a paper of Saharon Shelah that appeared in the proceedings of the Bar Ilan Winter School (January 1991). [Israel Mathematical Conference proceedings vol 6, distributed by the AMS] A pdf file of this paper is available. Also, an html file is now available. Marion Scheepers writes in Mathematical Reviews: In this very personal paper, the author gives his perspective on the development of set theory and model theory, and discusses some of his main sources of motivation. What would one want to read in an article like this? On p.9 of the article the author gives his answer to this question: "A reasonable guideline may be this: what would I like to be able to read by a reasonable mathematician of Cantor's time? A possible answer: why he has dealt with particular problems, what his views were, and something about himself and his colleagues." The article ends with the following very quotable thesis: "Never let ideology or `good taste' stop you from proving a good theorem."

95. Logic/Set Theory
    logic/set theory. Robert S. Rumely Professor ,Ph.D.Princeton,1978,Decidability of arithmetic theories. Modeltheoretic algebra.  
    http://www.math.uga.edu/~grad/html-gradcore/node17.html

96. Logic Tutorial - Visual Interactive Formal, Propositional, Or Symbolic Logic
    Free tutorials in formal logic (symbolic or propositional logic) from logictutorial.com using Johnston diagrams. Nagarjuna meets Venn and Wittgenstein. Illustrating Formal logic with Johnston  
    http://www.logictutorial.com/
    
    Extractions: Take two sentences: "A" - "It's cloudy at 10 Downing Street" and "B" - "The Dali Lama is in Canada". Now, both or either may be true, or both false. The logical combinations of such sentences make up propositional logic, as illustrated by the diagram further along on this web page. It takes an act of imagination to understand just what the diagram below means. The concept is that all possible situations or states of affairs (or "possible worlds" - really meaning possible universes - if you like) have been crowded into the rectangle, each point being one such way things could be imagined to be. The rectangle contains different sections teeming with such possible situations. The area inside the circle labeled "A" below contains all the possible worlds (or if you prefer, situations or "states of affairs") in which the proposition "A" is in fact true. Similarly the circle "B" encompasses all those states of affairs/situations/possible worlds in which the statement "B" is accurate. All in all, all possible states of affairs show up in one section or another (and just one section) of the Johnston diagram. Now, if you let your pointer hover for a moment over an area on the diagram, without clicking it yet, a caption will pop up saying just what kinds of possible worlds that particular section of the diagram contains.

97. IRA: 1. Sets And Relations
    http://www.shu.edu/projects/reals/logic/

98. The Venn Diagram Page -- Symmetric Diagrams
    Starting at the set {1}, and writing the bitstring representation ofeach subset we are lead to the table shown below (read down).  
    http://www.combinatorics.org/Surveys/ds5/VennSymmEJC.html
    
    Extractions: Symmetric Diagrams symmetric diagrams n n n ... Gray codes Here we (re-)show a Venn diagram made from 5 congruent ellipses. The regions are colored according to the number of ellipses in which they are contained: grey = 0, yellow = 1, red = 2, blue = 3, green = 4, and black = 5. Note that the number of regions colored with a given color corresponds to the appropriate binomial coefficient: #(grey) = #(black) = 1, #(yellow) = #(green) = 5, and #(red) = #(blue) = 10. This diagram has a very a pleasing symmetry, namely an n -fold rotational symmetry. Such diagrams are said to be symmetric . This simply means that there is a point x about which the diagrams may be rotated by 2 i pi n and remain invariant, for i n- 1. Any symmetric Venn diagram must be made from congruent curves. The purpose of this section is to survey what is known about symmetric diagrams. We begin with a simple necessary condition. Theorem.

99. LO Logic
    Front for the Mathematics Arxive logic section.  
    http://front.math.ucdavis.edu/math.LO/

100. MathFiction
     What you see below is the subset that meets the following criteria Topic=logic/SetTheory. 34 matches found out of 418 entries. Art Thou Mathematics?  
     http://math.cofc.edu/faculty/kasman/MATHFICT/search.php?go=yes&topics=ls&orderby

81-100 of 100    Back | 1  | 2  | 3  | 4  | 5