Logik

Hier gibt es die Unterseiten Aussagenlogik und Prädikatenlogik. Und boolesche Algebra.

Digitaltechnik basiert auf boolescher Logik mit zwei Zuständen: logisch "0" (aus) und "1" (ein), die durch Schalter und Logikgatter realisiert werden. Diese Gatter bilden komplexere Schaltungen wie Addierer oder Register, die den Kern eines Computers ausmachen.
Verbindung zum Prozessor
Der Prozessor integriert Millionen dieser digitalen Schaltungen auf einem Chip und verarbeitet Daten in Taktschritten. Er steuert Eingabe, Verarbeitung und Ausgabe.

Linktipp:

Logik-Grundlagen Bremen.pdf (deutsch)

Kurze Einführung in die formale Logik

http://courses.umass.edu/phil110-gmh/text/c01_3-99.pdf (englisch)

Logik und Digitaltechnik (englisch)

Aussagenlogik >>