PDA

View Full Version : Theoretische Informatik und Logik, VU

Pages : [1] 2 3 4 5 6 7
  1. nützliche url
  2. [Frage] Prüfung
  3. [Frage] Wer kommt denn noch da mit ???
  4. [Frage] Übungsbeispiele online
  5. [Frage] Welche Übung?
  6. [Frage] skript
  7. [Frage] Wann kommt das Skriptum für die VO
  8. [Frage] Für Skriptum vormerken lassen
  9. [Frage] po einführung in die theorie der informatik
  10. [Frage] Keine Ahnung von TheoInf - Prüfung machbar?
  11. [Frage] Prüfung 2
  12. [Frage] Hoare Kalkül
  13. [Frage] [FRAGE] Prüfungsstoff
  14. [Frage] Prüfung: Welche Unterlagen erlaubt?
  15. [Frage] Sequentialkalkül
  16. [Frage] Unterschied Aussagen-/Prädikatenlogik?
  17. [Frage] Übungsskriptum?
  18. [Frage] HSEinteilung?
  19. [Frage] Übungsblatt 1. bsp 1..11
  20. [Frage] Mitschrift zu den letzten VO's
  21. [Frage] Angabe Prüfung - Gruppe M
  22. [Frage] wie war die prüfung?
  23. [Frage] posten
  24. [Frage] Noten?
  25. [Frage] Arbeitszeit bei der Prüfung ??
  26. [Frage] lerndauer für die prüfung?
  27. [Frage] Noten???
  28. [Frage] Frage zu Bsp. 5 vom letzten Test
  29. [Frage] idempotent?
  30. [Frage] egrep-Ausdruck (ac?)+?[ab]*[bc]?
  31. [Frage] Noten
  32. [Frage] Automat zu Bsp. 1 des letzten Tests
  33. [Frage] nächster termin
  34. [Frage] Unterlagen bei der Prüfung
  35. [Frage] BRAUCHE:Prüfungsfragen
  36. [Frage] Stoffgebiet für die Prüfung
  37. [Frage] 2. Aufgabe bei der prüfung
  38. [Frage] sequential kalkül
  39. [Frage] Ist die Prüfung schaffbar...
  40. [Frage] UE - Bspe.
  41. [Frage] DEAs minimalisieren
  42. theoritische informatk
  43. [Frage] TH. INF. for Dummies
  44. [Frage] AL um for-Schleife erweitern
  45. [Frage] 3.bsp der letzten prüfung
  46. [Frage] ein paar lern und verständnis hilfen
  47. [Frage] Loesung der Juni- Pruefung ONLINE
  48. [Frage] Hoare Kalkül
  49. [Frage] Fehler bei Lösung 1 Bsp.
  50. [Frage] egrep ->automaten
  51. [Frage] turing maschinen?
  52. [Frage] noch stoff ?
  53. [Frage] Frage Bsp. 5
  54. [Frage] Frage Bsp. 5
  55. [Frage] welche Operation ist das?
  56. [Frage] DEA Beispiel....
  57. [Frage] Hoare-Kalkül - böses Exemplar!
  58. [Frage] Dpll
  59. [Frage] *, +, ?
  60. [Frage] was haltet ihr eigentlich von der PRF
  61. [Frage] [frage] hat wer eine ahnung wann die tests korregiert sind?
  62. [Frage] Angabe zur letzten Prüfung??
  63. [Frage] Prüfungsanmeldung für 28.11
  64. [Frage] Wie lernt man am Besten für die Prüfung
  65. [Frage] Lösungen zu Oktobertermin
  66. [Frage] Lerngruppe?
  67. [Frage] INFO: loesungen 24.10.2002 online
  68. [Frage] DEA mit eps-kanten
  69. [Frage] INFO: Ergebnisse vom 24.10.2K2 online !!
  70. [Frage] Determinisieren von Automaten
  71. [Frage] Mal
  72. [Frage] Hoare in der Praxis?
  73. [Frage] probleme mit hilfsregeln bei hoare-k.
  74. [Frage] min. det. Autom. Unterscheidbarkeitstabelle
  75. [Frage] Prüfung vom 28.11.2002
  76. [Frage] [Frage] Termin Jönner?
  77. [Frage] Püfungsordner von 28.11.2002 "Lösungen"
  78. [Frage] Seq.kalk - Gegenbeispiel bei Anti-Axiom der Form ...
  79. [Frage] Geben sie den Automaten an, der die Sprache akzeptiert
  80. [Frage] Lösung von der Prüfung am 28.11.02?
  81. [Frage] [Frage] A NAND B in KNF umformen?
  82. [Frage] Vom nicht-deterministischen Automaten zum deterministischen Automaten !
  83. [Frage] Rechenfehler
  84. [Frage] Links Ableitung (S 42)
  85. [Frage] [ Frage ] Hoare Kalk. Wann T1 und wann T2 ?
  86. [Frage] Könnt ihr Semantisches Tableaux/Hilbert Kalkül/Resolution
  87. [Frage] lösung zu bsp.2 prüf. 2.5.02?! (grammatik)
  88. [Frage] unterschied zw. "|=" und "=>" ?!
  89. [Frage] Dpll?
  90. [Frage] semt. Tableau
  91. [Frage] Prüfungsantritte?
  92. [Frage] prüfungsthemen-wahrscheinlichkeit ...
  93. [Frage] Substitution
  94. [Frage] zeugnis
  95. [Frage] Pruefungs-After Hour: Wie wars bei euch ??
  96. [Frage] Theoretische Inf. 1 auf der Uni
  97. [Frage] wie schwer?
  98. [Frage] Vorbesprechung?
  99. [Frage] egrep
  100. [Frage] Fragen zu Thinf VU-Beispiele (Hauptuni)
  101. [Frage] Skript-Voranmeldung Frist
  102. [Frage] Konstruktion endlicher Automaten
  103. [Frage] Automaten - Super tool
  104. [Frage] Grundlagen: Sprachen
  105. [Frage] Was sind Terminalsymbole (Hauptuni)?
  106. [Frage] Unklarheit über det. Automaten
  107. [Frage] TheoInfo auf Hauptuni: File läßt sich nicht entzippen
  108. [Frage] Mitschrift 20.03
  109. [Frage] eprep-Ausdruck
  110. [Frage] noch eine Frage
  111. [Frage] erste teilprüfung - unterlagen?
  112. [Frage] Bsp (Ableitungen)
  113. [Frage] Linksableitungen / Mehrdeutigkeit
  114. [Frage] JFLAP + Kellerautomaten
  115. [Frage] Skriptum Sammelkäufe
  116. [Frage] Übungsbeispiel { ww^R | w e {a,b}* }
  117. [Frage] this page intentionally has nothing but...
  118. [Frage] Der Termin geht doch nicht!
  119. [Frage] deterministische Automaten aus NDA
  120. [Frage] Kellerautomat && Turing Maschine
  121. [Frage] Prüfungsstoff
  122. [Frage] Po
  123. [Frage] prüf. von 2002
  124. [Frage] Aussagenlogik/Prädikatenlogik Unterlagen
  125. [Frage] warum endlich????
  126. [Frage] Frage zum Test
  127. [Frage] {00}*{e,0}{1}
  128. [Frage] Unterlagen beim Test verwenden?
  129. [Frage] Wo Skriptum kaufen?
  130. [Frage] von Textangabe zu formaler Angabe
  131. [Frage] Unklarheit bei Aufgabe 2.4.
  132. [Frage] Nächste Unklarheit bei Aufgabe 2.5.
  133. [Frage] Kellerauomat 2.7
  134. [Frage] NEA -> DEA
  135. [Frage] Turing Maschinen allgemein
  136. [Frage] Skriptum S.33 Bsp 2.24
  137. [Frage] Prüfung 28.Juni 2002 Beispiel 1)
  138. [Frage] Unterscheidbarkeitstabelle
  139. [Frage] Hoare-Kalkül und der Kram kommt eh nicht oder?
  140. [Frage] Kellerautomat
  141. [Frage] beurteilung der lehrveranstaltung
  142. [Frage] Aufgabe 2.18. Kellerautomat
  143. [Frage] Zeugnis für Prüfung vom 21.01.03
  144. [Frage] Mitschrift der Übungsstunde?
  145. [Frage] anderer weg für bsp 2.4 ?
  146. [Frage] Übungsstunde
  147. [Frage] Zusätzliche Übungsaufgaben (nicht v. Salzer)
  148. [Frage] Angeben einer Kontextfreien Grammatik
  149. [Frage] [Bsp Heute] DEA - Reguläre Menge
  150. [Frage] Fehler in Beispiel 1 aus der gestrigen Übungsstunde?
  151. [Frage] Zeigen, dass Sprache kontextfrei ist
  152. [Frage] Pumping Lemma
  153. [Frage] die Übergangsfunktion des DEA
  154. [Frage] Bzgl. Test, bin morgen zwangsläufig auf der Uni ...
  155. [Frage] Kellerautomat - Wie komme ich auf die Übergangsfunktion?
  156. [Frage] Falle einzeichnen ?
  157. [Frage] Ein Beispiel für DEA
  158. [Frage] Bsp. 2.19
  159. [Frage] test 28.6.02 1.Bsp
  160. [Frage] 21.1.03 1&2.Bsp
  161. [Frage] übungsblatt 1 - bsp 1.11 b)
  162. [Frage] Unterlagen bei Pruefung erlaubt?
  163. [Frage] Pumping Lemma
  164. [Frage] Beispiel zum Üben - Automaten
  165. [Frage] Fragen zu kontextfreien Gram.
  166. [Frage] Übungsblat 2 - Bsp. 2.18 ???
  167. [Frage] Skriptum Bsp. 2.38
  168. [Frage] Ableitungen
  169. [Frage] Beispiel 1.18 - Wie komme ich auf die Tabelle?
  170. [Frage] Knackige Erklärung fürs Pumping Lemma
  171. [Frage] versteht irgendwer die Turing-Maschine
  172. [Frage] [Frage] - Bsp. 1.16
  173. [Frage] Beweis mittels Abschlusseigenschaften - Wie?
  174. [Frage] Sprachen und Grammatiken
  175. [Frage] [Alternative Lösung] 2.9
  176. [Frage] Beispiel 2.25
  177. [Frage] Turing Maschine
  178. [Frage] Turing Maschine a^2n (bsp2.24)
  179. [Frage] {a,b} bei reg. Menge
  180. [Frage] Turing Maschine nochmal für Deppen wie mich
  181. [Frage] 2.11 Wka
  182. [Frage] Prüfung vom 28.2 Aufg 1 ?!
  183. [Frage] 1.15
  184. [Frage] Turing Maschine a^nb^3n
  185. [Frage] dumme frage (Sprache->min. DEA)
  186. [Frage] Falle bei min DEA
  187. [Frage] Epsilon in der Unterscheidbarkeitstabelle
  188. [Frage] Kellerautomat Übungsstunde
  189. [Frage] Grammatik Produktion
  190. [Frage] Test - wie fandet ihr ihn?
  191. [Frage] Grupp W 1.Aufgabe
  192. [Frage] Gruppe J
  193. [Frage] Sprachen und Grammatiken II
  194. [Frage] Sequentialkalkül/Beweise
  195. [Frage] folien
  196. [Frage] Aufgabe 3.7 fehlerhafte Loesung
  197. [Frage] 2. Test !!!
  198. [Frage] Coole Turingmaschinen in JavaScript
  199. [Frage] Übungszettel 4 Bsp.4.1 d
  200. [Frage] Testergebnisse - Wann??
  201. [Frage] delta, delta* und delta^
  202. [Frage] Morgen VO???
  203. [Frage] Hauptuni: Prüfung
  204. [Frage] Aufgabe 5.7 - Fehler in der Lösung?
  205. [Frage] Vorlesung am 12. 6. ?
  206. [Frage] Stoff 2. Test
  207. [Frage] need help
  208. [Frage] KNF, DNF, Durchblick
  209. [Frage] induktive vs. rekursive definition
  210. [Frage] Skriptum Beispiel 5.19/20
  211. [Frage] Sequentialkalkül
  212. [Frage] ups
  213. [Frage] Klauselmenge
  214. [Frage] fehler: übugsblatt 04, aufgabe 4.1.e)
  215. [Frage] deduktionstheorem
  216. [Frage] ausdistribuieren
  217. [Frage] Hilbert-Typ Kalkül nicht Teststoff
  218. [Frage] Tableau-Kalkül
  219. [Frage] Resolution
  220. [Frage] Modelle von Anti-Axiomen
  221. [Frage] ti1v027 (5) - Sequentialkalkül-Beispiel
  222. [Frage] Unklarheit beim DPLL-Verfahren
  223. [Frage] Wie ist das genau mim Nachtragstest ?
  224. [Frage] Wahl der richtigen INV bei Hoare-Kalkül
  225. [Frage] Test-Nachtragstest ???
  226. [Frage] Unterlagen wieder erlaubt?
  227. [Frage] Schnittemengen & (Anti)Axiome
  228. [Frage] Stunde Mi 18.06.2003
  229. [Frage] Frage zu Aufgabe 4.2 (Modell, Gegenbeispiel finden)
  230. [Frage] Hauptuni PR-Ersatztermine
  231. [Frage] Fehler bei Ü6, Bsp 6.1 ?
  232. [Frage] |- UND |= (Sequentialkalkül)
  233. [Frage] sequentialkalkül (again)
  234. [Frage] Aufgabe 5.9
  235. [Frage] Stunde morgen (24.06.2003)
  236. [Frage] nachhilfe
  237. [Frage] Werde aus AL einfach nicht schlau ...
  238. [Frage] Aufgabe 5.8. & 5.9. - Geschlossenheit?
  239. [Frage] 2. test am freitag??
  240. [Frage] ti1v025 Beispiel 3
  241. [Frage] Resolution - Bsp aus dem Skriptum
  242. [Frage] Anmeldung für den 2.Test erforderlich!!!
  243. [Frage] Hauptuni: "Aussagen-, Prädikatenlogik - NEU": ?Prüfungsstoff?
  244. [Frage] unterlagen beim test?
  245. [Frage] Kurze Frage zu Beispiel 5.2
  246. [Frage] Deduktionstheorem - bitte um Erklärung...
  247. [Frage] Aufgabe 7.1
  248. [Frage] Unklarheit bei 7.3a
  249. [Frage] imperative Sprache - neues Beispiel !!!
  250. [Frage] Hoare Kalkül - 5.12 (S.97)