PDA

View Full Version : Theoretische Informatik und Logik, VU

Pages : 1 2 3 4 5 [6] 7
  1. [Frage] 7.5
  2. [Frage] erfüllbar, widerlegbar
  3. [Frage] 8.2
  4. [Frage] 8.1
  5. [Frage] 8.3
  6. [Frage] 8.4
  7. [Frage] 8.4
  8. [Frage] 8.5
  9. [Frage] 9.1
  10. [Frage] 9.2
  11. [Frage] 9.3
  12. [Frage] 9.4
  13. [Frage] 9.5
  14. [FRAGE] - Diese Woche Übung?
  15. [Frage] 9.5
  16. [INFO] - Logik leicht gemacht mit LaTeX
  17. [Frage] Letzte Vorlesung
  18. [Frage] 10.1
  19. [Frage] 10.2
  20. [Frage] 10.3
  21. [Frage] 10.4
  22. [Frage] 10.5
  23. [Frage] frage zum beurteilungsmodus
  24. [INFO] - vorbei
  25. [SUCHE] - Theoretische Informatik 1 an der Uni Wien(beim Professor Brezany)
  26. [SUCHE] - Mitschrift Prüfungsvorbereitung
  27. [Frage] Unifizierbarkeit
  28. [FRAGE] - Unterlagen???
  29. [INFO] - Notenrechner
  30. [Frage] Frage Antritte bei Theo Inf
  31. [Frage] Entfernen von Epsilon-Produktionen bei Grammatiken
  32. [SUCHE] - Nachhilfe für Prüfung
  33. [PROBLEM] - Prüfungsvorbereitungsbeispiel 1b
  34. [Frage] Pumping Lemma
  35. [FRAGE] - 11. Okt. 2006
  36. [Frage] Chomsky NF
  37. [Frage] Mathe2 und TheoInf am gleichen Tag
  38. [FRAGE] - Lösungen zu den 3 Prüfungsvorbereitungsbsp
  39. [Frage] PL-Tableaus: Wann mit welchen Parametern erweitern?
  40. [FRAGE] - 17. Jan 2006
  41. [FRAGE] - Resolutionsbsp aus Prüfungsvorbereitung
  42. [Frage] multiple choice
  43. [Frage] Nicht zur Prüfung angemeldet.
  44. [Frage] Lösungsansatz zur Umwandlung von DEAS in reguläre Mengen
  45. [Frage] rekursive funktionen??
  46. [Frage] [pumping lemma] Prüfung vom 30.06.06
  47. [Frage] Frage zu Bsp 3.4. CNF
  48. [Frage] Unterlagen bei der Prüfung
  49. [FRAGE] - Homomorphismen ... wie?!
  50. [Frage] Nichtantritt wegen Krankheit
  51. [Frage] After-Test-Thread 02.07.07
  52. [Frage] Studentenausweis
  53. [FRAGE] - noten 2.7.
  54. [FRAGE] - LVA bei Prof. Leitsch neu?
  55. [SUCHE] - Übungsblätter und Lösungen
  56. [Frage] Übungen
  57. [FRAGE] - Bsp 1.1 => Berechnen / beschreiben
  58. [FRAGE] - Gruppen- Wartenliste
  59. [FRAGE] - Termine
  60. [FRAGE] - Beispiel 1.2 (welche Gleichungen sind gültig?)
  61. [PROBLEM] - sequentialkalkül
  62. [FRAGE] - Verstehe nicht...
  63. [Frage] Beispiel 1.3
  64. [FRAGE] - Bsp 1.4?
  65. [INFO] - Lösungen
  66. [FRAGE] - BSP 1.5 (reguläre Darstellung)
  67. [Frage] ankreuzen
  68. [Frage] 2.3
  69. [Frage] Prüfungen - Nebentermine
  70. [FRAGE] - Aufgabe 2.1
  71. [Frage] 2.4
  72. [Frage] 2.5
  73. [Frage] 2.2
  74. [Frage] Prüfung am 25.10.07
  75. [PROBLEM] - Resolutionsverfahren
  76. [Frage] Wikipedia-Artikel zu CNF vollständig?
  77. [Frage] Seltsame (Anti-)Axiome
  78. [Frage] Test 2.7.2007 Bsp 3; CNF
  79. [FRAGE] - Sequentialkalkül
  80. [Frage] Sequentialkalkül - Problem - pls. help
  81. [FRAGE] - Aufgabe 3.3
  82. [Frage] Aftertest Thread 25.10.2007
  83. [FRAGE] - Aufgabe 3.5
  84. [FRAGE] - Aufgabe 3.1
  85. [FRAGE] - Bsp 3.4
  86. [Frage] 3.2
  87. [Frage] Lerngruppe anyone?
  88. [Frage] Tutor
  89. [FRAGE] - Aufgabe 4.5
  90. [FRAGE] - Aufgabe 4.4
  91. [Frage] 4.2
  92. [Frage] 4.1
  93. [Frage] Aufgabe 4.3
  94. [SUCHE] - Lerngruppe 4.12?
  95. [Frage] Aufgabe 5.1
  96. [Frage] Aufgabe 5.2
  97. [Frage] Aufgabe 5.3
  98. [Frage] Suche Nachhilfe für das Übungsblatt 5
  99. [Frage] 5.4
  100. [Frage] 5.5
  101. [Frage] übungsblatt 6
  102. [Frage] Pruefung am 4.12
  103. [FRAGE] - Anzahl der Übungsblätter
  104. [FRAGE] - 6.1
  105. [Frage] Aufgabe 7.1
  106. [Frage] Aufgabe 7.2
  107. [Frage] Aufgabe 7.4
  108. [Frage] Aufgabe 7.3
  109. [Frage] Aufgabe 7.5
  110. [Frage] 4. Dezember - Lerngruppe?
  111. [Frage] email der übungsgruppe
  112. [Frage] Prüfungsvorbereitung: Frage zum BSP 3.1 (ss2007)
  113. [Frage] Bsp 4.4 Ss2007
  114. [Frage] 8.1
  115. [Frage] 8.5
  116. [Frage] 8.3
  117. [Frage] 8.4
  118. [Frage] Prüfung vom 25.10.2007
  119. [Frage] 8.2
  120. [Frage] After Test Thread 4.12.2007
  121. [Frage] 9.5
  122. [Frage] 9.1
  123. [Frage] 9.2
  124. [Frage] 9.3
  125. [Frage] 9.4
  126. [Frage] Vorlesung und Übung
  127. [Frage] 10.1
  128. [Frage] 10.2
  129. [Frage] 10.3
  130. [FRAGE] - Prüfung 30.06.2006 - Beispiel 2 - Determinisieren v. interdeterministischen Automaten
  131. [Frage] Problem bei Anmeldung zum Termin 4
  132. [PROBLEM] - Konjunktive Normalform
  133. [PROBLEM] - Schwächste Vorbedingung
  134. [PROBLEM] - Vorbereitung Test 15.01
  135. [Frage] Alte Prüfung vom 25.10.2007
  136. [Frage] After Test Thread 15.1.2008
  137. [Frage] Prüfung 17.01
  138. [Frage] Fehler in PO Lösung..?
  139. [Frage] After Test Thread 17.01.2008
  140. [Frage] Turingmaschine für {a^nb^nc^n}
  141. [Frage] Ergebnisse 15.01
  142. [FRAGE] - Was passiert bei negativer Note?
  143. [FRAGE] - minimieren von DEAs
  144. [FRAGE] - vorbesprechung
  145. [Frage] übungsgruppen/-termine
  146. [Frage] übungen: vortragende
  147. [FRAGE] - Lernen für die Prüfung
  148. [FRAGE] - Musterklausur fehlerhaft????
  149. [Frage] ugm.logic zertifikatproblem
  150. [FRAGE] - clash vs. occurs check ??
  151. [FRAGE] - Allgemeine Frage zu TIL
  152. [FREUND] - 1.1 Ss2008
  153. [FREUND] - 1.2 Ss2008
  154. [Frage] lerngruppe
  155. [Frage] 1.3, 1.4, 1.5 - Ss08
  156. [FRAGE] - Regulaere Sprache!!!!!
  157. [FRAGE] - Übung
  158. [Frage] Prüfung_März ´08
  159. [Frage] 1.5 SS08 Diskussionsthread
  160. [FRAGE] - 1.20 Beispiel S.17
  161. [FRAGE] - Wo soll man die beispiele ankreuzen?
  162. [SUCHE] - Nachschlagewerke zusätzlich zum Skriptum
  163. [FRAGE] - Minimieren von DEA (Zwischenbelegung)
  164. [Frage] Bsp 2.2
  165. [Frage] 2.1
  166. [Frage] Bsp 2.3
  167. [Frage] 2.4 - NEA mit 6 Zuständen
  168. [Frage] Bsp 2.5
  169. [Frage] Beispiel 3.2
  170. [FRAGE] - Theoretische Informatik Uni Wien
  171. [Frage] 3.1
  172. [Frage] 3.3
  173. [Frage] 3.4
  174. [Frage] 3.5
  175. [Frage] 1 mal fehlen möglich?
  176. [FRAGE] - Prüfung???
  177. [SUCHE] - Folien SS08
  178. [FRAGE] - Wieviele Übungsrunden sind es?
  179. [Frage] 4.1
  180. [Frage] 4.2
  181. [Frage] 4.3
  182. [Frage] 4.5
  183. [Frage] 4.4
  184. [SUCHE] - lerngruppe
  185. [Frage] Greibach Normalform Algorithmus/Prinzip
  186. [FRAGE] - nachträgliches abmelden?
  187. [FRAGE] - Was ist das für ein Symbol?
  188. [Frage] 5.3
  189. [Frage] 5.4
  190. [FRAGE] - OOM Test 1
  191. [Frage] 5.5
  192. [INFO] - 5.1
  193. [Frage] 5.2
  194. [FRAGE] - Prüfung 13.03.08 Bsp 1
  195. [FRAGE] - Beispiel von der Prüfung am 15.Jänner
  196. [INFO] - Übungen am 5.5.
  197. [Frage] 6.1
  198. [Frage] 6.2
  199. [Frage] 6.3
  200. [Frage] 6.4
  201. [Frage] 6.5
  202. [Frage] Gsm
  203. [FRAGE] - Allgemeine Fragen!
  204. [Frage] test vom 15.01.2008/ Bsp. 1
  205. [FRAGE] - Prüfung
  206. [Frage] Übung am Donnerstag 13 Uhr
  207. [FRAGE] - TIL Übung Mi11L
  208. [FRAGE] - Algorithmus/Rezept für Turingmaschine
  209. [Frage] Prüfung am 5.05
  210. [Frage] 7.4
  211. [Frage] 7.1
  212. [Frage] 7.2
  213. [Frage] 7.3
  214. 7.5
  215. [FRAGE] - Mindestpunkte für positive Vorlesungsprüfung
  216. [FRAGE] - 8.1
  217. [FRAGE] - 8.2
  218. [FRAGE] - 8.3
  219. 8.4
  220. 8.5
  221. 7.5 Neuer Lösungsvorschlag
  222. 9.1
  223. [FRAGE] - Resolutionsbeispiel von 5.5 brauche Hilfe
  224. TIL punkte
  225. 9.5
  226. 9.4
  227. 9.2
  228. 9.3
  229. wie sieh die prüfung aus?
  230. Prüfungsvorbereitung
  231. [FREUND] - Übung WS07/08 Bsp1.3
  232. [FRAGE] - Resolution
  233. TIL vom SS und WS
  234. Frage zur Resolution, Satz 3.63
  235. 10.2
  236. [FREUND] - Prüfung 13.März.08 Frage 2 (gsm)
  237. 10.4
  238. 10.1
  239. 10.5
  240. 10.3
  241. ist heute(10.3) das repetitorium ?
  242. [INFO] - Zusammenfassung Wiederholungseinheiten
  243. TIL-Textfragen
  244. [FRAGE] - Unklarheit bei Produktionen
  245. frage zu D0 Systeme
  246. [FRAGE] - Frage zu gsm
  247. Test 25.10.2007
  248. Test 4.12.2007
  249. Test 17.1.2008
  250. Frage zu Gegenbspe PL