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 1 (Bachelor): Unterschied zwischen den Versionen

 
(36 dazwischenliegende Versionen von 19 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+
{{KlausurBox|TheGI_1_Bachelor}}
<h2>Klausuren</h2>
+
{{EntsprechungD|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
WiSe 2006/2007
+
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielklausur.pdf Beispiel-Klausur]
+
'''Theoretische Grundlagen der Informatik 1: Grundlagen und algebraische Strukturen''' ist eine Pflichtveranstaltung im ersten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten.
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielloesung.pdf Beispiel-Lösung]
 
__NOTOC__
 
</div>
 
  
'''Theoretische Grundlagen der Informatik 1: Grundlagen und algorithmische Strukturen''' ist eine Pflichtveranstaltung im ersten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]], 2 SWS [[Übung]] und 2 SWS [[IV|Integrierter Veranstaltung]] und entspricht 8 [[ECTS]]-Leistungspunkten.
+
Seit Wintersemester 08/09 wird die zuvor in TheGI1 eingebettete Veranstaltung "[[Informatisches Propädeutikum]]" als unabhängiges Modul angeboten.
  
 
== Inhalt ==
 
== Inhalt ==
  
 +
* Beweismathematik
 +
** Beweistechniken, Beweisnotation
 +
** Mengen, Relationen , Funktionen
 +
** Komposition , Abschlussoperatoren
 +
** Ordnungen, Äquivalenzrelationen
 +
* Algebraische Strukturen
 +
** Monoide, Gruppen, Ringe, [Verbände], ...
 +
** Datenstrukturen, Signaturen, Sigma- Algebren.
 +
** Kongruenzen, Gleichungen, Quotienten
 +
** Grundterme, Variablen, Belegungen
 +
** Homomorphismen
 +
** Strukturelle Induktion
 +
* Formale Sprachen
 +
** Grammatiken und Ableitungen
 +
** Chomsky-Hierarchie
 +
** Reguläre Ausdrücke, Kleene-Algebren
  
 
== Tipps und nützliche Infos ==
 
== Tipps und nützliche Infos ==
 +
 
* TheGI 1 deckt nicht den gesamten Stoff des früheren [[TheGI 2 (StuPO90)]], wird dafür aber um einen Teil über formale Sprachen ergänzt.
 
* TheGI 1 deckt nicht den gesamten Stoff des früheren [[TheGI 2 (StuPO90)]], wird dafür aber um einen Teil über formale Sprachen ergänzt.
* http://tfs.cs.tu-berlin.de/lehre/2006WS/thegi1/
 
  
 
== Literatur ==
 
== Literatur ==
  
Für das gesammte Semester und auch für [[TheGI 3 (Bachelor)|TheGI 3]] und [[TheGI 4 (Bachelor)|TheGI 4]] ist das Buch "[http://www.amazon.de/exec/obidos/ASIN/3540419233/thetruth0e Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik]" (Springer Verlag, ISBN [http://de.wikipedia.org/w/index.php?title=Spezial:Booksources&isbn=3540419233 3-540-41923-3]) praktisch Pflicht.
+
Für das gesamte Semester und auch für [[TheGI 3 (Bachelor)|TheGI 3]] und [[TheGI 4 (Bachelor)|TheGI 4]] ist das Buch "[http://www.amazon.de/exec/obidos/ASIN/3540419233/thetruth0e Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik]" (Springer Verlag, ISBN [http://de.wikipedia.org/w/index.php?title=Spezial:Booksources&isbn=3540419233 3-540-41923-3]) praktisch Pflicht.
  
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 Auflage (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].
+
Das Buch gibt es auch in großer, aber nie ausreichender Stückzahl in der [[Bibliothek]] (Hinweis: Die Bibliothek beschafft auch neue Bücher, wenn der vorhandene Bestand nicht ausreicht. Dafür ist aber manchmal eine freundliche E-Mail nötig). 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 Auflage (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].
  
 
== Persönliche Kommentare ==
 
== Persönliche Kommentare ==
  
{{EntsprechungD|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
+
Seit Prof. Nestmann die Vorlesung betreut ist das Buch von Mahr nicht mehr Plicht, aber immernoch eine gute Hilfe! Man sollte sich darauf einstellen das TheGI das schwierigste Fach im ersten Semester wird, obwohl Prof. Nestmann und sein Team sich sehr viel Mühe geben den Einstieg zu erleichtern. Anwesenheit in allen Tutorien ist mehr als sinvoll! [Georg]
 +
 
 +
 
 +
 
  
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]
 +
__NOTOC__

Aktuelle Version vom 5. März 2013, 18:58 Uhr

Entsprechung in der (alten) StuPO 90: TheGI 2 (StuPO90) (Ja, richtig: Hier gab es eine Drehung).
(Dort findet ihr Klausuren und mehr)

Theoretische Grundlagen der Informatik 1: Grundlagen und algebraische Strukturen ist eine Pflichtveranstaltung im ersten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.

Seit Wintersemester 08/09 wird die zuvor in TheGI1 eingebettete Veranstaltung "Informatisches Propädeutikum" als unabhängiges Modul angeboten.

Inhalt

  • Beweismathematik
    • Beweistechniken, Beweisnotation
    • Mengen, Relationen , Funktionen
    • Komposition , Abschlussoperatoren
    • Ordnungen, Äquivalenzrelationen
  • Algebraische Strukturen
    • Monoide, Gruppen, Ringe, [Verbände], ...
    • Datenstrukturen, Signaturen, Sigma- Algebren.
    • Kongruenzen, Gleichungen, Quotienten
    • Grundterme, Variablen, Belegungen
    • Homomorphismen
    • Strukturelle Induktion
  • Formale Sprachen
    • Grammatiken und Ableitungen
    • Chomsky-Hierarchie
    • Reguläre Ausdrücke, Kleene-Algebren

Tipps und nützliche Infos

  • TheGI 1 deckt nicht den gesamten Stoff des früheren TheGI 2 (StuPO90), wird dafür aber um einen Teil über formale Sprachen ergänzt.

Literatur

Für das gesamte Semester und auch für TheGI 3 und TheGI 4 ist das Buch "Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik" (Springer Verlag, ISBN 3-540-41923-3) praktisch Pflicht.

Das Buch gibt es auch in großer, aber nie ausreichender Stückzahl in der Bibliothek (Hinweis: Die Bibliothek beschafft auch neue Bücher, wenn der vorhandene Bestand nicht ausreicht. Dafür ist aber manchmal eine freundliche E-Mail nötig). Wenn man an das Buch nicht ran kommt, ist das Skript von 1998 immerhin besser als nichts. Wer nur die erste Auflage (1999) des Buches bekommen hat, der findet die neuen Kapitel hier: 8, 11, 12.

Persönliche Kommentare

Seit Prof. Nestmann die Vorlesung betreut ist das Buch von Mahr nicht mehr Plicht, aber immernoch eine gute Hilfe! Man sollte sich darauf einstellen das TheGI das schwierigste Fach im ersten Semester wird, obwohl Prof. Nestmann und sein Team sich sehr viel Mühe geben den Einstieg zu erleichtern. Anwesenheit in allen Tutorien ist mehr als sinvoll! [Georg]