TheGI 3 (StuPO90): Unterschied zwischen den Versionen

← Zum vorherigen Versionsunterschied Zum nächsten Versionsunterschied →

Version vom 4. April 2005, 00:52 Uhr

Theoretische Grundlagen der Informatik 3

Pflichtveranstaltung im Grundstudium der Informatik, 4 SWS.

Vorkenntnisse:

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

Inhalt

Aussagenlogik
Prädikatenlogik erster Ordnung
- logische Signaturen und Strukturen
  (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)

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

Klausuren

Weblinks

@@ Zeile 1: / Zeile 1: @@
 ==Theoretische Grundlagen der Informatik 3==
-Pflichtveranstaltung im Grundstudium Informatik.
+Pflichtveranstaltung im [[Grundstudium]] der [[Informatik_(Studienfach)|Informatik]], 4 [[Semesterwochenstunden|SWS]].
+Vorkenntnisse:
+* [[TheGI 2]] ist nützlich (aber nicht zwingend erforderlich).
+* Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).
+==Inhalt==
+* [http://de.wikipedia.org/wiki/Aussagenlogik Aussagenlogik]
+** [http://de.wikipedia.org/wiki/Hilbertkalk%C3%BCl Hilbertkalkül]
+** [http://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl Sequenzenkalkül]
+** [http://de.wikipedia.org/wiki/Resolutionskalk%C3%BCl Resolutionskalkül]
+* [http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik Prädikatenlogik erster Ordnung]
+** 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)
+==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.)
 ==Klausuren==
@@ Zeile 18: / Zeile 34: @@
 * http://flp.cs.tu-berlin.de/lehre/wise03-04/thegi3.html
 * http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html
-(Hab' gerade keine Zeit, daher nur erstmal eine ganz provisorische Seite angelegt...--[[Benutzer:Thomas|Thomas]] 01:53, 21. Feb 2005 (CET))
 [[Kategorie: Lehrveranstaltungen]]