TheGI 3 (StuPO90): Unterschied zwischen den Versionen

Aussagenlogik
- Hilbertkalkül
- Sequenzenkalkül (nicht im WS06/07)
- Resolutionskalkül
Prädikatenlogik erster Stufe
- logische Signaturen und Strukturen
  (nach TheGI 1 ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)

Literatur

Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz: "Mathematisch-strukturelle Grundlagen der Informatik", Springer Verlag, ISBN: 3-540-41923-3

(Das ist das selbe Buch, welches in TheGI 1 benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)

Studententips

Weblinks

@@ Zeile 1: / Zeile 1: @@
-<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+{{Vorlage:KlausurBox|titel=|klausurliste=
-<h2>Klausuren</h2>
+<!-- Bitte hier als Liste einfügen. -->
+WiSe 2005/2006
+* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0506-version-A.pdf Klausur Version A]
 WiSe 2004/2005
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004HK.pdf Klausur (Version 1.6MB)]
@@ Zeile 30: / Zeile 33: @@
 WiSe 1996/1997
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9697HK.pdf Klausur]
-</div>
+}}
@@ Zeile 39: / Zeile 42: @@
 Vorkenntnisse:
-* [[TheGI 2]] ist nützlich (aber nicht zwingend erforderlich).
+* [[TheGI 1]] und [[TechGI 1]] sind nützlich (aber nicht zwingend erforderlich).
 * Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).
@@ Zeile 45: / Zeile 48: @@
 * [[Wikipedia:Aussagenlogik|Aussagenlogik]]
 ** [[Wikipedia:Hilbertkalkül|Hilbertkalkül]]
-** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]]
+** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]] (nicht im WS06/07)
 ** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]
-* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Ordnung]]
+* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Stufe]]
-** logische Signaturen und Strukturen<br />(nach [[TheGI 2]] ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)
+** logische Signaturen und Strukturen<br />(nach [[TheGI 1]] ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)
 ==Literatur==
 Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz: "Mathematisch-strukturelle Grundlagen der Informatik", Springer Verlag, ISBN: 3-540-41923-3
-:(Das ist das selbe Buch, welches in [[TheGI 2]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
+:(Das ist das selbe Buch, welches in [[TheGI 1]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)
+==Studententips==
@@ Zeile 62: / Zeile 67: @@
 * http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
 * http://flp.cs.tu-berlin.de/lehre/wise05-06/thegi3.html
+* http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html
 [[Kategorie: Lehrveranstaltungen]]
 __NOTOC__