Logik, HS07

---

Viktor Galliard, galliard@inf.ethz.ch, Büro IFW E47.2, Tel. 28570
Übungsstunde Mi 13-14, IFW C42

Unterlagen

---

Datum	Thema	Unterlagen
26/09/2007	Theorie 1, Logische Schlüsse	Notizen: [PS]
26/10/2007	Theorie 3/4, Syntax und Semantik der Aussagenlogik und Induktion	Notizen: [PDF]

Links

---

• Homepage der Vorlesung: http://qi.ethz.ch/edu/logikWS07
• Skript der Vorlesung von Prof. Stärk (ev nur von der ETH oder mit VPN zugreifbar):
  http://www.inf.ethz.ch/personal/staerk/vorlesungen/logik04.pdf
• Logik-Skripte und Tutorials auf dem Netz:
  http://www.mathematik.tu-darmstadt.de:8080/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2005/Logik_Inf/,
  http://www-mgi.informatik.rwth-aachen.de/Teaching/MaLo-WS07/index.html.en,
  http://www.math.uni-heidelberg.de/logic/skripten/math_logik/mathlogik.pdf ,
  http://www-hm.ma.tum.de/archiv/in2/ss04/literatur.html.
  
• Studentenzusammenfassungen (keine Garantie auf Korrektheit und Vollständigkeit):
  WS06/07 von Andreas Hauri: Teil 1 und Teil 2.
• Links zur vollständigen Induktion:
  http://pohlig.de/Mathematik/VollstaendigeInduktion/vi.htm,
  http://www.ite.ethz.ch/education2/ws0506overview/iteration (PDF),
  

Latex

---

• The not so Short Introduction to LaTeX2e von Tobias Oetiker: http://tobi.oetiker.ch/lshort/lshort.pdf
• Latex example and styles: latex/LogikHS07_Notizen_Uebung3_4.tex, latex/xyling.sty, latex/avm.sty

Disclaimer

---

• Setup und Design