<map version="0.9.0_Beta_8">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<node CREATED="1193311380728" ID="Freemind_Link_1462546790" MODIFIED="1193311419342" TEXT="Logik">
<node CREATED="1193312256308" ID="Freemind_Link_1847878613" MODIFIED="1193312267685" POSITION="right" TEXT="Erf&#xfc;llbarkeit"/>
<node CREATED="1193311624272" ID="Freemind_Link_1925709023" MODIFIED="1193311638812" POSITION="right" TEXT="logisches Schlie&#xdf;en">
<node CREATED="1193311648681" ID="Freemind_Link_882496151" MODIFIED="1193311652973" TEXT="Beweisf&#xfc;hrung"/>
<node CREATED="1193311829451" ID="Freemind_Link_1236915499" MODIFIED="1193311832949" TEXT="deMorgan"/>
<node CREATED="1193311984690" ID="Freemind_Link_502259123" MODIFIED="1193311990905" TEXT="Wahrheitstabellen"/>
</node>
<node CREATED="1193311521209" ID="_" MODIFIED="1193312399605" POSITION="left" TEXT="Hardware">
<node CREATED="1193311857483" ID="Freemind_Link_606291717" MODIFIED="1193311863402" TEXT="FPGAs"/>
<node CREATED="1193312003863" ID="Freemind_Link_673840370" MODIFIED="1193312008190" TEXT="Schaltkreise"/>
<node CREATED="1193312370336" ID="Freemind_Link_902229420" MODIFIED="1193312382172" TEXT="Regel- und Steuertechnik"/>
</node>
<node CREATED="1193311896450" ID="Freemind_Link_1311019769" MODIFIED="1193311914079" POSITION="left" TEXT="Programmierung">
<node CREATED="1193311915506" ID="Freemind_Link_179114689" MODIFIED="1193311920152" TEXT="Programmanalyse"/>
<node CREATED="1193311671318" ID="Freemind_Link_1078569238" MODIFIED="1193311679200" TEXT="Kontrollbedingungen"/>
<node CREATED="1193311934966" ID="Freemind_Link_670773609" MODIFIED="1193311947395" TEXT="Vereinfachung v. Quellcode"/>
<node CREATED="1193311714713" ID="Freemind_Link_142127217" MODIFIED="1193311729949" TEXT="Anwendungsabl&#xe4;ufe">
<node CREATED="1193311736337" ID="Freemind_Link_1740806956" MODIFIED="1193311738851" TEXT="GUI"/>
</node>
</node>
<node CREATED="1193312014402" ID="Freemind_Link_1903818067" MODIFIED="1193312017685" POSITION="left" TEXT="KI">
<node CREATED="1193311608494" ID="Freemind_Link_1392527218" MODIFIED="1193311617608" TEXT="Wissensrepr&#xe4;sentation">
<node CREATED="1193312070759" ID="Freemind_Link_1739785151" MODIFIED="1193312076650" TEXT="semantic Web"/>
<node CREATED="1193312347001" ID="Freemind_Link_183441920" MODIFIED="1193312352861" TEXT="Beschreibungslogik"/>
</node>
<node CREATED="1193312049192" ID="Freemind_Link_654706172" MODIFIED="1193312052832" TEXT="Prolog"/>
<node CREATED="1193312162495" ID="Freemind_Link_475942278" MODIFIED="1193312166605" TEXT="Entscheidungsfindung"/>
<node CREATED="1193312175227" ID="Freemind_Link_429651940" MODIFIED="1193312178950" TEXT="Horner Schema"/>
<node CREATED="1193312411224" ID="Freemind_Link_552771975" MODIFIED="1193312413580" TEXT="Planen"/>
<node CREATED="1193312465612" ID="Freemind_Link_1465930307" MODIFIED="1193312469892" TEXT="Produktionssysteme"/>
</node>
<node CREATED="1193312124399" ID="Freemind_Link_1841689974" MODIFIED="1193312128567" POSITION="right" TEXT="logische Operatoren">
<node CREATED="1193312562873" ID="Freemind_Link_711178938" MODIFIED="1193312567373" TEXT="Boolsche Algebra"/>
</node>
<node CREATED="1193312146767" ID="Freemind_Link_1972696718" MODIFIED="1193312152099" POSITION="right" TEXT="Pr&#xe4;dikatenlogik"/>
<node CREATED="1193312138587" ID="Freemind_Link_155647879" MODIFIED="1193312143254" POSITION="right" TEXT="Aussagenlogik"/>
<node CREATED="1193312517405" ID="Freemind_Link_1108446128" MODIFIED="1193312522073" POSITION="right" TEXT="fuzzy Logik"/>
</node>
</map>
