TheGI 1 (Bachelor) - Versionsgeschichte

Lorenzo: Historischer Artikel

2026-01-24T17:04:59Z

Historischer Artikel

PaulG am 5. März 2013 um 18:58 Uhr

2013-03-05T18:58:20Z

Tkroenert: Neue unterlagen durch das upload.freitagsrunde.org - Script

2012-04-06T14:58:50Z

Neue unterlagen durch das upload.freitagsrunde.org - Script

Nighoo: Änderung 17306 von 70.135.118.126 (Diskussion) rückgängig gemacht.

2012-01-02T22:51:06Z

Änderung 17306 von 70.135.118.126 (Diskussion) rückgängig gemacht.

70.135.118.126: spam comment removed in database

2012-01-02T17:56:13Z

spam comment removed in database

PaulG am 20. Oktober 2011 um 19:41 Uhr

2011-10-20T19:41:25Z

Mutax: Klausurbox

2011-09-06T18:24:55Z

Klausurbox

Mutax: Klausurbox

2011-09-06T18:24:23Z

Klausurbox

85.179.157.77: /* Persönliche Kommentare */

2011-04-11T21:49:56Z

‎Persönliche Kommentare

85.179.156.104: /* Persönliche Kommentare */

2011-03-23T14:27:06Z

‎Persönliche Kommentare

← Nächstältere Version		Version vom 24. Januar 2026, 17:04 Uhr
Zeile 1:		Zeile 1:
		+	{{historisch}}
		+
	{{KlausurBox\|TheGI_1_Bachelor}}		{{KlausurBox\|TheGI_1_Bachelor}}
	{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}		{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}

← Nächstältere Version		Version vom 5. März 2013, 18:58 Uhr
Zeile 1:		Zeile 1:
		+	{{KlausurBox\|TheGI_1_Bachelor}}
	{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}		{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
−	~~{{Vorlage:KlausurBox\|titel=\|klausurliste=~~
−	~~<!-- Bitte hier als Liste einfügen. -->~~

−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielklausur.pdf 2006 Beispielklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielloesung.pdf 2006 Beispielklausur Lösung]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielalgebra.pdf 2006 Beispielklausur Algebren]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZK.pdf 2008 Zwischenklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EK.pdf 2008 Endklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZKN.pdf 2008 Zwischenklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EKN.pdf 2008 Endklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZK.pdf 2009 Zwischenklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK.pdf 2009 Endklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK_Algebren.pdf 2009 Endklausur Algebren]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZKN.pdf 2009 Zwischenklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EKN.pdf 2009 Endklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe10_TheGI1_ZK.pdf 2010 Zwischenklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe1011_ekn.pdf WiSe1011_ekn]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe1011_ek.pdf WiSe1011_ek]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe1011_zkn.pdf WiSe1011_zkn]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe1011_zk.pdf WiSe1011_zk]
−
−	}}
	'''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.		'''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.

@@ Zeile 16: / Zeile 16: @@
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EKN.pdf 2009 Endklausur Nachschreibetermin]
 * [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe10_TheGI1_ZK.pdf 2010 Zwischenklausur]
 }}

← Nächstältere Version		Version vom 2. Januar 2012, 22:51 Uhr
Zeile 1:		Zeile 1:
−	~~spamlinks administratively removed~~ in ~~database~~.	+	{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
		+	{{Vorlage:KlausurBox\|titel=\|klausurliste=
		+	<!-- Bitte hier als Liste einfügen. -->
		+
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielklausur.pdf 2006 Beispielklausur]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielloesung.pdf 2006 Beispielklausur Lösung]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielalgebra.pdf 2006 Beispielklausur Algebren]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZK.pdf 2008 Zwischenklausur]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EK.pdf 2008 Endklausur]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZKN.pdf 2008 Zwischenklausur Nachschreibetermin]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EKN.pdf 2008 Endklausur Nachschreibetermin]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZK.pdf 2009 Zwischenklausur]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK.pdf 2009 Endklausur]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK_Algebren.pdf 2009 Endklausur Algebren]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZKN.pdf 2009 Zwischenklausur Nachschreibetermin]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EKN.pdf 2009 Endklausur Nachschreibetermin]
		+	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe10_TheGI1_ZK.pdf 2010 Zwischenklausur]
		+
		+	}}
		+	'''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.
		+
		+	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 (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]] (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 ==
		+
		+	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]]
		+	__NOTOC__

← Nächstältere Version		Version vom 2. Januar 2012, 17:56 Uhr
Zeile 1:		Zeile 1:
−	~~{{EntsprechungD\|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}~~	+	spamlinks administratively removed in database.
−	~~{{Vorlage:KlausurBox\|titel=\|klausurliste=~~
−	~~<!-- Bitte hier als Liste einfügen. -->~~
−
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielklausur.pdf 2006 Beispielklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielloesung.pdf 2006 Beispielklausur Lösung]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielalgebra.pdf 2006 Beispielklausur Algebren]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZK.pdf 2008 Zwischenklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EK.pdf 2008 Endklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_ZKN.pdf 2008 Zwischenklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe08_TheGI1_EKN.pdf 2008 Endklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZK.pdf 2009 Zwischenklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK.pdf 2009 Endklausur]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EK_Algebren.pdf 2009 Endklausur Algebren]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_ZKN.pdf 2009 Zwischenklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe09_TheGI1_EKN.pdf 2009 Endklausur Nachschreibetermin]
−	* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/WiSe10_TheGI1_ZK.pdf 2010 Zwischenklausur]
−
−	}}
−	'''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.
−
−	~~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 (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]] (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 ==~~
−
−	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]]~~
−	~~__NOTOC__~~

@@ Zeile 1: / Zeile 1: @@
 {{Vorlage:KlausurBox|titel=|klausurliste=
 <!-- Bitte hier als Liste einfügen. -->
@@ Zeile 17: / Zeile 18: @@
 }}
 '''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.

@@ Zeile 17: / Zeile 17: @@
 }}
 '''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.
@@ Zeile 56: / Zeile 57: @@
-{{EntsprechungD|[[TheGI 2 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
 [[Kategorie: Lehrveranstaltungen]]
 __NOTOC__

← Nächstältere Version		Version vom 11. April 2011, 21:49 Uhr
Zeile 52:		Zeile 52:
	== Persönliche Kommentare ==		== 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. Anwesenheit in allen Tutorien ist mehr als sinvoll! [Georg]	+	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]