Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Aussagenlogik programmieren Haskell » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Der letzte Beitrag
yilmazarslan Aussagenlogik programmieren Haskell

Meine Frage:
Hallo zusammen,

Ich schreibe bald eine Informatik Klausur und ich habe folgende Probleme
In der Klausur kommt höchstwahrscheinlich Programmieraufgaben mit Haskell dran
Ich habe von paar Freunden ,die die Klasur vorher geschrieben haben, gehört dass die Aufgaben Äquivalenz und Folgerung in Haskell als Funktion abbilden waren.

Ich konnte weder Deutsch noch Englisch Dokumente finden , die dieses Thema vernünftig erklären.

Ich würde mich sehr freuen wenn jemand der sich mit dem Thema gut auskennt , mir einen Ausweg aufzeigen könnte.

Vielen dank im Voraus

Meine Ideen:
Äquivalenz und Folgerung in Haskell als Funktion abbilden