Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 3 (StuPO90): Unterschied zwischen den Versionen

(Tests verlinkt)
(→‎Inhalt: Ordnung -> Stufe)
Zeile 47: Zeile 47:
 
** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]]
 
** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]]
 
** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]
 
** [[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 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)
  

Version vom 3. Februar 2007, 12:44 Uhr

Klausuren

WiSe 2004/2005

WiSe 2003/2004

WiSe 2002/2003

WiSe 2001/2002

WiSe 2000/2001

WiSe 1999/2000

WiSe 1996/1997


Entsprechung in der Bachelor-StuPO: TheGI 3 (Bachelor).

Theoretische Grundlagen der Informatik 3

Pflichtveranstaltung im Grundstudium Informatik, 4 SWS.

Vorkenntnisse:

  • TheGI 2 ist nützlich (aber nicht zwingend erforderlich).
  • Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).

Inhalt

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.)


Weblinks

Abgerufen von „https://wiki.freitagsrunde.org/index.php?title=TheGI_3_(StuPO90)&oldid=4295“