Suche Logik Programm! < Mathe-Software < Mathe < Vorhilfe
|
Status: |
(Frage) beantwortet | Datum: | 12:22 Fr 27.04.2012 | Autor: | durden88 |
Hallo liebe Leute, ich suche ein Logikprogramm wo ich meine Lösungen überprüfen kann. Also Resolventen-Methode, Disjunktive Normalform, Konjunktive Normalform, Turing Maschine, Tautologie etc.
Weiß da jemand was?
Danke!!
|
|
|
|
Hi durden,
> Weiß da jemand was?
...schau Dir mal diese Übersicht der Uni Düsseldorf an.
Viele Grüße
Analytiker
|
|
|
|