PDA

View Full Version : [Frage] Nachtragstest!!

kenokb
23-08-2003, 17:31
Hallo alles zusammen! Ich hatte vor die Theoretische Informatik im Oktober zu machen! Jetzt Interesiert es mich was der Stoff ist!! Was muss ich alles
können!! In den Vorlesunden wurden diese Aufgaben gemacht!
(Automaten und reguläre Sprachen)
(Pumping Lemma, Grammatiken, Kellerautomaten, Turing-Maschinen)
(Syntax/Semantik, Datentypen)
(Formeln, Wahrheitstafeln)
(Sequentialkalkül, Tableaux)
(Normalformen, Resolution, DPLL)
(AL, Hoare-Kalkül)

Weiß jemand ob nur dies der Stoff für die Prüfung ist oder kommt da noch etwas vor, weil im scriptum gibt es noch mehr Aufgaben!!

Im neuen Scriptum von 2003 gibt es am Ende noch PART II , Altes Scriptum. Muss man das auch können???
locutus
23-08-2003, 21:59
Was muss ich alles können

Wenn du das Skriptum von Kapitel 1 (Grundlagen) bis 5 (Formale Verifikation) plus die Vorlesungsfolien insofern drauf hast, als du die Übungsbeispiele selbstständig lösen kannst, dann dürfte die Prüfung kein Problem mehr darstellen. :thumb:
Bruno
24-08-2003, 01:59
vor allem die übungsblätter sind wichtig!
Javanack
23-09-2003, 14:22
wann finden eigentlich die nachtragstests statt?
zungerl
23-09-2003, 14:26
wann finden eigentlich die nachtragstests statt?
Hy,

Nachtragstests:
1. Teil: Do, 23. Oktober 2003, 16:30-18:00
2. Teil: Do, 30. Oktober 2003, 16:30-18:00

http://www.logic.at/lvas/185167/ <-- hier zu finden

lg, Z
rogov
18-10-2003, 00:12
Ist es richtig, dass der 1.Test bis S.48 aus dem Skriptum geht und der 2. dann ab Kapitel 3?
Almresl
18-10-2003, 11:57
jup, das ist richtig. stoff für den zweiten test beginnt ab "Syntax vs. Semantik". beim ersten test kommen aber auch kellerautomaten und turingmaschinen, die nicht im skript stehen
MUMU
18-10-2003, 17:16
jup, das ist richtig. stoff für den zweiten test beginnt ab "Syntax vs. Semantik". beim ersten test kommen aber auch kellerautomaten und turingmaschinen, die nicht im skript stehen
auch pumping lemma steht nicht im skriptum, aber kommt trotzdem zum test
arthemiss
18-10-2003, 19:17
pumping lemme zum 1. oder 2. test?
tschul
18-10-2003, 19:28
pumping lemme zum 1. oder 2. test?
ich glaub beim ersten!
Bruno
18-10-2003, 19:58
kommt sicher zum ersten
blackie
19-10-2003, 11:58
kommt zum ersten is aber bei den ersten Übungsbättern drauf

(gleich erstes Bsp)