PDA

View Full Version : Theoretische Informatik und Logik, VU

Pages : 1 [2] 3 4 5 6 7
  1. [Frage] ad Resolutionswiderlegung (Beispiel 3.6a)
  2. [Frage] tiv027 - Beispiel 3) Hoare-Kalkül
  3. [Frage] 5.3: wieso kann t/f aus Model entnehmen?
  4. [Frage] Bsp. 7.3 d) e) HOARE
  5. [Frage] tiv027.pdf Beispiel 5) Sequentialkalkül
  6. [Frage] Beispiel 7.3 (Unterschied zw. Hilfsregel T1 und T2 ist mir noch nicht ganz klar)
  7. [Frage] 7.2 Hilfe
  8. [Frage] kleine unklarheit bei 6.2
  9. [Frage] 7.3-e)..(2)
  10. [Frage] Nochmal DPLL...
  11. [Frage] heute 26.6.vorlesung-was wurde gemacht
  12. [Frage] note 1.Test
  13. [Frage] Frage zu: Beispiel 5.17 in Skript auf Seite 102
  14. [Frage] alte Testangaben? vom 2ten Teststoff?
  15. [Frage] Bsp. 5.20
  16. [Frage] Gesamtnote
  17. [Frage] Hauptuni: Wie erfährt man die Endnote? Einsichtnahme?
  18. [Frage] Hauptuni: Wie erfährt man die Endnote? Einsichtnahme?
  19. [Frage] Hauptuni - Wie war die Prüfung?
  20. [Frage] Sequentialkalkül Ableitung -r oder -l
  21. [Frage] bsp. 6.4
  22. [Frage] Hoare Kalkül - Prüfung vom 28.11.02 F
  23. [Frage] reines Literal - DPLL
  24. [Frage] ti1v026 Beispiel 5) DPLL
  25. [Frage] Hoare Kalkül
  26. [Frage] Unterstreichungen bei Prüfung - wann/ob machen?
  27. [Frage] ti1v026 Beispiel 3) - Hoare Kalkül
  28. [Frage] Auf in die Schlacht!
  29. [Frage] Prüfung vom 27.06.2002 Nachbesprechung
  30. [Frage] Hauptuni: Noten sind da!!!
  31. [Frage] Wann und Wo gibts Noten vom 27.6
  32. [Frage] sides4mi: LVA Bewertung - Stellungnahme von Salzer
  33. [Frage] Frage
  34. [Frage] Nachtragstest!!
  35. [Frage] weiß jemand was env und ivs bedeutet
  36. [Frage] LVA verwendbar oder nicht?
  37. [Frage] Vergleich Prof. Kuich - Prof. Salzer
  38. [Frage] wie war die vorbesprechung ?
  39. [Frage] Fragen über Fragen :-))
  40. [Frage] Theoretische Informatik 1
  41. [Frage] zustandspaare
  42. [Frage] Frage über Bsp 2.1 in d. Theo.Info-UE
  43. [Frage] Skript Theoretische INformatik 1
  44. [Frage] Prüfungstermine WS03
  45. [Frage] frage bez. automaten (für den test)
  46. [Frage] ATFS Grammatikproblem
  47. [Frage] Kollektives Lernen
  48. [Frage] Bsp 1.18 vom 1.Übungsblatt
  49. [Frage] prüfungsstoff
  50. [Frage] Testausarbeitung 2.05.2003 Gruppe A - Fehler?
  51. [Frage] kacke!
  52. [Frage] Test 28.6.2002
  53. [Frage] Wann gibts denn die ERgebnisse von 23.10.2003?
  54. [Frage] ad.2.test!
  55. [Frage] modell und gegenbeispiel
  56. [Frage] 27.6 bsp3!
  57. [Frage] Semantisches Tableaux - (nicht) geschlossen
  58. [Frage] dpll
  59. [Frage] abstrakte datentypen - konstanten
  60. [Frage] kommt kapitel 5 auch zum 2ten test ?
  61. [Frage] beispiel1 vom 27.6
  62. [Frage] Hoare Kalkül: bsp. SS03 Bsp. 5
  63. [Frage] Abstrakte Listen
  64. [Frage] Sequentialkalkül
  65. [Frage] Übungsblatt3.6-3.8
  66. [Frage] Frage zu Bsp 6.4
  67. [Frage] subsumtion und tautologieelimination
  68. [Frage] viel glück!
  69. [Frage] logiklied
  70. [Frage] Tautologie, Erfüllbar,..
  71. [Frage] Test aus dem SS 03 (27.06.03)
  72. [Frage] Bsp. 2 vom 2. Test im SS
  73. [Frage] Nachtragstest - Hoare Mist!
  74. [Frage] Fragen bez. Kuich-Vorlesung
  75. [Frage] Kuich - 1. Prüfung - Termin
  76. [Frage] Mitschrift bei den Übungen
  77. [Frage] übungsblätter
  78. [Frage] Ergebnisse Nachtragstest ???
  79. [Frage] lerngruppe für 1. test
  80. [Frage] Welche Bsp aus dem ÜB-Skriptum kommen zum Test?
  81. [Frage] Nachtragstests?
  82. [Frage] Beispiel 1.1 (1. Übungszettel)
  83. [Frage] mitschrift kopieren
  84. [Frage] Beispiel 1.5 - Seite 3
  85. [Frage] Kalküle der Aussagenlogik
  86. [Frage] Ü-Tests der letzten Semester?!
  87. [Frage] ue bsp 7.1 und 7.5
  88. [Frage] Was ist eine Thermalgebra
  89. [Frage] Bsp. 1.3, erste Uebungszettel [WS03]
  90. [Frage] Bsp. 2.2 und 2.4, erste Uebungszettel [WS03]
  91. [Frage] 4.1
  92. [Frage] Bsp 2.1 B)
  93. [Frage] 4.2
  94. [Frage] 2.4
  95. [Frage] Varietät
  96. [Frage] 2.1 a
  97. [Frage] Pruefung
  98. [Frage] Ergebnisse Wann ?
  99. [Frage] 2 test wann?
  100. [Frage] Ergebnisse Nachtragstests Herbst 2003
  101. [Frage] ue am 10.12.03
  102. [Frage] 2.ter uebungsbspzettel
  103. [Frage] Wann ist der zweite Test?
  104. [Frage] nachtragstest?
  105. [Frage] Salzer oder Kuich/Urbanek?
  106. [Frage] übung am 7.1.04?
  107. [Frage] 2. Test - Anmeldung
  108. [Frage] Bsp 3(b) bzw. 11 (a oder b oder c) - Lösung
  109. [Frage] Welche Beispiele?
  110. [Frage] Stoff der VO
  111. [Frage] Schleifeninvariante?
  112. [Frage] frage zu beispiel 1.6 im Script (Seite 8)
  113. [Frage] Turingmaschinen: 12b
  114. [Frage] lerngruppe für 2. test
  115. [Frage] Beispiele
  116. [Frage] Kellerautomaten
  117. [Frage] Übungsblatt
  118. [Frage] Lösungen der Übungsbeispiele (Zettel 2)
  119. [Frage] "Determinisieren Sie..."
  120. [Frage] Frage zu 11b (Turing)
  121. [Frage] Last Minute Lerngruppentreffen :)
  122. [Frage] verifikation von while-programmen
  123. [Frage] Turingmaschinen(aus meinem Heft)
  124. [Frage] Wann ist der 2. Übungstest genau ?
  125. [Frage] Testergebnisse 2.Teil (Urbanek)
  126. [Frage] Urbanek - Sprechstunde
  127. [Frage] Auch Übungsgruppen???
  128. [Frage] 2. Termin März
  129. [Frage] Lerngruppe für Theo. Informatik1-Prüfung
  130. [Frage] Bsp aus der Pruefung
  131. [Frage] [Salzer] Die erste VO
  132. [Frage] Wer macht die Prüfung am 12.ten?
  133. [Frage] heutige VO (4.März)
  134. [Frage] theoretische info auf der hauptuni
  135. [Frage] Zweite VU heute
  136. [Frage] Geht's auch ohne VO?
  137. [Frage] Help!! Bitte welches Skriptum zur Prüf. am 12.3?
  138. [Frage] TI1 Kuich am 12.3. & 19.3.
  139. [Frage] Frage zur zweiten Salzer-VU
  140. [Frage] Selbststudium
  141. [Frage] Übungsmitschrift
  142. [Frage] Kongruenz und Homomorphismus
  143. [Frage] Partitionen
  144. [Frage] Bsp.3.1
  145. [Frage] Lösungen aus dem UE-Skriptum (Urbanek/Kuich)
  146. [Frage] Partitionen erstellen
  147. [Frage] Hauptuni Beispiele 11.03.04
  148. [Frage] Test am Freitag???
  149. [Frage] Übungsgruppen
  150. [Frage] heutige vo
  151. [Frage] Last Minute Treffen Fr. Vormittag zur Th. Inf 1. Prüfung?
  152. [Frage] Mitschrift von heute, 11.3
  153. [Frage] Inhalt der VU - welchen sinn hat das überhaupt?
  154. [Frage] Bsp. 6.3.a
  155. [Frage] 1.1
  156. [Frage] wo finden die übungsgruppen statt ?
  157. [Frage] 1.2
  158. [Frage] 1.4
  159. [Frage] 1.5
  160. [Frage] 1.6
  161. [Frage] 1.3
  162. [Frage] Stoff 2.Nachtragstest
  163. [Frage] Servercrash!
  164. [Frage] Verständnisfrage: L* = Summe*
  165. [Frage] Jede Woche Übungen?!?
  166. [Frage] Wo und wann ist genau der 2.Teil der Pruefung Urbanek/Kuich?
  167. [Frage] Mitschrift
  168. [Frage] 1. übung - endgültige lösungen für kurzentschlossene
  169. [Frage] Hauptuni Beispiele 18.3.2004
  170. [Frage] 1.Nachtragstest (Kuich) wie wars?
  171. [Frage] Lerngruppe für 2. Test
  172. [Frage] Übungsgruppen? - krank
  173. [Frage] 2. Übungsblatt
  174. [Frage] deterministische endliche automaten
  175. [Frage] 1.Bsp vom 2ten Übungszettel
  176. [Frage] Besprechung 2.Nachtragstest
  177. [Frage] Bsp. für 2.Test Urbanek
  178. [Frage] 2tes Übungsblatt
  179. [Frage] salzer skriptum
  180. [Frage] Lerntechnik
  181. [Frage] 2.1
  182. [Frage] Urbanek Test - Bsp 7 ?
  183. [Frage] Urbanek Test - Bsp 5
  184. [Frage] Fragen über Fragen
  185. [Frage] Urbanek Test - Bsp 4
  186. [Frage] 2.2
  187. [Frage] 2.3
  188. [Frage] 2.5
  189. [Frage] uuuups ... Dat war dann wohl eher nichts
  190. [Frage] Übungsblatt 2 Komplett
  191. [Frage] Nach dem 2. Test
  192. [Frage] 2.4
  193. [Frage] Hauptuni: Beispiele 25.3.2004
  194. [Frage] arbeitsgruppen theoinf
  195. [Frage] Lerngruppe fix Donnerstags, 15:00 Uhr in der Mensa
  196. [Frage] Verschiedene Lösungswege
  197. [Frage] 3.1
  198. [Frage] Minimierung von DEAs - kann mir das wer erklären?
  199. [Frage] 3.2
  200. [Frage] Normale Übergangsfunktion, zählen Leerwörter als Symbole?
  201. [Frage] 3.3
  202. [Frage] 3.4
  203. [Frage] 3.5
  204. [Frage] Übunsblatt 3 komplett
  205. [Frage] alle lösungen der alten bsp auf der hp
  206. [Frage] frage zu "von deterministischen automaten zu regulären mengen"
  207. [Frage] Seite 27/28
  208. [Frage] Pumping (Di-)Lemma
  209. [Frage] Buch S.36, Bsp 2.26
  210. [Frage] Schubfachprinzip
  211. [Frage] delta * tabelle
  212. [Frage] Hauptuni: Beispiele 1.4.2004
  213. [Frage] Was wurde am Donnerstag gemacht?
  214. [Frage] Gitti
  215. [Frage] Hauptuni: Was wurde am Do (2004-04-01) gemacht?
  216. [Frage] noch kein übungsblatt 4!?? ...
  217. [Frage] 4.1
  218. [Frage] 4.2
  219. [Frage] 4.3
  220. [Frage] 4.4
  221. [Frage] 4.5
  222. [Frage] 4.Uebung fertig zusammengschrieben!
  223. [Frage] kontaktraum?
  224. [Frage] Reguläre vs kontextfreie Grammatiken
  225. [Frage] Aufgabe 5.2
  226. [Frage] 5.1
  227. [Frage] 5.3
  228. [Frage] 5.5
  229. [Frage] Bsp 5.2
  230. [Frage] 5.4
  231. [Frage] Frage
  232. [Frage] Frage zu Kellerautomaten
  233. [Frage] Keine Übung
  234. [Frage] Turing Maschinen
  235. [Frage] Linktipp zu Sprachen/Grammatiken/(Keller)Automat
  236. [Frage] 5te übung - fotos ;-)
  237. [Frage] 6.3
  238. [Frage] 6.4
  239. [Frage] 6.1
  240. [Frage] 6.5
  241. [Frage] 6.2
  242. [Frage] Beurteilung
  243. [Frage] Übungsblatt 6 fertig
  244. [Frage] verständnisproblem bei 'Terme über Datentypen'
  245. [Frage] Zwischenergebnisse online
  246. [Frage] uebunsblätter vom ss03
  247. [Frage] Fehler im Übungsblatt
  248. [Frage] Skriptum
  249. [Frage] MT1 bis MT3
  250. [Frage] Datentyp der Listen