Informatiker Board | Theoretische Informatik | Resolution

Informatiker Board » Themengebiete » Theoretische Informatik » Resolution » 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

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag
neuling96	Resolution Die Resolution am Anfang : allgemeinster Unifikator ist G:={x/z, y/x} damit gilt nach der ersten Resolution {p(y,y),p(v,v)} statt {p(x,x),p(v,v)}? neuling96 hat dieses Bild (verkleinerte Version) angehängt: