An Archimedes wird man sich erinnern, wenn Aischylos vergessen ist,
weil zwar die Sprachen sterben, nicht aber die mathematischen Ideen.
Godfrey Harold Hardy


Auf das Thema antworten  [ 1 Beitrag ] 
Baaz mündlich 
Autor Nachricht

Registriert: 04/2008
Beiträge: 24 + 2
Mit Zitat antworten
Beitrag Baaz mündlich
Hatte heute mündliche Prüfung, folgendes ist gekommen:

FOKINA:
def von DFA, NFA, PDA?
NFA in DFA umwandeln? (möglich)
nondet. PDA in det. umwandeln? (nicht immer möglich, zB bei palindromen)
reguläre sprachen, kontextfreie sprachen
def der turingmaschine?
bsp einer nicht berechenbaren fkt? (halting problem)

TAKEUTI (oder so):
was ist LK?
ein paar regeln (inferences) aufzählen
formaler beweis von "B -> A v -A" (-A = A negiert) auf einem zettel

LEITSCH:
was ist aussagenlogische resolution?
was ist prädikatenlogische resolution?
wie geht man vor? (negation -> umstrukturierung -> pränexform -> skolemisierung -> unifikation -> "eigentliche resolution")
resolutionsbeweis von "((forall(x) exists(y) P(x,y)) => (forall(y) exists(x) -P(x,y))"

_________________
Mögest du in interessanten Zeiten leben!


Mi 05-03-2014 15:34:03
Diesen Beitrag melden
Profil ICQ
Beiträge der letzten Zeit anzeigen:  Sortiere nach  
Auf das Thema antworten   [ 1 Beitrag ] 


Wer ist online?

Mitglieder in diesem Forum: 0 Mitglieder und 1 Gast


Du darfst neue Themen in diesem Forum erstellen.
Du darfst Antworten zu Themen in diesem Forum erstellen.
Du darfst deine Beiträge in diesem Forum nicht ändern.
Du darfst deine Beiträge in diesem Forum nicht löschen.
Du darfst keine Dateianhänge in diesem Forum erstellen.

Suche nach:
Gehe zu:  
Powered by phpBB © phpBB Group.  |  Designed by STSoftware for PTF  |  © Czechnology 2007 - 2022  |  Deutsche Übersetzung durch phpBB.de