PDA

View Full Version : Theoretische Informatik und Logik, VU

Pages : 1 2 3 4 [5] 6 7
  1. [Frage] Übungsbeispiele
  2. [Frage] univie brezany
  3. [FRAGE] - Salzer - Skriptum
  4. [Frage] [Salzer] Beispielrunde 1
  5. [FRAGE] - [UNIVIE] Brezany - Übungsbeispiele
  6. [FRAGE] - Macht jemand Nachtragtest 1. Teil??
  7. [Frage] Morgen VO beim Freund?
  8. [FRAGE] - Urbanek - Test 17.03.06
  9. [Frage] Was bedeutet trivial, nichtrivial?
  10. [FRAGE] - Übungen
  11. [INFO] - Vorschlag : ein Beispiel - ein Thread
  12. [Frage] Brezany 23.03
  13. [INFO] - Ergebnisse Nachtragstest???
  14. [FRAGE] - eine Sprache L zu G finden...wie?
  15. [SUCHE] - [Freund] Lösungen zu Übungsteilen 1/2
  16. [Frage] Bsp 2.1
  17. [FRAGE] - [Freund]Übungsbsp. gemeinsam lösen
  18. [Frage] Beispiel 2.1!!
  19. [Frage] Beispiel 2.4
  20. [Frage] Beispiel 2.3
  21. [INFO] - [Salzer] UE 2, Bsp 2.5
  22. [INFO] - [SALZER] Übung, die zweite
  23. [INFO] - Salzer Übungsbeispiele
  24. [Frage] Brezany 29.03
  25. [Frage] [Freund]UE1,Formale Sprachen
  26. [INFO] - [SALZER] UE Bsp 3.2
  27. [INFO] - [SALZER] UE Bsp 3.3
  28. [Frage] [SALZER] Bsp. 3.4
  29. [INFO] - [Freund] 04.04. Uhrzeitverschiebung
  30. [FRAGE] - [salzer] 3.5
  31. [SALZER] - Bsp. 3.1
  32. [SALZER] - 3. Ue
  33. [FRAGE] - minimaler DEA
  34. [SALZER] - Lösungsblatt 1, hat das wer...?
  35. [FREUND] - 2te Abgabe Gruppe B - Endliche Automaten
  36. [FREUND] - skriptum,folien??
  37. [Frage] [SALZER] Bsp. 4.3
  38. [Frage] 2te Abgabe Gruppe B - (nicht) reguläre sprachen
  39. [SALZER] - Bsp. 4.1
  40. [SALZER] - Bsp. 4.4
  41. [SALZER] - Bsp. 4.5
  42. [SALZER] - Bsp. 4.2
  43. [FRAGE] - Präzedenz logisch Operatoren
  44. [FREUND] - ein paar frage zur Übung
  45. [SALZER] - Wie weit in der Vorlesung?
  46. [SALZER] - Übung 5.1
  47. [SALZER] - Aufgabe 5.4
  48. [SALZER] - Aufgabe 5.3
  49. [SALZER] - Bsp. 5.2
  50. [SALZER] - Bsp. 5.5
  51. [PROBLEM] - Dringend Hilfe benötigt ( While LOOP Programm )
  52. [FREUND] - Übungen zusammen machen?
  53. [FRAGE] - Bitte Denkanstoß geben
  54. [SUCHE] - [Freund] Nachhilfe Treffen zu Abgabe 2
  55. [SUCHE] - [Freund] Nachhilfe Treffen zu Abgabe 2
  56. [FRAGE] - Montags Übungen
  57. [FREUND] - 2te Abgabe Gruppe B - (nicht) kontextfreie sprachen
  58. [FREUND] - Gruppe A - (nicht) kontextfreie sprachen
  59. [Frage] 2te Abgabe Gruppe A
  60. [Frage] 2te Abgabe Gruppe A - (nicht) reguläre sprachen
  61. [FREUND] - Samstag- Treffen für Lösung der Aufgaben
  62. [SALZER] - Bsp 6.5
  63. [FREUND] - 2te Abgabe B: Lindenmayer Systeme...
  64. [FREUND] - Montag Treffen Beispiele besprechen
  65. [FREUND] - Gruppe A - 4. Lindenmayer Systeme und Matrixgrammatiken
  66. [Frage] Bsp 6.2
  67. [FREUND] - turing maschinen`?????
  68. [PROBLEM] - Einzelne Beispielfragen
  69. [SALZER] - 6.1
  70. [SALZER] - Bsp 6.3
  71. [INFO] - Hilfreiche Literatur
  72. [FREUND] - Lerntreffen für 2te Abgabe
  73. [SALZER] - Total den Überblick verloren (Lerngruppe?)
  74. [Frage] 6.4
  75. [Frage] Lerngruppe Univie Brezany
  76. [SALZER] - 7.2
  77. [SALZER] - 7.4
  78. [FRAGE] - Tutorium 24.05.06 Brezany
  79. [SALZER] - Bsp. 7.5
  80. [Frage] Bsp. 7.1
  81. [Frage] 7.3
  82. [FREUND] - Vorlesungen am 15. + 16.5.
  83. [Frage] 8. Runde
  84. [SALZER] - Bsp 8.3
  85. [INFO] - Lerngruppe für UE-Block 3 - Teil I
  86. [SALZER] - 8.2
  87. [SALZER] - Bsp. 8.1
  88. [Frage] Brezany Lösungen
  89. [SALZER] - Bsp. 8.4
  90. [SALZER] - Bsp. 8.5
  91. [FRAGE] - Entscheidbarkeit
  92. [Frage] diese woche keine übung?
  93. [FREUND] - Aussagenlogische Formeln
  94. [FREUND] - 2te Abgabe Hilfe
  95. [FRAGE] - PO+Lösung 2002-2005
  96. [Frage] Tutoren Mailadressen
  97. [FRAGE] - HU - Brezany
  98. [FREUND] - selbsthilfegruppe 3. abgabe b
  99. [SALZER] - bsp. 9.4
  100. [SALZER] - bsp. 9.5
  101. [FREUND] - namen der tutoren und welche gruppen?!
  102. [FREUND] - 3tes Kapitel Gruppe A
  103. [FREUND] - Lerngruppe Gruppe A, Dienstag 6.6. 13h
  104. [FREUND] - Gruppe B - 1.1
  105. [FRAGE] - wiederholungslimit
  106. [SALZER] - bsp 9.1.
  107. [SALZER] - bsp 9.2.
  108. [FREUND] - Aufgabe 2.1
  109. [FREUND] - Prädikatenlogik
  110. [FREUND] - Bsp. 3.1
  111. [Frage] vielleicht helfen diese?
  112. [FRAGE] - Letzte Übungswoche?
  113. [SALZER] - 9.3
  114. [FREUND] - Gruppe A - Bsp 3.4
  115. [FREUND] - Tutorium heute - Stoffabgrenzung für Test
  116. [FREUND] - Gruppe A Bsp 2.1
  117. [FRAGE] - Gruppe A Bsp 1.1
  118. [FRAGE] - Wie war die Abgabe?
  119. [FREUND] - Block 3 B 3.1, 3.2, 3.3, 3.4
  120. [FREUND] - Block 3 B 2.1, 2.2, 2.3,2.4
  121. [FREUND] - Beispiel 1.4b
  122. [SALZER] - Prüfung-Lerngruppe
  123. [Frage] Block 3 B 1.1, 1.2, 1.3, 1.4
  124. [Frage] Block 3 B 4.1, 4.2, 4.3, 4.4
  125. [FRAGE] - regulär, monton, kontextfrei?
  126. [FRAGE] - Tutorium
  127. [Frage] [HU] 31.6.06 Brezany Test
  128. [SALZER] - Bsp. 10.1
  129. [Frage] Anmeldung für die Prüfung
  130. [SALZER] - Bsp. 10.2
  131. [FREUND] - Test Noten sind da ;-)
  132. [SALZER] - Bsp. 10.4
  133. [SALZER] - Bsp. 10.5
  134. [SALZER] - Bsp. 10.3
  135. [SALZER] - Lösung vom Test 17.01.2006
  136. [SALZER] - Prüfungsstoff für 30.06.2006?
  137. [Frage] TheoInf1 - Brezany
  138. [FRAGE] - Axiome und Antiaxiome bei Sequentialkalkul?
  139. [FRAGE] - Brezany_test
  140. [Frage] reguläre Wortmenge
  141. [FRAGE] - Pumping Lemma
  142. [FRAGE] - Unterschied
  143. [Frage] stoff?
  144. [SALZER] - egrep - ausdrücke unterscheiden??
  145. [FRAGE] - TU: wo?
  146. [FRAGE] - Unterscheidbarkeitstabelle?
  147. [Frage] Brezany - Mustertest Ausarbeitung
  148. [Frage] Vorbereitsungsstunde: Turing Maschine
  149. [FRAGE] - Kellerautomaten und kontextfreie Sprachen
  150. [Frage] Semantik und Verifikation - WP
  151. [Frage] Semantik und Verifikation - WP
  152. [Frage] Semantik und Verifikation - WP
  153. [PROBLEM] - Prüfung 6.12.2005
  154. [FRAGE] - @Salzer: PL: (SKOLEMISIERUNG!)??
  155. [FRAGE] - Sprachen und Grammatik
  156. [Frage] PL: Transformation in Klauselform
  157. [FRAGE] - Regelsystem UR
  158. [Frage] Brezany - After Test
  159. [SALZER] - after party thread
  160. [Frage] Kann gelöscht werden
  161. [SALZER] - Noten?
  162. [FREUND] - Nächster Prüfungstermin
  163. [Frage] salzer lerngruppe oktobertermin
  164. [Frage] Brezany
  165. [FREUND] - Angabe Theoretischer Teil beim Test
  166. [FRAGE] - Stoff für Oktobertermin
  167. [Frage] Einsichtnahme??
  168. [SUCHE] - sehr sehr wichtig!
  169. [FRAGE] - Sequentialkalkül, Axiom und Anti-Axiom
  170. [FRAGE] - Anmeldungsbestätigung für Oktobertermin
  171. [FREUND] - Einstiegstest
  172. [FRAGE] - Anmeldung
  173. [FREUND] - anmeldung
  174. [FRAGE] - Minimieren von det.endl.Automaten
  175. [FRAGE] - Pumping Lemma (Wortwahl)
  176. [FRAGE] - Test 16.10.2006
  177. [FRAGE] - Determinieren von nicht deterministischen Automaten
  178. [SALZER] - Noten vom 11.10.2006
  179. [FREUND] - LERNGRUPPE pruefung 30.11.2006
  180. [SALZER] - Anmeldung Thinf VO Prüfung 28.11.2006
  181. [FREUND] - Bsp. 1d)
  182. [FREUND] - Testvorbereitung:Ergebnis Vergleich
  183. [FREUND] - Aufgabe 2a
  184. [INFO] - After Test Thread (28.11.06)
  185. [SUCHE] - 1.Abgabegespräch
  186. [FREUND] - Punkte
  187. [FRAGE] - salzer prüfung jänner
  188. [FREUND] - Lösung Freund Abgabe 2
  189. [Frage] Lösung gesucht freund 1.Abgabe
  190. [FREUND] - Lösung der Übunsaufgaben
  191. [SALZER] - 28.11.2006 Aufgabe 5?
  192. [FRAGE] - Freund Prüfung
  193. [FREUND] - Prüfungsergebnisse
  194. [Frage] War da nicht morgen was?
  195. [PROBLEM] - Prädikatenlogik
  196. [Frage] Heutige VO
  197. [FRAGE] - Anmeldung zur Übung
  198. [Frage] Übungsbeispiele
  199. [INFO] - Skriptum
  200. [FREUND] - Nachtrag
  201. [Frage] Übung
  202. [Frage] 2.1
  203. [Frage] 2.2
  204. [Frage] 2.3
  205. [Frage] 2.4
  206. [Frage] 2.5
  207. [FRAGE] - Übungsgruppen?
  208. [FRAGE] - Sprache/Grammatik
  209. [SUCHE] - Übungsergebnisse
  210. [Frage] Super Tool für Automaten
  211. [FRAGE] - Heutige Vorlesung
  212. [INFO] - Falls wer anders auch erst jetzt bemerkt hat...
  213. [Frage] 3.1
  214. [Frage] 3.2
  215. [Frage] 3.3
  216. [Frage] 3.4
  217. [Frage] 3.5
  218. [Frage] Minimierung?
  219. [Frage] Literatur zu Vo
  220. [SUCHE] - Lerngruppe
  221. [Frage] 4.1
  222. [FRAGE] - Dienstagsgruppe von 10 - 11
  223. [Frage] 4.2
  224. [Frage] 4.5
  225. [Frage] 4.1
  226. [Frage] 4.3
  227. [Frage] 4.4
  228. [INFO] - Übungen in der Woche 30.04. - 04.05.
  229. [FRAGE] - 5.1
  230. [FRAGE] - 5.2
  231. [Frage] Gruppen-Termine
  232. [Frage] Aufgabe 5.3
  233. [PROBLEM] - Montag ist ja der 30.4
  234. [FRAGE] - 5.5.
  235. [Frage] 5.4
  236. [FRAGE] - Übungsbeispiele
  237. [SUCHE] - ANGABE 5.: LVA-homepage nicht erreichbar
  238. [Frage] Turingmaschine - Richtungsangabe
  239. [Frage] 6.2
  240. [Frage] 6.3
  241. [Frage] 6.1
  242. [Frage] 6.4
  243. [Frage] 6.5
  244. [Frage] Lösungen zu Beispielen 2006
  245. [FRAGE] - Regülare Ausdrücke
  246. [Frage] 7.1
  247. [Frage] 7.2
  248. [Frage] 7.3
  249. [Frage] 7.4
  250. [Frage] Übungsblatt7 - Welches Stoffgebiet im Skriptum?