Zum neuen Informatik-Forum >>
 FAQFAQ   SuchenSuchen   MitgliederlisteMitgliederliste   BenutzergruppenBenutzergruppen   RegistrierenRegistrieren   ProfilProfil   Einloggen, um private Nachrichten zu lesenEinloggen, um private Nachrichten zu lesen   LoginLogin 

Unterschied Formeln, Prädikate, Terme ?

 
Dieses Forum ist gesperrt, du kannst keine Beiträge editieren, schreiben oder beantworten.   Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.    Informatikerboard.de Foren-Übersicht -> Theoretische Informatik
Vorheriges Thema anzeigen :: Nächstes Thema anzeigen  
Autor Nachricht
InfoStudent
Gast





BeitragVerfasst am: 12. Dez 2005 19:59    Titel: Unterschied Formeln, Prädikate, Terme ? Antworten mit Zitat

Hallo,

Ich habe da ein Problem, bei dem mir weder Wikipedia noch die hervorangen Folien meines Professors (*ironie*) helfen können und zwar verstehe ich nicht den unterschied zwischen:

Prädikaten
Funktionen
Bei Termen bin ich mir nicht ganz sicher ...
[Nur als Anmerkung, momentanes Oberthema ist zur Zeit: FOPL, Prädikatenlogik erster Stufe]

Ich habe ja sonst keine Problem mit Informatik, aber die Foline unseres Profs sund einfach Klo
Nach oben
Tobias



Anmeldungsdatum: 15.02.2005
Beiträge: 149

BeitragVerfasst am: 13. Dez 2005 02:46    Titel: Antworten mit Zitat

Ein Prädikat ist in erster Linie eine Menge (Relation). Ein Prädikatenterm ist zusammengesetzt aus einer beliebigen Anzahl von freien und (durch z.B. Quantoren) gebundenen Variablen. Die freien Variablen lassen sich belegen. Erst wenn in einem Prädikat alle freien Variablen belegt sind kann man es "auswerten" zu einem Wahrheitswert. Man kann jedes Prädikat P durch eine Abbildung darstellen so dass gilt:



Deshalb benutzt man auch häufig den Ausdruck synonym für um anzuzeigen, dass die freien Variablen von P belegt werden durch x1, ..., xn.
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Gast






BeitragVerfasst am: 13. Dez 2005 17:55    Titel: Antworten mit Zitat

Tausend Dank für die Erklärung smile

Gott
Nach oben
Beiträge der letzten Zeit anzeigen:   
Dieses Forum ist gesperrt, du kannst keine Beiträge editieren, schreiben oder beantworten.   Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.    Informatikerboard.de Foren-Übersicht -> Theoretische Informatik Alle Zeiten sind GMT + 1 Stunde
Seite 1 von 1

 
Gehe zu:  
Du kannst keine Beiträge in dieses Forum schreiben.
Du kannst auf Beiträge in diesem Forum nicht antworten.
Du kannst deine Beiträge in diesem Forum nicht bearbeiten.
Du kannst deine Beiträge in diesem Forum nicht löschen.
Du kannst an Umfragen in diesem Forum nicht mitmachen.
Du kannst Dateien in diesem Forum nicht posten
Du kannst Dateien in diesem Forum nicht herunterladen