Eine Turing-Maschine aus Lego [1] Der Vienna Summer of Logic - die größte wissenschaftliche Veranstaltung in der Geschichte der Logik
Logik und Informatik sind zwei Wissenschaften, die eng miteinander verwoben sind. Ohne Logik-Grundlagenforschung kommt die Computerwissenschaft längst nicht mehr aus. Logik in der Informatik ist eines der Schwerpunktthemen beim "Vienna Summer of Logic 2014". Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also ist Sokrates sterblich. Solche logischen Schlussfolgerungen untersuchte man schon in der Antike.
UM DIESEN ARTIKEL ZU LESEN, ERSTELLEN SIE IHR KONTO
Und verlängern Sie Ihre Lektüre, kostenlos und unverbindlich.
![Eine Turing-Maschine aus Lego [1] Der Vienna Summer of Logic - die größte wi](/news/2014/die_logik_in_der_informatik-2014-tuwien/image.jpg)
