---------- Weitergeleitete Nachricht ----------
Betreff: Bitte um Vortragsankuendigung
Datum: Samstag, 22. Januar 2011, 10:09:10
Von: Helmut Veith <[email protected]>
AND LOGIC BEGAT COMPUTER SCIENCE: WHEN GIANTS ROAMED THE EARTH
Moshe Vardi, Rice University
JAN 26, 2010, 17 c.t.
Festsaal der TU Wien, Karlsplatz 13, 1040 Wien
ABSTRACT
During the past fifty years there has been extensive, continuous, and growing
interaction between logic and computer science. In fact, logic has been called
"the calculus of computer science". The argument is that logic plays a
fundamental role in computer science, similar to that played by calculus in
the physical sciences and traditional engineering disciplines. Indeed, logic
plays an important role in areas of computer science as disparate as
architecture (logic gates), software engineering (specification and
verification), programming languages (semantics, logic programming), databases
(relational algebra and SQL), artificial intelligence (automated theorem
proving), algorithms (complexity and expressiveness), and theory of
computation
(general notions of computability). This non-technical talk will provide an
overview of the unusual effectiveness of logic in computer science by
surveying
the history of logic in computer science, going back all the way to Aristotle
and Euclid, and showing how logic actually gave rise to computer science.
http://www.tuwien.ac.at/aktuelles/news_ ... icle/6806/
-------------------------------------------------------------