The Full Wiki

More info on Logic for Computer Science

Logic for Computer Science: Wikis

  

Wikibooks

Up to date as of January 23, 2010

From Wikibooks, the open-content textbooks collection

ComputerScienceLogic.png

Introduction

.This book discusses logic as a tool for computer science; a field that uses logic at all levels.^ 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]

.It provides a survey of mathematical logic and its various applications.^ 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
.After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.^ 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]

.Other topics, including logic programming, non-monotonic reasoning, temporal logic, and reasoning about knowledge and belief, are surveyed as time allows.^ 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. .Available here: http://www-cse.ucsd.edu/users/vianu/BOOK/book.html
  • 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 .

    .Christos H. Papadimitrou.
  • 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]

    .Leonid Libkin.
  • 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. .Ernest Nagel and James R. Newman
  • 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]

    .John Barwise and John Echtermendy
  • 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

Citable sentences

Up to date as of December 24, 2010

Here are sentences from other pages on Logic, which are similar to those in the above article.








Got something to say? Make a comment.
Your name
Your email address
Message