PDA

View Full Version : Theoretische Informatik und Logik, VU

Pages : 1 2 [3] 4 5 6 7
  1. [Frage] 7.5
  2. [Frage] 7.2
  3. [Frage] 7.1
  4. [Frage] 7.4
  5. [Frage] IRC-channel #theoinf1
  6. [Frage] 7.2
  7. [Frage] wahrheitswertverlauf
  8. [Frage] 7.3
  9. [Frage] frage zur def. 3.34
  10. [Frage] Übrige Anzahl der Übungen
  11. [Frage] Frage zu Turingmaschinen
  12. [Frage] frage zu bsp. 3.50
  13. [Frage] Nächste Woche keine Übung
  14. [Frage] Ende der VU
  15. [INFO] - Hauptuni heute (13. Mai 04)
  16. [SUCHE] - 8 Übungsblatt
  17. [Frage] 8.1
  18. [Frage] 8.2
  19. [Frage] 8.3
  20. [Frage] 8.5
  21. [Frage] letzte VO-Einheit
  22. [Frage] logic server offline; übungsblatt posten
  23. [Frage] 8.4
  24. [Frage] linktipp: applets zu kalkülen
  25. [Frage] Abmeldung von der VU
  26. [INFO] - Berrechnung der Note???
  27. [Frage] Morgen 25.05 noch Vorlesung?
  28. [Frage] 8.6
  29. [Frage] Klauseln
  30. [Frage] Keine Übung am 2.6
  31. [Frage] 9.1
  32. [Frage] 9.2
  33. [Frage] 9.3
  34. [Frage] 9.4
  35. [Frage] 9.5
  36. [Frage] Hauptuni Zeitplan
  37. [FRAGE] - allgemein gültig
  38. [INFO] - Nachbringen der beispiele
  39. [FRAGE] - Welches Blatt?
  40. [Frage] Mitschrift
  41. [Frage] VU Hauptuni: Bsp Frist 13.05
  42. [Frage] 10.3
  43. [Frage] 10.2
  44. [Frage] 10.1
  45. [Frage] 10.4
  46. [FRAGE] - 10.5
  47. [FRAGE] - prüfungsvorbereitende vorlesung!
  48. [Frage] Prüfung Hauptuni
  49. [Frage] hauptuni: bsp6 - alte Testangabe
  50. [SUCHE] - jemand der das repetitorium aufzeichnet
  51. [Frage] prüfung anmeldung und übung
  52. [Frage] Prüfungsvorbereitungs stunde
  53. [FRAGE] - Ersatztermin
  54. [FRAGE] - Hoare Kalkül - Ableitungsregeln
  55. [FRAGE] - Alte Prüfungsbeispiele
  56. [Frage] Testangaben 23.10.2003, Grp.A, Bsp.3
  57. [Frage] Testangaben 23.10.2003, Grp.A, Bsp.1b
  58. [Frage] Tautologie vs. gültig in Datentyp
  59. [FRAGE] - Unterscheidbarkeitstabelle???
  60. [Frage] Hora-Kalkül: Technik 4
  61. [PROBLEM] - Bsp. 4.2 b)
  62. [FRAGE] - Testangabe 27.06.2003, Bsp 1.b
  63. [Frage] Kurze Frage: totale Funktion, was ist das?
  64. [FRAGE] - Minimierung
  65. [Frage] Parallelableitung
  66. [FRAGE] - Altes Skriptum besprochen?
  67. [FRAGE] - reguläre Menge zu NEA
  68. [FRAGE] - was kommt zur prüfung?
  69. [PROBLEM] - hoare kalkül, seite 106
  70. [FRAGE] - turing maschine
  71. [INFO] - Noten Univie (Brezany) sind da
  72. [FRAGE] - Bei Aussagenlogik Model & Gegenbeispiel
  73. [FRAGE] - Tableau-Kalkül
  74. [FRAGE] - Test 30.10.2003 Bsp 2
  75. [Frage] Skriptum S.30, Abb. 1.15: Erklärung
  76. [Frage] Übungsbsp. 4.1, Linksableitung
  77. [Frage] DPLL Verfahren
  78. [Frage] Test 30.10.2003/ Bsp. 4)
  79. [Frage] Touring Maschine Skript-teil
  80. [PROBLEM] - Prüfungsbeispiel
  81. [Frage] test vom 2. Mai aufgabe4 EBNF
  82. [Frage] Anmeldung verpasst
  83. [Frage] Seqentialkalkül letzter schritt ?
  84. [FRAGE] - Ez/nez
  85. [FRAGE] - Beispiel 2.1. Tippfehler auf Lösung?
  86. [Frage] Links- Rechtsableitung
  87. [Frage] 30.10.2003 Bsp1
  88. [PROBLEM] - Unterscheidbarkeitstabelle!!
  89. [Frage] PrÜfung Vorbei
  90. [Frage] Test vorbei
  91. [FRAGE] - Ergebnisse
  92. [FRAGE] - Theoretische Inf
  93. [FRAGE] - Wo Zeugnisse abholen?
  94. [FRAGE] - Hoare/Dijkstra Verifikation Unterschied?
  95. [FRAGE] - Hoare/Dijkstra Verifikation Unterschied?
  96. [Frage] Prüfung im oktober
  97. [FRAGE] - Salzer Prüfung
  98. [FRAGE] - Vorlesungsbesuch notwendig?
  99. [Frage] [28.6.2002] Prüfung
  100. [Frage] [27.6.2003] Prüfung, Beispiel 2
  101. [Frage] Übung SS 2004 Beispiel 8.2b
  102. [Frage] Sequenzialkalkül
  103. [FRAGE] - Hoare-Kalkül
  104. [Frage] Deduktionstheorem
  105. [FRAGE] - Resolution
  106. [Frage] Wie wars?
  107. [FRAGE] - LVA-Ablauf bei Kuich ??
  108. [Frage] 2. Übung
  109. [SUCHE] - Lerngruppe für Theo.Info.1 WS2004/05
  110. [FRAGE] - wie weit ist kuich in heutiger VO im skriptum gekommen?
  111. [FRAGE] - Prüfungsergebnisse?
  112. [FRAGE] - Findet die Übung diese Woche statt?
  113. [FRAGE] - Lösungen zu Übungen vom Urbanek
  114. [FRAGE] - Berechenbarkeit mal wieder
  115. [FRAGE] - 1. Test Stoff
  116. [FRAGE] - Termine?
  117. [Frage] Diesen und nächsten Mittwoch Übungen?
  118. [FRAGE] - while<->loop-berechenbarkeit
  119. [Frage] Nachtragstest-Sequentialkalkül
  120. [FRAGE] - Übung 17.11.
  121. [Frage] brauche das übungsblatt
  122. [Frage] hoare kalkül
  123. [Frage] Sequential-Kalkül
  124. [PROBLEM] - genaue erklärung???
  125. [SUCHE] - Lerngruppe für den Test am 26.11.04
  126. [Frage] Pumping Lemma (Bsp 4, Test vom 12.10.04)
  127. [FRAGE] - grafische darstellung, wie?
  128. [Frage] ??? Test 12.10.04: Bsp 5
  129. [PROBLEM] - Sequential Kalkül - 27.06.2003-bsp2
  130. [FRAGE] - prüfung im jänner
  131. [FRAGE] - nochmal hoare
  132. [FRAGE] - LOOP-Berechenbar?
  133. [FRAGE] - Prüfung 12.okt.2004 frage zu bsp3.
  134. [FRAGE] - Prüfung 26.11 Urbanek
  135. [SUCHE] - PO's von Kuich
  136. [FRAGE] - Beispiel 5(Kuich) - Faktoralgebra
  137. [FRAGE] - Unteralgebren
  138. [Frage] Nach Test Thread 23.10
  139. [Frage] Nachtragstest=eigener Antritt?
  140. [Frage] Bsp_14_Kuich
  141. [Frage] Bsp. 4
  142. [Frage] Bsp. 5
  143. [FRAGE] - Urbanek Unterlagen
  144. [FRAGE] - VO-Fortschritt
  145. [INFO] - Wichtig: Test verschoben + UE Infos (Kuich)
  146. [FRAGE] - Berechnung mittels GOTO
  147. [FRAGE] - (Kuich) Bsp 14
  148. [FRAGE] - Stoff zur Kuich Prüfung
  149. [Frage] Bsp. 2
  150. [FRAGE] - Standardnummerierung, smn und utm Theorem
  151. [FRAGE] - Rekursion, µ-rekursiv und primitiv rekursiv
  152. [Frage] Bsp. 4
  153. [Frage] Neues Übungsblatt Bsp. 2.1
  154. [FRAGE] - Fragen zum PO
  155. [FRAGE] - Bsp 7 und 8
  156. [Frage] 10
  157. [Frage] Bsp. 6 - direktes Produk
  158. [Frage] [KUICH] Testangaben
  159. [Frage] Der Test Heute
  160. [Frage] Theo. Informatik
  161. [FRAGE] - Prüfungsergebnisse?!?!?!?
  162. [Frage] Freitag Übung???
  163. [INFO] - Prüfungsergebnisse - Salzer
  164. [INFO] - Weitere Übungstermine Urbanek
  165. [INFO] - Testergebnisse_Urbanek
  166. [FRAGE] - 2.Test Kuich/Urbanek
  167. [FRAGE] - wie weit sind wir?
  168. [Frage] Mitschrift_Urbanek
  169. [FRAGE] - Lerngruppe für Theoretische 1 am 14.1.05
  170. [FRAGE] - 2.test
  171. [FRAGE] - Prüfung am 14.1 : Turing-Maschine , Kellerautomat ?
  172. [FRAGE] - determinisieren von NEAs
  173. [Frage] Turing Programm - keine Ahnung!
  174. [INFO] - Übungen Urbanek abgeschlossen
  175. [FRAGE] - Hoare-Kalkül
  176. [FRAGE] - Kontextfreie Grammatik
  177. [INFO] - ergebnisse
  178. [FRAGE] - Theoretische Informatik 1 auf TU oder HU?
  179. [FRAGE] - Beginn des Tests am Freitag?
  180. [FRAGE] - Grammatiken
  181. [SUCHE] - Angabezettel Urbanek Übung
  182. [PROBLEM] - HTTP Grammatik
  183. [FRAGE] - Weiss jemand was letztes Sem. zum 2ten Test gekommen ist?
  184. [PROBLEM] - bsp 26: leeres kellerband
  185. [Frage] Frage zum Stoff von Prof. Urbanek
  186. [FRAGE] - notenschluessel??? (Urbanek)
  187. [Frage] Test 28.1.2005
  188. [Frage] NachtragsTestUrbanekWann
  189. [INFO] - Ergebnisse Theoretische Informatik I (Kuich) 2. Test
  190. [FRAGE] - Kellerautomat
  191. [FRAGE] - Theoritische Informatik 1 bei Salzer
  192. [INFO] - Ergebnisse Foto
  193. [INFO] - ergebnisse salzer sind da
  194. [FRAGE] - Salzer oder Freund???
  195. [FRAGE] - Vorbesprechung
  196. [Frage] distance learning
  197. [FRAGE] - Übung bei wem??
  198. [SUCHE] - Unterlagen HU Brezany
  199. [FRAGE] - Theoretische Informatik ohne Mathe 1?
  200. [Frage] Übungsgruppen c.t. oder s.t.?
  201. [Frage] Urbanek_Uebungszettel_2.Test
  202. [INFO] - ACHTUNG_Anmelden_Fuer_Urbanek
  203. [INFO] - 1. übungsblatt
  204. [FRAGE] - Cooperative Learning
  205. [FRAGE] - HU Tinf1 VB bzw. 1. VO verpasst
  206. [Frage] 1.1
  207. [Frage] 1.2
  208. [Frage] 1.3
  209. [Frage] 1.4
  210. [Frage] 1.5
  211. [PROBLEM] - Urbanek: Resolution
  212. [FRAGE] - Hauptuni ThInf1 Brezany Beispiele
  213. [FRAGE] - thinf uebung bereits diese woche?
  214. [Frage] fragen zum stoff des morgigen nachtests
  215. [Frage] Mitschrift 10.März
  216. [FRAGE] - Urbanek Nachtragstest - Aufgaben?
  217. [Frage] distance learning ablauf
  218. [Frage] Urbanek: Chomsky Typ-0 (bsp.: 27a,b)
  219. [Frage] Test am Freitag
  220. [FRAGE] - Bsp. 29 Leiten Sie Hoare Kalkül her ???
  221. [FRAGE] - Bsp. 26 Greibach NF, Kellerband
  222. [Frage] Bsp. 18
  223. [Frage] Unterlagen
  224. [Frage] Urbanek-Nachtragstest vom 11.3. – Ergebnisse
  225. [Frage] Frage zu Beispiel 19
  226. [FRAGE] - Bsp. 29a
  227. [Frage] GesuchtBsp28
  228. [PROBLEM] - Bsp 23
  229. [Frage] Nachtragstest vom Nachtragstest
  230. [FRAGE] - Beispiel 22
  231. [Frage] Turingmaschinen
  232. [FRAGE] - Skriptum
  233. [Frage] Pumping Lemma
  234. [Frage] Bsp. 24
  235. [Frage] nachtragstest_wo_wann
  236. [Frage] Test 18.3.05
  237. [Frage] Angabe vom heutigen Test 1.Beispiel
  238. [Frage] 2.1
  239. [Frage] 2.2
  240. [Frage] 2.3
  241. [Frage] 2.4
  242. [Frage] 2.5
  243. [FRAGE] - Beschreibung einer Sprache!
  244. [FRAGE] - wo Thinf für LA?
  245. [Frage] 3.1
  246. [Frage] 3.2
  247. [Frage] 3.3
  248. [Frage] 3.4.
  249. [Frage] 3.5
  250. [PROBLEM] - Minimierung von Automaten