Hier gibt es die Unterseiten Aussagenlogik und Prädikatenlogik. Und boolesche Algebra.
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 >>
Der Besucher-Zähler zählt die Seitenaufrufe.
Programmiersprachen
Meine kostenpflichtige Website gut
Grundlagen am Computer
programmieren...
Bit und Byte
Mathematik und Computer