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 2 (StuPO90): Unterschied zwischen den Versionen

(Umsortiert)
K (Klausurbox)
 
(4 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt)
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. -->
 
SoSe 2005
 
SoSe 2005
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss05_klausur.pdf Klausur]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss05_klausur.pdf Klausur]
Zeile 19: Zeile 19:
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_nachklausur.ps.gz Nachklausur]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_nachklausur.ps.gz Nachklausur]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_klausur.ps.gz Klausur]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_klausur.ps.gz Klausur]
* [http://user.cs.tu-berlin.de/~buchholz/frwiki/loesung.SS99.ps Klausur Lösung]
+
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_lsg.ps Klausur Lösung]
* [http://user.cs.tu-berlin.de/~buchholz/frwiki/korrekturMuster.pdf Klausur Lösung (Errata)]
+
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_lsg-korrektur.pdf Klausur Lösung (Errata)]
  
 
SoSe 1998
 
SoSe 1998
Zeile 36: Zeile 36:
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_lsg.pdf Lösung]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_lsg.pdf Lösung]
  
</div>
+
}}
  
  
Zeile 62: Zeile 62:
 
== Literatur ==
 
== Literatur ==
  
Für das gesammte Semester und auch für TheGI 2 ist das Buch "Mathematisch-strukturelle Grundlagen der Informatik" zu empfehlen da sich die Lehrveranstaltungen an diesem Buch Orientieren.
+
Für das gesammte Semester und auch für [[TheGI 3 (StuPO90)|TheGI 3]] ist das Buch "[http://www.amazon.de/exec/obidos/ASIN/3540419233/thetruth0e Mathematisch-strukturelle Grundlagen der Informatik]" praktisch Pflicht, da sich die Lehrveranstaltungen an diesem Buch orientieren.
Authoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz.
+
 
Springer Verlag ISBN: [http://de.wikipedia.org/w/index.php?title=Spezial:Booksources&isbn=3540419233 3-540-41923-3]
+
Autoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz. Springer Verlag ISBN: [http://de.wikipedia.org/w/index.php?title=Spezial:Booksources&isbn=3540419233 3-540-41923-3]
 +
 
 +
Das Buch gibt es auch in großer, aber nie ausreichender Stückzahl in der [[Bibliothek]]. Wenn man an das Buch nicht ran kommt, ist das [http://user.cs.tu-berlin.de/~buchholz/frwiki/skript98.2up.ps Skript von 1998] immerhin besser als nichts. Wer nur die erste Ausgabe (1999) des Buches bekommen hat, der findet die neuen Kapitel hier: [http://tfs.cs.tu-berlin.de/lehre/SS02/Thegi2/rep.alg.ps 8], [http://tfs.cs.tu-berlin.de/lehre/SS02/Thegi2/alg.spec.ps 11], [http://tfs.cs.tu-berlin.de/lehre/SS02/Thegi2/spec.impl.ps 12].
  
 
== Kommentare ==
 
== Kommentare ==
Zeile 72: Zeile 74:
  
 
[[Kategorie:Lehrveranstaltungen]]
 
[[Kategorie:Lehrveranstaltungen]]
 +
__NOTOC__

Aktuelle Version vom 6. September 2011, 18:26 Uhr


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

Theoretische Grundlagen der Informatik 2

Pflichtveranstaltung im Grundstudium Informatik.

Vorraussetzungen: keine

Inhalt

  • Abbildungen und Relationen (wie komme ich von einer Menge in die Andere)
  • Datenstrukturen (Mengen die mit bestimten Operationen verknüpft sind)
  • Signaturen und Algebren (Signatur: Was Gibt es für Operationen; Algebra: Wie sehen sie aus)
  • Homomorphismen (Abbildung zwischen verschiedenen Algebren zur gleichen Signatur)
  • Terme und Strukturelle Induktion (Was alles mit einer Datenstruktur angestellt werden kann, und wie man es beweist)
  • Termalgebren (Allgemeine Algebra zu einer Signatur)
  • Algebraische Spezifikationen (Was eine Algebra alles für Kriterien erfüllen sollte)


Wer in Info1 bei Opal aufgepasst hat, dem werden einige Dinge bekannt vorkommen.

Literatur

Für das gesammte Semester und auch für TheGI 3 ist das Buch "Mathematisch-strukturelle Grundlagen der Informatik" praktisch Pflicht, da sich die Lehrveranstaltungen an diesem Buch orientieren.

Autoren: Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz. Springer Verlag ISBN: 3-540-41923-3

Das Buch gibt es auch in großer, aber nie ausreichender Stückzahl in der Bibliothek. Wenn man an das Buch nicht ran kommt, ist das Skript von 1998 immerhin besser als nichts. Wer nur die erste Ausgabe (1999) des Buches bekommen hat, der findet die neuen Kapitel hier: 8, 11, 12.

Kommentare

Weblinks