TU Wien:Theoretische Informatik und Logik VU (Gramlich, Oswald)/Übungsbeispiele WS09
Allgemeines[Bearbeiten | Quelltext bearbeiten]
Hier die Übungsbeispiele im Wiki-Stil der Mathe-Übungen, da es deutlich einfach ist in einem Wiki zu suchen und zu bearbeiten als im Informatik-Forum stundenlang Postings zu lesen. --W1n5t0n 18:25, 19. Okt. 2009 (CEST)
Dieses Wiki ist hochgradig inoffiziell (hat nichts mit dem veranstaltenden Institut zu tun!), und "lebt" nur von der Mitarbeit durch uns Übungs-Teilnehmer.
Im Laufe des Semesters sollten die Inhalte dieser Seite immer den aktuellen Stand wiederspiegeln; dazu ist aber die Mitarbeit aller Beteiligten unumgänglich (bitte nicht nur suchen und lesen, zwischendurch auch mal was schreiben!).
Bitte traut' euch 'drüber!, und helft --auch im eigenen Interesse!-- durch bearbeiten (z.B. der Beispiele, Lösungen, Tips) mit, dieses Wiki sinnvoll zu ergänzen und Up-to-Date zu halten!
Das ganze Kollegium dankt! ;-)
"Offizielle" Links[Bearbeiten | Quelltext bearbeiten]
- Die Homepage zur VU WS 09 ist https://web.archive.org/web/20180817172424/https://www.logic.at/lvas/185263/
- Die 1. Übung gibt es hier http://www.logic.at/lvas/185263/aufgaben/aufgaben01.pdf
- Die 2. Übung gibt es hier http://www.logic.at/lvas/185263/aufgaben/aufgaben02.pdf
Bitte helft mit, diese Wissens-Exkremente von allen Übungsgruppen/Vortragenden zusammenzutragen! Egal, wie trivial sie manchmal erscheinen, manchmal (meistens!) sind da wertvolle Tips für die UE-Prüfung(en) für uns alle drin versteckt! :-)
Lösungsvorschläge Erklärungen[Bearbeiten | Quelltext bearbeiten]
Bitte Fehler korrigieren und ev. falsche Links löschen bzw, adaptieren.
- Tips zum Erstellen einer neuen Lösung gibt es natürlich auch...!
- Unter Vorlagen gibt es Definitionen, Sätze, Lemmas,... die in eure Lösungen eingebaut werden wollen!
- Bitte die Seitenkategorien am Ende der Seite eintragen. Hierfür bitte die bestehenden Kategorien verwenden und gegebenfalls neue Kategorien einfügen.
Legende[Bearbeiten | Quelltext bearbeiten]
- violette Felder
- Beispiele mit Lösungen/Aktualisierungen/erfolgreichen Tafelauftritten aus WS09
- grüne Felder
- Beispiele mit Lösungen
- blaue Links
- Beispiele mit Angabe, oder (zumindest teilweise) gerechnet
- rote Links
- unbearbeitete Beispiele
Lösungsvorschläge[Bearbeiten | Quelltext bearbeiten]
Bitte um zahlreiche mithilfe zum Lösen der Beispiele
| 1.1 | 1.2 | 1.3 | 1.4 | 1.5 |
| 2.1 | 2.2 | 2.3 | 2.4 | 2.5 |
| 3.1 | 3.2 | 3.3 | 3.4 | 3.5 |
Hinweis zur Benützung der Lösungen[Bearbeiten | Quelltext bearbeiten]
- Für die Richtigkeit der Daten, Angaben und Lösungen gibt es kein Gewähr!
- Die Verwendung der Lösung erspart nicht eine konstruktive Auseinandersetzung mit derselben, weil
- ein dumbes Anschreiben der Lösung an die Tafel natürlich den Übungsleiter nur zu (Zwischen-)Fragen anregt, die sehr peinlich werden können, und
- ist jedenfalls schlimmer als eine falsche, aber "kapierte" Lösung, die man fundiert verteidigen kann!