Jump to content

Logic in computer science

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Chalst (talk | contribs) at 08:40, 10 November 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Logic in computer science is a branch of applied logic which contains:

  1. Those investigations into logic that are guided by applications in computer science;
  2. Fundamental concepts in computer science that are naturally expressible in logical form;
  3. Applications of fundemental concepts derived from the theory of computation that cast light on questions of pure logic.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Logic_in_computer_science&oldid=12388026"