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.
TO READ THIS ARTICLE, CREATE YOUR ACCOUNT
And extend your reading, free of charge and with no commitment.
![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)
