Geometry.Net - the online learning center
Home  - Science - Logic Mathematical

e99.com Bookstore
  
Images 
Newsgroups
Page 5     81-100 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Logic Mathematical:     more books (100)
  1. Stat Labs:Mathematical Statistics Through Applications by Deborah Nolan, Terry P. Speed, 2000-05-31
  2. Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences) by Tom Tymoczko, Jim Henle, 1999-12-10
  3. Lectures in Logic and Set Theory: Volume 2, Set Theory (Cambridge Studies in Advanced Mathematics) by George Tourlakis, 2010-09-09
  4. Understanding Symbolic Logic (5th Edition) by Virginia Klenk, 2007-04-29
  5. Introduction to Mathematical Logic: Set Theory - Computable Functions - Model Theory (Undergraduate Texts in Mathematics) by Jerome Malitz, 1979-05-01
  6. Mathematical Logic (Graduate Texts in Mathematics) by J.D. Monk, 1976-09-07
  7. Handbook of Logic and Language
  8. Schaum's Outline of Logic by John Nolt, Dennis Rohatyn, et all 1998-07-01
  9. Development of Mathematical Logic, The by P.H. Nidditch, 1966
  10. Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism, Volume 18 (Collected Works of Bernard Lonergan) by Bernard Lonergan, 2001-12-22
  11. Logic for Mathematics and Computer Science by Stanley N. Burris, 1997-08-28
  12. Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
  13. Logic: Techniques of Formal Reasoning by Donald Kalish, Richard Montague, et all 1980-04-16
  14. Recursion Theoretic Hierarchies (Perspectives in Mathematical Logic Ser) by P. G. Hinman, 1978-12

81. Bigchalk: HomeworkCentral: Mathematical Logic (Logic)
Looking for the best facts and sites on mathematical logic? logic Foundations ofMathematics; logic of Proabablity Theory; mathematical logic Foundations;
http://www.bigchalk.com/cgi-bin/WebObjects/WOPortal.woa/Homework/High_School/Com
Home About Us Newsletters My Products ... Product Info Center
Email this page
to a friend!
K-5
Mathematical Logic

document.write(''); document.write(''); document.write(''); document.write('');
  • Beginnings of Set Theory
  • Combinatory Logic
  • High Order of Set Theory
  • LCF Paradigm ... Contact Us
  • 82. School Of Computing Science At SFU
    School of Computing Science. Research labs focus on algorithms and optimization, systems science, computational epidemiology, computer vision, database systems, graphics and multimedia, hardware design, software agents, intelligent software and systems, knowledge representation, logic and functional programming, medical computing, natural language processing, parallel and distributed computing, mathematical sciences, programming languages, simulating and exploring ecosystem dynamics, and distance learning.
    http://www.cs.sfu.ca/
    About Us People Research Grad ...
    Congratulations to CS ACM Teams!

    Seminars and Events

    Graph Theory of Brian Alspach - May 25-29, 2003

    About Us

    General

    Contact Info
    ...
    MSc/PhD Theses

    Academic Programs
    Graduate Studies

    Undergraduate Studies
    General Interest Forms Events Library School of Computing Science ... csweb@cs.sfu.ca

    83. Department Of Mathematical Logic And Theory Of Algorithms
    Department of mathematical logic and Theory of Algorithms. Moscow StateUniversity. English Russian . Department of mathematical
    http://markov.math.msu.ru/eng/logic.htm
    Russian
    Department of Mathematical Logic
    and Theory of Algorithms
    Faculty of Mechanics and Mathematics

    Moscow State University
    The Department is located in the main building of the Moscow State University, room 16-05.
    Address
    Department of Mathematical Logic and Theory of Algorithms
    Faculty of Mechanics and Mathematics
    Moscow State University
    Leninskie gory, Moscow, 119992 RUSSIA
    Tel/fax
    Location: http://markov.math.msu.ru/eng/logic.htm
    Last modified 12.03.2003. Mati Pentus
    Tel/fax: + 7 - 095 - 939 30 31
    E-mail: pentus lpcs.math.msu.ru webmaster lpcs.math.msu.ru

    84. Home Page Of Joao Marcos
    State University of Campinas, Brazil Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics.
    http://www.geocities.com/jm_logica/
    Home Page of

    Main Page Publications References CV Links This is a page about logic logic and, of course, logic My range of logical interests includes almost any other interesting topic, and my work touches themes from both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics. I am engaged in investigating both the theoretical foundations and the applications of those logics and methods. This way I can afford being semi-illiterate in several logical topics at once I am currently a member of the Center for Logic and Computation CLC ), at the IST , in Portugal. Here is where I live now: , on a scholarship from FCT . Just before that, I held a CNPq doctoral grant at the Center for Logic, Epistemology and the History of Science CLE ) and IFCH , at Unicamp , Brazil. I am still a member of the Group for Theoretical and Applied Logic GTAL ), over there. In 2001, I held a Dehousse doctoral grant and worked as a researcher at the Centre for Logic and Philosophy of Science , at RUG , Belgium. And before that, just after leaving my egg and deciding to really swamp into logic, I held a

    85. BUBL LINK / 5:15 Internet Resources: Mathematical Logic
    Press Subjects mathematical logic DeweyClass 511.3 ResourceType journal Locationuk Last checked 20001206 mathematical logic Around the World Links to
    http://bubl.ac.uk/link/m/mathematicallogic.htm
    BUBL LINK / 5:15 Catalogue of Internet Resources Home Search Subject Menus A-Z ... About
    Mathematical logic
    A-Z Index Titles Descriptions
  • Boole: Calculus of Logic
  • Electronic Stacks Project
  • Journal of Logic and Computation
  • Logic Journal of the IGPL ...
  • Research Groups in Logic and Theoretical Computer Science Page last updated: 04 July 2002 Comments: bubl@bubl.ac.uk
    Boole: Calculus of Logic
    An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats.
    Author: George Boole and David R Wilkins
    Subjects: calculus, mathematical logic
    DeweyClass:
    ResourceType:
    article
    Location: ireland, europe
    Last checked:
    Electronic Stacks Project
    Project aiming to establish a distributed, evolving and live electronic dictionary of logic, an interdisciplinary subject covering philosophy, mathematics, language, psychology, computer science and artificial intelligence.
    Author: King's College London
    Subjects: mathematical logic, philosophical logic
  • 86. REPORTS ON MATHEMATICAL LOGIC
    (Jagiellonian University Press) Contents and abstracts from no.25 (1991).
    http://www.uj.edu.pl/Phils/rml/rml.htm
    KRAKOW Jagiellonian University Press Reports on Mathematical Logic Editors Pawel M. Idziak Jerzy Perzanowski Computer Science Department
    Jagiellonian University
    Department of Logic
    N. Copernicus University
    Department of Logic
    Jagiellonian University
    Reports on Mathematical Logic is a journal aimed at publishing quality research papers
    on mathematical logic and foundations of mathematics. Previous issues
    Current issue

    Forthcoming papers
    Author Index ...
    Jagiellonian University Home Page

    87. Mathematical Logic Group, Freiburg
    Institute for mathematical logic and Foundations of Mathematics.
    http://logik.mathematik.uni-freiburg.de/index_en.html
    Deutsch University of Freiburg
    Faculty of Mathematics and Physics

    Mathematical Institute
    ...
    Institute of Computer Science

    Mathematical Institute of the University of Freiburg
    - Section of Mathematical Logic -
    Faculty of Mathematics and Physics
    General About Us (english) Visitor Service (english) Research Preprints and Theses (english) Research Reports (german) Research Training Group (german) People Faculty / Staff (english) Former members (german) Guests (german) Teaching Current Lectures (german) Past Lectures (german) Course Material (english) News Events (english) Current talks and seminars (german) Schedule of events at the department (german) Information Services Some links (german) University Library (english) Logic in the Open Directory (english) Last change: August 5, 2002 by the webmaster

    88. Cognitive Studies At Cornell University
    The program offers an undergraduate concentration and a graduate minor, with strengths in philosophy of mind and language, theoretical and experimental linguistics, cognitive psychology, computer science, and mathematical logic.
    http://www.cogstud.cornell.edu/
    Please excuse our appearance!! These pages are undergoing major renovations and some of the information is not currently being kept up to date. We hope to have the new web site released before the end of 2002.
    W elcome to Cognitive Studies at Cornell
    Active faculty and student participation and a broad intellectual base spanning multiple departments and colleges make Cornell an exciting environment for the study of mind/brain. Our strengths in cognitive psychology, computer science, theoretical and experimental linguistics, philosophy of mind and language, and mathematical logic lead to extensive interactions both in teaching and in research. Expanding programs in computational vision and computational linguistics are linked to these other research strengths. In addition to the spontaneous interdisciplinary interactions growing out of common interests in the nature of the mind, there are more formally structured aspects to cognitive studies at Cornell. These include a distinguished visitors program, campus-wide coordination of cognitive studies activities, and a range of courses and seminars in cognitive sciences, both undergraduate and graduate. Students are offered a graduate minor and an undergraduate concentration in the area. Yearly symposia and occasional summer conferences and institutes on topics of general interest are also part of the program.
    Please send general Cornell Cognitive Studies Program questions to
    cogst@cornell.edu

    89. Prof Jeff Paris Homepage, Department Of Mathematics, Univ. Of Manchester, UK
    University of Manchester mathematical logic, in particular uncertain reasoning.
    http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm
    DEPARTMENT OF MATHEMATICS
    Professor Jeff Paris
    Professor of Pure Mathematics
    Department of Mathematics

    University of Manchester

    Room: 15.09
    Tel: + 44 (0)161 275 5880
    Fax: +44 (0)161 275 5819
    jeff@ma.man.ac.uk
    Research Interest
    Books Recent papers Journals ... Societies
    Research Interests
    Mathematical Logic, in particular uncertain reasoning.
    Publications
    Books:
    The uncertain reasoner's companion, - a mathematical perspective , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, pp212.
    Recent Papers:
  • J.B. Paris (1997). A semantics for Fuzzy Logic. Journal of Soft Computing , vol.1, no.3, pp143-147. In defence of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning , vol.17, no.1, pp77-103. J.B. Paris (With R. Booth) (1998). A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information , vol.7, no.2, pp165-190. A proof theory for probabilistic uncertain reasoning. Journal of Symbolic Logic , vol. 63, no.3, pp1007-1039.
  • 90. Mathematical Logic Group Home Page
    mathematical Institute, mathematical logic group. Members, seminars. Home of the Model Theoretic Exchange.Category Science Math Institutions Europe United Kingdom...... The mathematical logic Group The mathematical logic group is partof the mathematical Institute, at the University of Oxford. The
    http://www.maths.ox.ac.uk/logic/
    University of Oxford Mathematical Institute Tel: +44 (0)1865 273525 Address: 24-29 St Giles', Oxford, OX1 3LB, UK Fax: +44 (0)1865 273583
    The Mathematical Logic Group
    The Mathematical Logic group is part of the Mathematical Institute, at the University of Oxford. The interests of the group are diverse from geometric stability theory, model theory of fields to o-minimal structures. See individual homepages for further information on particular member's interests. Some of the members of The Mathematical Logic group are also members of the European Research Trainning Network Real Algebraic and Analytic Geometry. The Mathematical Logic group consists of the following long term members:
  • Prof Alex Wilkie , email: wilkie@maths.ox.ac.uk
  • Prof Boris Zilber , email: zilber@maths.ox.ac.uk The following Visiting Professors:
  • Prof Jan Krajicek (Periodic visits funded by EPSRC), email: krajicek@maths.ox.ac.uk
  • Prof Angus Macintyre (On sabbatical from the University of Edinburgh), email: angus@math.ed.ac.uk
  • 91. Symbolic Logic - Wikipedia
    (Redirected from mathematical logic). infinitary permits sentences to be infinitelylong; intuitionistic system of logic used in mathematical intuitionism;
    http://www.wikipedia.org/wiki/Mathematical_logic
    Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk
    Log in
    Help
    Symbolic logic
    (Redirected from Mathematical logic Symbolic logic , or formal or deductive logic , is an attempt to codify and formalize the processes of reasoning, or logic . Logical statements are expressed as symbolic strings, in a precise, compact and unambiguous notation (sometimes described as a logical calculus ), similar to notations used in mathematics. Axioms , statements which are accepted without proof, are identified, and the valid rules of argumentation (transformation rules) are defined. There are many different systems of symbolic logic. A system of symbolic logic has a number of components: the set of acceptable sentences, called well-formed formulas (or wffs); transformation rules for deriving new formulas from one or more initial formulas; the set of axioms, which is a subset of the set of wffs. The sets of wffs and axioms can be finite or infinite, so long as they are recursive ; i.e. so long as there exists a procedure for determining whether any given sentence is a wff or axiom, which could be carried out in a finite number of steps by a device such as a

    92. Symbolic Logic Game Of Logic : Mathematical Recreations Of Lewis Carroll : 2 Boo
    Symbolic logic Game of logic mathematical Recreations of Lewis Carroll 2 Books Bound As 1 Paperback (June 1958).
    http://www.data4all.com/list/500/512000/0486204928
    Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1 Paperback (June 1958)
    Information, reviews, pricing for Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1 Paperback (June 1958)
    The Universe in a Handkerchief : Lewis Carroll's Mathematical Recreations, Games, Puzzles, and Word Plays
    Lewis Carroll's Games and Puzzles

    Rediscovered Lewis Carroll Puzzles

    An Introduction to Symbolic Logic

    Editorial Reviews Amazon.com Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and these two works show the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead youthis isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler. In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve. Great mind-stretching fun. Ingram The two works reprinted in this volume are a unique fusion of logical thought and inimitable whimsy. Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised. See all editorial reviews...

    93. Modern Logic Home Page
    International Journal for the History of mathematical logic, Set Theory, and Foundations of Mathematics.
    http://www.ed.ac.uk/~pmilne/ml/home.html
    M ODERN L OGIC
    A Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics
    ISSN 1047-5982 Mathematical logic...is the modern form of logic developed in the last hundred years. - Rudolf Carnap (1954)
    This site covers Volumes 1 to 8 of Modern Logic
    Starting with Volume 9, the journal is to continue as The Review of Modern Logic Contents Modern Logic is currently abstracted in Bibliograficheskikh Ukazatelyakh Current Mathematical Publications Historia Mathematica Mathematical Reviews Referativnyi Zhurnal - Matematika Referativnyi Zhurnal - Filosofiya i Sotsiologiya Zentralblatt fuer Mathematik and the MathSci online database, and has exchange agreements with From the Logical Point of View Logique et Analyse LLULL: Revista de la Sociedad Espanola de Historia des las Ciencas y de las Tecnicas Manuscrito Mathesis Revue d'Histoire des Mathematiques Russell Studia Logica and Synthesis Philosophica/Filozofska Istrazivanja
    Modern Logic
    home page Description and goals Editorial Board of ... Contents issue by issue with abstracts

    94. Results
    16 Full Text Available, Communication with directed logic variables Alon 17, An introductionto programming with specifications a mathematical approach Roman
    http://portal.acm.org/results.cfm?query= F.4.1 CCS&coll=Portal&dl=GUI

    95. ACM Guide: Category Index
    F. Theory of Computation browse F. Theory of Computation F.4 mathematical logicAND FORMAL LANGUAGES browse F.4 mathematical logic AND FORMAL LANGUAGES F.4.0
    http://portal.acm.org/ccs.cfm?part=author&coll=portal&dl=ACM&row=F.4&idx=6&CFID=

    96. Dana Scott's Home Page
    Carnegie Mellon University Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
    http://www.cs.cmu.edu/~scott/
    Dana S. Scott Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic Office Address: Finger me Prof. Dana S. Scott Office : WeH 7130 Computer Science Department Wean Hall Phone Carnegie Mellon University Pittsburgh, PA 15213-3890 , USA FAX : (412) 268-5576 (In CS Main Office) Home Address: 909 S. Negley Ave. Phone Pittsburgh, PA, 15232, USA FAX Secretary: Charlotte Yano (WeH 7121) Phone Travel: Summer 2002
    Personal: Career Highlights Ph.D. Students Current Research Teaching:
    (Fall 2000)
    CS 15-499B Computational Algebra (Spring 2001) Sabbatical Leave in Sweden (Fall 2001) CS 15-819B Advanced Topics in Programming Languages (Domain Theory)
    (Spring 2002)
    CS 15-355 Computational Algebra (Fall 2002) CS: 15-859F Applied Logic
    INSTRUCTOR: Dana Scott
    TIME: MW 3:00-4:20 (Classes Start Wednesday, September 11, 2002)
    ROOM: NSH 3002
    UNITS: 12
    TEXTBOOK: Anil Nerode and Richard A. Shore, LOGIC FOR APPLICATIONS
    (Second Edition) Springer Verlag, 1997, 456 pp. ISBN: 0-387-94893-7
    PREREQUISITES: Reasonable undergraduate mathematics background; the course is open to undergraduates.

    97. Mathematical Logic, Books
    mathematical logic, books, links. Barnes Noble Subjects Index. John linguistics.HeinzDieter D. Ebbinghaus J. Flum W. Thomas mathematical logic
    http://www.saunalahti.fi/jawap/colour/books/logic.html
    Mathematical Logic, books, links. John L. Casti Werner DePauli
    Godel: A Life of Logic
    Rudy Rucker
    Infinity and the Mind: The Science and Philosophy of the Infinite Hofstadter Douglas R.
    Godel Escher Bach: An Eternal Golden Braid
    Heinz-Dieter D. Ebbinghaus J. Flum W. Thomas
    Mathematical Logic
    The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming. (Publisher) Alonzo Church
    Introduction to Mathematical Logic
    One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subjectone which should be read by every researcher and student of logic. Dexter C. C. Kozen,D. C. Kozen

    98. Willard Van Orman Quine, Mathematical Logic
    The Bactra Review Occasional and eclectic book reviews by Cosma Shalizi 9 MathematicalLogic. by Willard Van Orman Quine. Revised Edition, Harper Row, 1962
    http://www.cscs.umich.edu/~crshalizi/reviews/mathematical-logic/
    The Bactra Review: Occasional and eclectic book reviews by Cosma Shalizi
    Mathematical Logic
    by Willard Van Orman Quine
    Informal logic is an inescapable part of life as a human being with a plugged-in brain, and not a vegetable or a raving lunatic; even post-structuralists and critical theorists may be observed, off-duty , saying ``That can't be right, because...'' Formal logic is a notoriously dry subject, initiated in the West by the prince of pedants, Aristotle. Mathematical logic, which has emerged only in the last hundred and fifty years, is well known to be abstruse and terrifying, and has made the logician into a creature mathematicians view in much the same way others view mathematicians, i.e. a repository of incomprehensible knowledge. When, in 1995, the Bertrand Russell e-mail list attempted to list all those who had read all three volumes of Whitehead and Russell's Principia Mathematica, they came up with less than two dozen names; two of those people died while the list was being compiled. A few books on mathematical logic have done well, such as Martin Gardner's

    99. Department Of Mathematics, Uppsala University
    Research in mathematical statistics, mathematical logic, several complex variables, topology, and financial mathematics.
    http://www.math.uu.se/index_eng.html
    UU Department of Mathematics Contact Education Information Internal ...
    SWEDISH
    The Department of Mathematics carries out research and education in mathematics and mathematical statistics. We are situated at the mathematics and information technology campus.
    INFORMATION
    Address Vacant positions Symposia and conferences (swe) ...
    INTERNAL PAGES
    Information for the Department of Mathematics
    MATHEMATICAL STATISTICS GROUP
    Mathematics on the WWW
    Last modified: Thu Sep 21 16:34:19 CEST 2000 webmaster

    100. Colloquium On Mathematical Logic
    Colloquium on mathematical logic. Organization Lev Beklemishev (mail lev.beklemishev@phil.uu.nl)and Jaap van Oosten (mail jvoosten@math.uu.nl).
    http://www.math.uu.nl/people/jvoosten/seminar.html

    A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

    Page 5     81-100 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20

    free hit counter