vortrag - 26.1. - wien

Hier passt alles rein, dass nicht den oberen Kategorien zuzuordnen ist, und nicht gegen geltende österreichische Gesetze und/oder die Netiquette verstösst.
Forumsregeln
Hier passt alles rein, dass nicht den oberen Kategorien zuzuordnen ist, und nicht gegen geltende österreichische Gesetze und/oder die Netiquette verstösst.

Achtung: falls es eine technische Frage oder Beitrag werden soll, dann ist hier die richtige Kategorie fĂĽrs "technische Offtopic".

vortrag - 26.1. - wien

Beitragvon jutta » So 23 Jan, 2011 20:46

---------- 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/
-------------------------------------------------------------
jutta
Administrator
Administrator
 
Beiträge: 30485
Registriert: Do 15 Apr, 2004 10:48
Wohnort: wien

ZurĂĽck zu OFFTOPIC

Wer ist online?

Mitglieder in diesem Forum: 0 Mitglieder und 13 Gäste