CS 482 Logic for Computer Science
|
Introduction to logic for computer scientists. An elementary exposition, from a computational point of view, of propositional logic, first-order logic, axiomatic theories, and theories with equality. Interpretations, models, validity, proof. There is considerable emphasis on presenting many of the fundamental ideas of first-order logic in the framework of Tarski's World, an educational proprietary software.
Credit units: 3 ECTS Credit units: 6.
Autumn Semester (Uluç Saranli)
|
|
|
| Bilkent University Main Page |
Last regenerated automatically on September 14, 2008 by OAC - Online Academic Catalog Software.
|
|
