Faszination Logik

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Description

Schon Mr. Spock wusste: Logik macht das Leben leichter. Warum das so ist und man Computern Logik beibringt wird hier gezeigt.Logik ist im Alltag und in der Wissenschaft von großer Bedeutung. Insbesondere ist die Informatik ohne Logik nicht denkbar. Logik ermöglicht formale Schlussfolgerungen und macht Computer intelligenter und leichter zu beherrschen. Wir stellen praktische Anwendungen der Logik vor, die am Institut für Formale Modelle und Verifikation entwickelt wurden.
Period22 Apr 2016 → 22 Jun 2016
Event typeOther
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links