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

 
(23 dazwischenliegende Versionen von 14 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<br>
+
 
TheGI
+
'''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_beispielklausur.pdf Beispiel-Klausur]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielloesung.pdf Beispiel-Lösung]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Bachelor/ws06_beispielalgebra.pdf Beispiel-Algebra]
 
Redundantikum
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Propaedeutikum/ws06_vorbereitende_aufgabenstellung.pdf Recherche Themen]
 
* [http://docs.freitagsrunde.org/Klausuren/TheGI_1_Propaedeutikum/siebzig_fragen.pdf Recherche Hilfen]
 
__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.
Die [[IV|Integrierte Veranstaltung]] bestand im Wintersemester 06/07 aus der Propädeutikums Vorlesung, welches von Prof. Mahr gehalten wurde.
 
  
 
== Inhalt ==
 
== Inhalt ==
Den kompletten Inhalt der Propädeutikums-Vorlesung findet man auf der unten aufgeführten Webseite. Hier eine kleine Übersicht, was man sich unter dieser Veranstaltung vorzustellen hat.<br>
 
Im einen Teil der Veranstaltung geht es um Dinge wie "Schreiben, Schrift und Sprache", oder "Beobachtung und Erkenntnis". Zusammenfassend kann man sagen, es geht um das Aufschreiben, Austauschen und Bearbeiten von Gedanken. Es wird durchaus interessant und erfolgreich versucht, den Blick etwas mehr zu weiten von aktuellen und konkreten Problemen der Informatik, um einen Überblick über "das Ganze" zu geben.<br>
 
Durchaus wichtiger für die Klausur ist der letzte (sehr viel kleinere) Teil der Vorlesungen. Es sind vor allem die Vorlesungen "Wie recherchiert man?" und "Wie hält man einen Vortrag?" von Interesse. Hier gehts nämlich um genau das, was für die Klausur wichtig ist!
 
  
Da es für Leute wie mich (erster Bachelor Jahrgang) relativ undurchsichtig war, was denn nun in der Klausur verlangt wird, will ich hier versuchen, ein wenig über den Ablauf und das zusammenzufassen, was für die Klausur wichtig war.
+
* Beweismathematik
In der Klausur im WS06/07 wurde ca. 6 Wochen vorher ein Recherche-Auftrag erteilt. Es sollte über folgende Themen recherchiert werden:
+
** Beweistechniken, Beweisnotation
* Alan Turing
+
** Mengen, Relationen , Funktionen
* Automatentheorie
+
** Komposition , Abschlussoperatoren
* Das P=NP Problem
+
** Ordnungen, Äquivalenzrelationen
* Induktionsproblem
+
* Algebraische Strukturen
* Die Programmiersprache OPAL
+
** Monoide, Gruppen, Ringe, [Verbände], ...
* Das Betriebssystem LINUX
+
** Datenstrukturen, Signaturen, Sigma- Algebren.
* Das Studienfach Informatik
+
** Kongruenzen, Gleichungen, Quotienten
Es sollten ''eigene'' Aufzeichnungen angefertigt werden, welche auch zur Klausur mitgenommen werden konnten. Der Umfang war nicht direkt vorgegeben, allerdings sollten 3 Seiten pro Thema ausreichen um alles was erfragt werden konnte auch beantworten zu können.
+
** Grundterme, Variablen, Belegungen
In der Klausur wurden dann 4 dieser Themen abgefragt (in der Klausur vom WS 06/07 waren dies Alan Turing, P=NP Problem, Induktionsproblem, das Studienfach Informatik).<br>
+
** Homomorphismen
Zum einen sollte eine kleine (15-20 Zeilen) Zusammenfassung in eigenen Worten gegeben werden. Dann ein "persönliches Interesse" hervorgehoben werden (5-10 Zeilen) und zuletzt noch 10 Fragen beantwortet werden. Dies selbsverständlich zu jedem Thema.<br>
+
** Strukturelle Induktion
Vor dem Austeilen der Klausur wurde noch darauf hingewiesen, das die Fragen nicht so ausschlaggebend sind, sondern die eigene Zusammenfassung durchaus genügend Punkte gebe.
+
* Formale Sprachen
<br><br>
+
** Grammatiken und Ableitungen
Nach meiner '''Meinung''' liefen hier im Vorfeld leider einige Dinge schief. Zum einen war das Konzept der Klausur wohl nicht von Beginn an festgelegt. So hieß es hier zuerst, es werde ein Multiple Choice Test, dann wurden es einfache Fragen und beim Austeilen der Klausur wurde dann eröffnet, das auch eine eigene Zusammenfassung zu leisten ist. Ebenso war die Quellenangabe von höchster Wichtigkeit! So wurde durchaus (wenn auch nicht direkt gesagt) erwartet, das man verschiedene Bücher, Webseiten etc. zu jedem Thema mit aufführt! Viele der konkreten Fragen waren nicht durch eine kleine Recherche zu beantworten, sondern hätten durchaus tiefergehender Nachforschungen bedurft. Last but not least war ein Thema dann Induktion (mathematische Anwendung) und nicht das Induktionsproblem (eine phiosophische Frage).
+
** Chomsky-Hierarchie
<br><br>
+
** Reguläre Ausdrücke, Kleene-Algebren
'''Zusammenfassend''' lässt sich sagen, man sollte zu jedem Thema folgende Dinge vorbereitet haben:
 
* Eine kleine Zusammenfassung in eigenen Worten, mit möglichst vielen Fakten (Form relativ unerheblich).
 
* Etwas Besonderes zu jedem Thema herausarbeiten (z.B., dass Verschlüsselung wie "Public Key" durch Lösen des P=NP Problems möglicherweise unbrauchbar wird).
 
* Viele, viele Quellen zusammentragem!
 
* Einige Fakten kurz und knackig griffbereit haben (für konkrete Fragen wie "Kann  das P=NP Problem durch technische Fortschritte gelöst werden?"
 
  
 
== 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.
* TheGI1 Webseite: http://tfs.cs.tu-berlin.de/lehre/2006WS/thegi1/
 
* Propädeutikums Webseite: http://flp.cs.tu-berlin.de/lv/wise-0607-thegi1_propaedeutikum.html
 
  
 
== Literatur ==
 
== Literatur ==
Zeile 55: Zeile 37:
 
== 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]