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

(Alte Klausuren)
K (Klausurbox)
 
(7 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
{{Vorlage:KlausurBox|titel=|klausurliste=
 +
<!-- Bitte hier als Liste einfügen. -->
 +
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_GedProt.pdf Klausur Gedächtnisprotokoll]
 +
 +
SoSe 2002
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss02_klausur.pdf Klausur]
 +
 +
SoSe 2001
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_klausur.ps.gz Klausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_nachklausur.ps.gz Nachklausur]
 +
 +
SoSe 2000
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_klausur.ps.gz Klausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_nachklausur.ps.gz Nachklausur]
 +
 +
SoSe 1999
 +
* [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_lsg.ps Klausur Lösung]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_lsg-korrektur.pdf Klausur Lösung (Errata)]
 +
 +
SoSe 1998
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss98_klausur.ps.gz Klausur]
 +
 +
SoSe 1997
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss97_klausur.pdf Klausur]
 +
 +
SoSe 1996
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_klausur.pdf Klausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_lsg.pdf Lösung]
 +
 +
SoSe 1995
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_klausur.pdf Klausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_lsg.pdf Lösung]
 +
 +
}}
 +
 +
 +
{{EntsprechungB|[[TheGI 1 (Bachelor)]]}}
 +
 
== Theoretische Grundlagen der Informatik 2 ==
 
== Theoretische Grundlagen der Informatik 2 ==
  
Zeile 20: 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]
 
 
 
== Kommentare ==
 
  
== Alte Klausuren ==
+
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]
  
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss05_klausur.pdf SoSe 2005 Klausur]
+
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].
  
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss05_klausur_GedProt.pdf SoSe 2005 Klausur Gedächtnisprotokoll]
+
== Kommentare ==
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss02_klausur.pdf SoSe 2002 Klausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_nachklausur.ps.gz SoSe 2001 Nachklausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss01_klausur.ps.gz SoSe 2001 Klausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_nachklausur.ps.gz SoSe 2000 Nachklausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss00_klausur.ps.gz SoSe 2000 Klausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_nachklausur.ps.gz SoSe 1999 Nachklausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss99_klausur.ps.gz SoSe 1999 Klausur] und [http://user.cs.tu-berlin.de/~buchholz/frwiki/loesung.SS99.ps Lösung], [http://user.cs.tu-berlin.de/~buchholz/frwiki/korrekturMuster.pdf Errata] (incl. Zusatzaufgabe mit struktureller Induktion)
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss98_klausur.ps.gz SoSe 1998 Klausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss97_klausur.pdf SoSe 1997 Klausur]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_klausur.pdf SoSe 1996 Klausur] und [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss96_lsg.pdf Lösung]
 
 
 
[http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_klausur.pdf SoSe 1995 Klausur] und [http://docs.freitagsrunde.org/Klausuren/TheGI_2/thegi-2_ss95_lsg.pdf Lösung]
 
  
 
== Weblinks ==
 
== Weblinks ==
Zeile 58: 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