Verstehe nicht...

[Matt_informatic]

Hallo,

habe da ein bisschen Verständnisschwierigkeiten bei folgenden Begriffen:

Hornklausel, Lambda-Kalkül und Prädikatenkalkül.

GeGOOGLEd habe ich zwar, aber da verstehe ich nur Bahnhof.

Bin beim Programmieren lernen und da tauchen diese Begriffe auf.

Weiß hier einer Zufällig was darüber?

Was macht man damit? Wozu braucht man das?

Danke für Infos.

Gruß
Matt_informatic

[mtintel]

Hast du schon Mal bei Google oder Wikipedia gesucht (z.B. http://de.wikipedia.org/wiki/Pr%C3%A4dikatenkalk%C3%BCl)? Dort finde ich soo viele gute Erklärungen!