Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch?...

Das Buch "Formalisieren und Beweisen: Logik für Informatiker" von Dirk Siefkes ist ein umfassendes Lehrbuch, das sich auf die Anwendung der Logik in der Informatik konzentriert. Es behandelt Themen wie Aussagenlogik, Prädikatenlogik und...