====== Logikschaltungen ======
((Dieser Wiki-Bereich ist in enger Anlehnung an die Materialien von R. Helfrich entstanden - vielen Dank dafür. Alle Fehler und Ungenauigkeiten sind auf meine schlechte Übertragung zurückzuführen.))

  * [[..:formale_logik:start|Formale Logik]]
  * [[.digitaltechnik:start|Digitaltechnik]]


===== Simulationssoftware =====

  * Das vorliegende Material verwendet **"Digital"** als Simulationssoftware((https://github.com/hneemann/Digital)). 
  * Download von Github: https://github.com/hneemann/Digital/releases/download/v0.29/Digital.zip
  * {{ digital_documentation_deutsch.pdf |Dokumentation (deutsch)}}
 
==== Weitere Programme ====

  * Piiri, ein exzellentes Programm, allerdings nicht mehr gepflegt (https://launchpad.net/piiri/)). 
    * {{ .:piiri-4.1-windows.zip |Version für Windows}}
    * {{ .:piiri-linux.tgz |Version für Linux}} ((Achtung, dynamisch gelinkt, unbedingt testen ob auf dem Zielsystem alle nötigen Bibliotheken vorhanden sind))

  * Logisim Evolution (FOSS, Linux, MacOS, Windows): https://github.com/logisim-evolution/logisim-evolution/releases
  * Logigator (Online, leider mit Tracking): https://logigator.com/de

==== Ohne Simulation ====

Wenn man kein Simulationsprogramm verwenden mag, kann man bei ausreichender Ausstattung - z.B. an der Uni- Logikschaltungen auch auf kleinen Steckbrettern mit "echten" Gattern aufbauen. Das sieht dann ungefähr so aus:

{{ steckbrett.jpg?600 |}}

Wenn man sich über umständliche Kabelführung bei Piiri oder Digital ärgert kann man sich zur Beruhigung an diese Bilder erinnern.((Dank an Richard für die Bilder aus der Uni!))