61. Fuzzy Logic: What Is Fuzzy Logic? Fuzzy set theory encompasses fuzzy logic, fuzzy arithmetic, fuzzy mathematical programming,fuzzy topology, fuzzy graph theory, and fuzzy data analysis, though http://www.emsl.pnl.gov:2080/proj/neuron/fuzzy/what.html

Many decision-making and problem-solving tasks are too complex to be understood quantitatively, however, people succeed by using knowledge that is imprecise rather than precise. Fuzzy set theory, originally introduced by Lotfi Zadeh in the 1960's, resembles human reasoning in its use of approximate information and uncertainty to generate decisions. It was specifically designed to mathematically represent uncertainty and vagueness and provide formalized tools for dealing with the imprecision intrinsic to many problems. By contrast, traditional computing demands precision down to each bit. Since knowledge can be expressed in a more natural by using fuzzy sets, many engineering and decision problems can be greatly simplified. Additional Introductory Material on Fuzzy Logic Links: represents a working link, represents a broken link, represents a verified dead link, and represents a closed link, as determined during the last link check on 1 June 1997 or by reported problems. represents a link added in the last 90 days (i.e., since 26 October 2000) Please help us keep this service useful by letting us know when you change your URLs. Sources: Introduction: NeuroFuzzy Computing Accel Infotech S Pte Ltd.)

62. MathPages: Set Theory And Foundations set theory and Foundations. sets of Pure Order Zeno's Paradox of Motion Global Reversibilityof Cellular Automata Computation is Exclusive What is Fuzzy logic? http://www.mathpages.com/home/ifoundat.htm

Set Theory and Foundations Representing Sets of Pure Order Zeno's Paradox of Motion Global Reversibility of Cellular Automata Computation is Exclusive ... Math Pages Main Menu

63. Basics Of Fuzzy Logic And Fuzzy Set Theory Basics of Fuzzy logic and Fuzzy set theory. The concept of fuzzy setand fuzzy logic were introduced by Zadeh Zadeh, 1965. Zadeh http://www.ncst.ernet.in/kbcs/vivek/issues/11.1/sam/node2.html

Next: Neonatal Resuscitation Management: An Up: On Fuzzy Concepts in Previous: Introduction Basics of Fuzzy Logic and Fuzzy Set Theory for no membership; for full membership; for partial membership. Having obtained the numerical representation of these linguistic terms, one has to define the set theoretic operations of union, intersection and complementation along with their logical counterparts of conjunction, disjunction and complementation as follows: Union (logical OR)- the membership of an element in the union of two fuzzy sets is the larger of the memberships in these sets. (A OR B) = max((A), (B)) e.g., (tall OR small) = max((tall), (small)) Intersection (logical AND)- the membership of an element in the intersection of two fuzzy sets is the smaller of the memberships in these sets. (A AND B) = min((A), (B)) e.g., (tall AND small) = min((tall), (small)) Complement (logical NOT)- the degree of truth of the membership to the complement of the set is defined as (1 - membership). (NOT A) = 1 - (A) e.g., (NOT tall) = (1 - (tall))

64. Set Theory And Logic Click to enlage set theory and logic Robert R. Stoll. Our Price, $16.95. AvailabilityIn Stock. (Usually ships in 24 to 48 hours). Format Book. ISBN 0486638294. http://store.doverpublications.com/0486638294.html

American History, American...... American Indians Anthropology, Folklore, My...... Antiques Architecture Art Astronomy Biology and Medicine Bridge and Other Card Game...... Chemistry Chess Children Consumer Catalogs Cookbooks, Nutrition Crafts Detective Stories, Science...... Dover Phoenix Editions Earth Science Engineering Ethnic Interest Features Science Gift Certificates Gift Ideas Giftpack History, Political Science...... Holidays Humor Languages And Linguistics Literature Magic, Legerdemain Mathematics Military History, Weapons ...... Music Nature Performing Arts, Drama, Fi...... Philosophy And Religion Photography Physics Psychology Puzzles, Amusement, Recrea...... Reference Specialty Stores Sports, Out-of-door Activi...... Science and Mathematics Stationery, Gift Sets Summer Fun Shop Travel and Adventure Women's Studies By Subject Science and Mathematics Mathematics Set Theory Set Theory and Logic Robert R. Stoll Our Price Availability: In Stock (Usually ships in 24 to 48 hours) Format: Book ISBN: Page Count: Dimensions: 5 5/8 x 8 1/4 Lucidly and gradually explains sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and first-order theories. Its clarity makes this book excellent for self-study. Buy Now!

65. Abstract Algebra, Logic, Set Theory Abstract Algebra, logic, set theory. MATH 403 Mathematical logic(3 credits) Rigorous treatment of propositional and firstorder http://math.boisestate.edu/~grantham/common_course_draft_report/node13.html

Next: GeometryTopology, Number Up: Descriptions of Upper Previous: Descriptions of Upper Abstract Algebra, Logic, Set Theory MATH 403 Mathematical Logic (3 credits) PREREQ: Varies: usually Discrete Mathematics plus at least one theoretical upper-division mathematics course. MATH 407 Abstract Algebra I (3 credits) Introduction to abstract algebraic systems, with primary emphasis on group theory: subgroups, permutation groups, normal subgroups, isomorphism and homomorphism, quotient groups. Introduction to rings and fields. PREREQ: Varies; usually at least one prior course having an emphasis on proof. MATH 408 Abstract Algebra II (3 credits) Sylow theorems and solvable groups. Rings, subrings, ideals, quotient rings, rings of polynomials, factorization. Fields, field extensions, Galois theory. PREREQ: Abstract Algebra I MATH 409 Set Theory (3 credits) An axiomatic treatment of set theory: axioms of ZF, cardinal and ordinal arithmetic, axiom of choice and its equivalents. Introduction to consistency and independence results and other axiomatizations as time allows. PREREQ: Varies.

66. HOST - Higher Order Set Theory HOST Higher Order set theory (for noframe browsers) http://www.rbjones.com/rbjpub/logic/log034.htm

HOST - Higher Order Set Theory (for noframe browsers)

67. 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/

Rubriek: 31.10 mathematics: logic, set theory Kurt Gödel Society Mathematical logic around the world / Boris Piwinger, University of Bonn Mathematical logic group, University of Vienna Institute of logic

68. Mathematical Logic At The University Of Bonn pdffile); Koepke Modelle der Mengenlehre (Models of set theory) (PostScript-file)(dvi-file)(pdf-file). Events organized by members of the Bonn logic group. http://www.math.uni-bonn.de/people/logic/

Mathematical Logic Group Department of Mathematics Fachgruppe Mathematik/Informatik Mathematisch-Naturwissenschaftliche Fakultät University of Bonn Part of the Interdisciplinary Cooperation LOGiC in BOnN (LiB) Members Alumni Research ... Links (incl. our famous " Mathematical Logic around the world ") Informationen zum Studium der Mathematischen Logik in Bonn Contact Address: Mathematisches Institut Be4Zi27 (Office Hours Mon-Thu 9-14, Fri 9-12) D-53115 Bonn Germany Phone: Fax: + 49 - 228 - 73 -7916 (please label the fax clearly with the name of the intended recipient) Members ( Mitglieder und Angehörige Professors ( Hochschullehrer Prof. Dr. Peter Koepke koepke@math.uni-bonn.de ), Be4Zi44 Phone 73-2206; Office Hour: Wednesday 12-13 Scientific Staff ( Wissenschaftliche Mitarbeiter Dr. loewe@math.uni-bonn.de ), Be4Zi24, Phone 73-2928; Office Hour: Wednesday 11-12 PD Dr. Heike Mildenberger heike@math.uni-bonn.de ) [currently on leave in Vienna] Dr. Michael Möllerfeld mimoe@math.uni-bonn.de ), Be4Zi25, Phone 73-3352 Students ( Studenten Dipl.-Math.

69. Mathematical Logic, Constructive Mathematics, Set Theory, Mathematical logic.Category Science Math Institutions North America...... Mathematical logic, Constructive Mathematics, set theory, Recursion theory. math page grad page research page Karel Prikry http://www.math.umn.edu/grad/areas/logic.html

Mathematical Logic, Constructive Mathematics, Set Theory, Recursion Theory math page grad page research page Karel Prikry prikry@math.umn.edu Professor , Ph.D. 1968 University of California Berkeley set theory, measure theory, boolean algebras Wayne Richter richter@math.umn.edu Associate Professor , Ph.D. 1963 Princeton University recursion theory, set theory gradprog@math.umn.edu www@math.umn.edu Director of Graduate Studies in Mathematics ((612) 625-1306) 127 Vincent Hall, 206 Church Street S.E. Minneapolis, MN 55455 URL http://www.math.umn.edu/grad/areas/logic.html The University of Minnesota is an equal opportunity educator and employer.

70. Www-rdf-logic@w3.org From May 2001: Set Theory (NBG) org From John D. Ramsdell ramsdell@linus.mitre.org To WwwRdf-logic www-rdf-logic@w3.org CC ramsdell@linus.mitre.org Subject set theory (NBG) I am http://lists.w3.org/Archives/Public/www-rdf-logic/2001May/0126.html

Set Theory (NBG) From: John D. Ramsdell ( ramsdell@linus.mitre.org Date: Thu, May 17 2001 Next message: Graham Klyne: "Re: The Mel99 semantics for RDF" Previous message: Dan Connolly: "Re: What do the ontologists want" Next in thread: Ziv Hellman: "RE: Set Theory (NBG)" Reply: Ziv Hellman: "RE: Set Theory (NBG)" Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Other mail archives: [this mailing list] [other W3C mailing lists] Mail actions: [ respond to this message ] [ mail a new topic ] Date: Thu, 17 May 2001 09:24:10 -0400 Message-Id: <200105171324.JAA18360@divan.mitre.org> From: "John D. Ramsdell" < ramsdell@linus.mitre.org > To: "Www-Rdf-Logic" < www-rdf-logic@w3.org ramsdell@linus.mitre.org Subject: Set Theory (NBG) I am puzzled by RDF's treatment of containers. It seems to me that RDF provides a way to talk about collections of objects without requiring that collections have the semantics one normally attaches to them. The standard practice in mathematics is to use set theory for that purpose, so why not restrict the models of RDF statements to those consistent with set theory? One could do this by allowing reasoning systems to assume the axioms of set theory. Von-Neumann-Bernays-Godel (NBG) set theory is well suited for this purpose. You can read more about NBG and mechanized mathematics in W. M. Farmer, "STMM: A Set Theory for Mechanized Mathematics", Journal of Automated Reasoning, 2000, Vol 26, No. 3, pp. 269-289, http://imps.mcmaster.ca/doc/stmm.pdf

71. Www-rdf-logic@w3.org From May 2001: RE: Set Theory (NBG) Ziv Hellman ziv@unicorn.com To John D. Ramsdell ramsdell@linus.mitre.org , WwwRdf-logic www-rdf-logic@w3.org Subject RE set theory (NBG) I http://lists.w3.org/Archives/Public/www-rdf-logic/2001May/0133.html

RE: Set Theory (NBG) From: Ziv Hellman ( ziv@unicorn.com Date: Thu, May 17 2001 Next message: Emery, Pat: "RE: What do the ontologists want" Previous message: Drew McDermott: "Re: What do the ontologists want" Maybe in reply to: John D. Ramsdell: "Set Theory (NBG)" Next in thread: John D. Ramsdell: "Re: Set Theory (NBG)" Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Other mail archives: [this mailing list] [other W3C mailing lists] Mail actions: [ respond to this message ] [ mail a new topic ] Date: Thu, 17 May 2001 18:35:42 +0200 Message-ID: <6194CD944604E94EB76F9A1A6D0EDD230E5544@calvin.unicorn.co.il> From: "Ziv Hellman" < ziv@unicorn.com > To: "John D. Ramsdell" < ramsdell@linus.mitre.org >, "Www-Rdf-Logic" < www-rdf-logic@w3.org > Subject: RE: Set Theory (NBG) > > > I am puzzled by RDF's treatment of containers. It seems to me that > RDF provides a way to talk about collections of objects without > requiring that collections have the semantics one normally attaches to > them. The standard practice in mathematics is to use set theory for > that purpose, so why not restrict the models of RDF statements to > those consistent with set theory? One could do this by allowing > reasoning systems to assume the axioms of set theory. > Von-Neumann-Bernays-Godel (NBG) set theory is well suited for this > purpose. You can read more about NBG and mechanized mathematics in > W. M. Farmer, "STMM: A Set Theory for Mechanized Mathematics", Journal > of Automated Reasoning, 2000, Vol 26, No. 3, pp. 269-289, >

72. Wiley :: Introduction To Modern Set Theory By Keyword, Wiley Mathematics Statistics logic Foundations Introductionto Modern set theory. Related Subjects, http://www.wiley.com/cda/product/0,,0471635197|desc|2730,00.html

Shopping Cart My Account Help Contact Us By Keyword By Title By Author By ISBN By ISSN Wiley Introduction to Modern Set Theory Related Subjects Number Theory Numerical Methods Special Topics in Mathematics General Statistics Related Titles Logic of Mathematics: A Modern Course of Classical Logic (Hardcover) How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, 3rd Edition (Paperback) Daniel Solow Learning to Reason: An Introduction to Logic, Sets, and Relations (Hardcover) Nancy Rodgers The Art and Craft of Problem Solving (Hardcover) Paul Zeitz Mathematical Discovery, Combined (Paperback) George Polya Introduction to Modern Set Theory Judith Roitman ISBN: 0-471-63519-7 Hardcover 176 Pages January 1990 US $115.00 Add to Cart Description Table of Contents This is modern set theory from the ground upfrom partial orderings and well-ordered sets to models, infinite cobinatorics and large cardinals. The approach is unique, providing rigorous treatment of basic set-theoretic methods, while integrating advanced material such as independence results, throughout. The presentation incorporates much interesting historical material and no background in mathematical logic is assumed. Treatment is self-contained, featuring theorem proofs supported by diagrams, examples and exercises. Includes applications of set theory to other branches of mathematics.

73. Mathematical Logic At Penn State Mathematical logic.Category Science Math Institutions North America...... set theory. Thomas Jech. Professor of Mathematics, Retired. set theory. RichardMansfield. Associate Professor of Mathematics, Retired. logic. Carl Mummert. http://www.math.psu.edu/simpson/Logic.html

74. Mathematical And Computational Logic Research Group Mathematical and Computational logic Research Group.Category Science Math logic and Foundations Institutions...... The mathematical and computational logic group at BGU conducts research in settheory, model theory, general topology, Boolean algebras and, in theoretical http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html

BEN GURION UNIVERSITY OF THE NEGEV Mathematical and Computational Logic Research Group Set Theory and Topology February 20 a 1-day conference around the visit of Professor Istvan Juhasz. The Shelah Festival, May 20-25 The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras and, in theoretical computer science, concurrency, logic programming and lambda calculus. Uri Abraham PhD: The Hebrew University at Jerusalem, 1979 Main Research Interests: set theory, forcing and preservation theorems. In computer science: concurrency, self stabilization. E-mail: abraham@cs.bgu.ac.il Evgenia Ackermann PhD: The Hebrew University at Jerusalem 1992 Main Research Interests: model theory, geometric model theory, algebraic geometry. E-mail: evgenia@cs.bgu.ac.il Michael Codish PhD: The Weizmann Institute of Science, 1991 Logic Programming - a programming paradigm based on the Horn subset of first order logic. Abstract Interpretation - A formal Semantics based technique to reason about program properties and runtime behaviours.

75. Set Theory next up previous Next Recursion theory Up References PreviousFirstorder logic set theory. 1. Kunen, set theory 2. Jech, set http://math.dartmouth.edu/graduate-students/syllabi/graduate-syllabi/logic/node6

Next: Recursion Theory Up: References Previous: First-order logic Set Theory Kunen, Set Theory Jech, Set Theory Roitman, Introduction to Modern Set Theory root

76. 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

Next: Mathematics of Computation Up: The Faculty Previous: Lie Theory/Representation Theory Logic/Set Theory Robert S. Rumely Professor ,Ph.D.Princeton,1978, Decidability of arithmetic theories. Model-theoretic algebra.

77. LO Logic New articles, cross listings, and revisions of published LO logic articles, available in Adobe PDF format. http://front.math.ucdavis.edu/math.LO

Tue 18 Mar 2003 Search Submit Retrieve Subscribe ... iFAQ LO Logic Calendar Search Authors: All AB CDE FGH ... U-Z New articles (last 12) 10 Mar math.LO/0303089 Core models in the presence of Woodin cardinals. Ralf Schindler . 6 pages. LO 4 Mar math.LO/0303030 Complexity and ordinary life, and some mathematics in both. Stephen Semmes . 8 pages. LO 4 Mar math.LO/0303011 Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics. Matthias Baaz , Norbert Preining , Richard Zach . 6 pages. LO 4 Mar math.LO/0303005 A Note on the Set-Theoretic Representation of Arbitrary Lattices. K. Dosen (Mathematical Institute, Belgrade). 3 pages. MI-1999X. LO 28 Jan math.LO/0301317 Locality for Classical Logic. Kai Bruennler LO Cross-listings 18 Mar math.AG/0303206 Elements of Nonstandard Algebraic Geometry. Caucher Birkar . 20 pages. AG LO 6 Mar math.GN/0303057 SPM Bulletin 3. Boaz Tsaban GN CO LO 27 Feb math.GN/0302322 The combinatorics of Borel covers. Marion Scheepers , Boaz Tsaban . 32 pages. Topology and its Applications GN CA CO LO 26 Feb math.CO/0302307 A hybrid constraint programming and semidefinite programming approach for the stable set problem. W. J.

78. ASL LOGIC COLLOQUIUM 1995, Home Page Haifa, Israel; 917 August 1995.Category Science Math Meetings logic Colloquium......Poster and credits for picture . ASL logic COLLOQUIUM 1995. TechnionIsrael Instituteof Technology and University of Haifa Haifa, Israel, August 9-17, 1995. http://www.cs.technion.ac.il/~logic95/

Larger Picture.... Poster and credits for picture.... ASL LOGIC COLLOQUIUM 1995 Technion-Israel Institute of Technology and University of Haifa Haifa, Israel, August 9-17, 1995 E-mail: logic95@cs.technion.ac.il Proceedings Information Contains information concerning the progress of publication of the proceedings. Program Information Topics and Special Sessions: Information on Tutorials, Invited Speakers, Special Sessions and accepted contributed papers. 100 Years Transfinite Set Theory , List of speakers Set Theory , List of speakers ... Linguistics and Formal Languages No talks scheduled Program and Organizing Committee

79. Www.math.ufl.edu/~logic/ http://www.math.ufl.edu/~logic/

Page 4     61-79 of 79    Back | 1  | 2  | 3  | 4