From Wikibooks, the open-content textbooks
collection
Introduction
.^ Philosophical logic Applications of philosophical logic in computer science .- Review of Symbolic Logic -Editors 18 September 2009 8:08 UTC www.aslonline.org [Source type: Academic]
^ Like all sciences, the science of logic has a history.
^ Furthermore, computers can be used as tools for logicians.- Logic - encyclopedia article - Citizendium 6 January 2010 10:47 UTC en.citizendium.org [Source type: FILTERED WITH BAYES]
.^ The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.- Notre Dame Journal of Formal Logic 22 September 2009 20:020 UTC www.nd.edu [Source type: Academic]
^ This propositional calculus course introduces students to the propositional logic, a branch of modern mathematics which provides a rigorous mathematical analysis of the process of rational argument.- Logic and proof: online resources and websites 6 January 2010 10:47 UTC www.homeschoolmath.net [Source type: General]
^ A highly-productive approach grounded in mathematical logic, this book provides an application of model-theoretic approaches.- Readings in Logic 6 January 2010 10:47 UTC orcmid.com [Source type: Academic]
Some areas where
it is particularly important include:
- Digital circuit design
- Complexity theory (NP equivalent to Existential second-order
logic)
- Database Systems (SQL; roughly predicate/first-order
logic)
- Computer-aided verification (Temporal logic & model
checking)
- Programming languages (lambda calculus)
- AI, expert systems, inference engines
- Distributed Systems
- Logic Programming
- Computer Security
.^ ESSLLI 2002 Course on Description Logics .
^ ESSLLI 2002 Course on Description Logics .
^ The functional logic of the first order 3.- Readings in Logic 6 January 2010 10:47 UTC orcmid.com [Source type: Academic]
.^ Of course, the atomist will allow that facts about other times can provide reasons in the present.- Global Rationality 18 September 2009 17:23 UTC docs.google.com [Source type: Original source]
^ Although our website is under construction, you can find a great deal of useful information about getting involved in LOGIC's programs.
^ About us F.A.Q. Invest Now Terms of service Affiliate program Plans Contact us 2009, Logic Profit All rights reserved .
These notes were taken by student scribes.
Table of
Contents
References
You may also find the following references useful
- Mathematical Logic. H.-D. Ebbinghaus, J. Flum, and W.
Thomas
- Foundations of Databases. Abiteboul, Hull, Vianu.
.
- Computational Complexity.^ You can reach this page through http://www.math-atlas.org/welcome.html Last modified 2000/01/24 by Dave Rusin.
- 03: Mathematical logic and foundations 6 January 2010 10:47 UTC www.math.niu.edu [Source type: Academic]
^ The full listing of Centricity Information Systems products are listed below and can be found at: http://www.gemedicalsystems.com/it_solutions/infosys_center.html .- EMR News 11 September 2009 7:35 UTC www.emr.msu.edu [Source type: FILTERED WITH BAYES]
^ A longer version of this is available here as an HTML file, or as a PDF here .
.
- Elements of Finite Model Theory.^ Mathematical Logic: Model Theoretic Logics, Generalized Quantifiers, Infinitary Logic, Finite Model Theory, Set-theoretic Model Theory, Set Theory .
- NDJFL Editors 18 September 2009 8:08 UTC www.nd.edu [Source type: Academic]
.
- Finite Model Theory and Its Applications.^ Most aspects of the subject are represented here, especially model theory and its applications and descriptive set theory.
- Logic, Department of Mathematics, University of Illinois at Urbana-Champaign 6 January 2010 10:47 UTC www.math.uiuc.edu [Source type: Academic]
^ Notable among postwar developments is Robinson's application of model theory to develop Nonstandard analysis and use it as a framework for ordinary calculus.- 03: Mathematical logic and foundations 6 January 2010 10:47 UTC www.math.niu.edu [Source type: Academic]
^ The (more) fun part of the course is extensions of that logic, model theory, possible applications, and the philosophical issues raised.- http://www.webster.edu/~bumbaugh/courses/logic-2001.html 22 September 2009 20:020 UTC www.webster.edu [Source type: FILTERED WITH BAYES]
Grädel,
Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, Weinstein
- Gödels Proof. .
- Language, Proof, and Logic.^ This includes techniques using truth tables, symbolic logic with only "and", "or", and "not" in the language, and various equivalences among methods of proof (e.g.
- 03: Mathematical logic and foundations 6 January 2010 10:47 UTC www.math.niu.edu [Source type: Academic]
^ Substructural, Relevant and paraconsistent logics Proof theory Logic and philosophy of language .- Review of Symbolic Logic -Editors 18 September 2009 8:08 UTC www.aslonline.org [Source type: Academic]
^ James Higginbotham , On Higher-Order Logic and Natural Language .- PBA 95: Philosophical Logic - British Academy 18 September 2009 8:08 UTC www.britac.ac.uk [Source type: Academic]
.
- A Profile of Mathematical Logic.^ During her studies at Johns Hopkins she published several papers in the American Journal of Mathematics, but it was while she was there that the work of Charles S. Peirce, peeked her interest in symbolic logic.
- Christine Ladd-Franklin 11 September 2009 7:35 UTC www.webster.edu [Source type: FILTERED WITH BAYES]
Howard DeLong