Vorkurs: Theoretische Informatik
Du studierst bald in einem der folgenden Studiengänge?
- Informatik
- Softwaretechnik
- Medieninformatik
- Data Science
- Maschinelle Sprachverarbeitung
- Wirtschaftsinformatik oder anderer informatiknaher Studiengang
Dann bist Du bei uns genau richtig!
Die Theoretische Informatik („Theo“) ist ein Themengebiet der Informatik, welches die meisten von euch für mindestens 3 Semester begleiten wird und euch Grundlagen näher bringen soll, welche in vielen unterschiedlichen Fachrichtungen (z.B. Elektrotechnik, IT-Sicherheit, Künstliche Intelligenz, …) Verwendung finden.
Da Theoretische Informatik aber auch eines der anspruchsvolleren Fächer ist, soll der Theo-Vorkurs euch den Einstieg in euer Studium erleichtern.
Dazu bieten wir, Studierende des Fachbereichs Informatik, für alle Studienanfänger*innen diesen Vorkurs kostenlos an.
Aktuelles
WICHTIG
Die Informationen auf dieser Seite werden, wenn es Neuigkeiten gibt, angepasst. Bitte schaut regelmäßig vorbei.
Ablauf
Der Vorkurs findet in der Woche vom 09. bis 13. Oktober 2023 statt.
Beginn ist Montag um 14 Uhr für alle im Hörsaal V38.01 im Informatik-Gebäude bzw. vsl. zusätzlich Online (Informationen dazu werden wir demnächst hier veröffentlichen).
Ende des Vorkurses ist vsl. gegen 18:00 Uhr.
Dabei bieten wir euch zwei Teilnahmemöglichkeiten an:
- Vor Ort am Campus Vaihingen.
Der Vorkurs bietet euch auch die Gelegenheit, euch gegenseitig kennen zu lernen und schon mal Kontakte fürs Studium zu knüpfen. - Da nicht jede*r an Präsenzveranstaltungen teilnehmen kann oder will, bieten wir die gleichen Inhalte gleichzeitig vsl. auch als Online Liveveranstaltung an.
Beide Teilnahmemöglichkeiten sind kostenlos. Ihr könnt einfach vorbei kommen und braucht euch nicht anzumelden! Den Link für die Online-Teilnahme werden wir rechtzeitig hier kommunizieren.
Themen
Tag 1: Einführung in die Grundideen und in die Mengenlehre
- Einführung
- Grundkonzepte der Formalen Sprachen
- Mengenschreibweise
- Mengenoperationen
- Einführung in die Logik
Tag 2: Wie führt man Beweise?
- Beweistechniken
- Mengenbeweise
Tag 3: Weiterführung der Beweise und Einführung in die Grammatik
- Induktion
- Grammatiken in den Formalen Sprachen
Tag 4: Formale Sprachen und Automatentheorie
- Formale Sprachen
- Automatentheorie
Tag 5: DEAs, Reguläre Ausdrücke
- Deterministische Endliche Automaten
- Reguläre Ausdrücke
- Zusammenhang: DEA und Typ 3
- Wiederholungen
Ein paar der erwähnten Links
- Prüfungsordnung
- Uwe Schöning – Theoretische Informatik kurzgefasst in der Uni Bibliothek
- FMI Webseite
- Altklausuren
Bei Fragen
Wenn ihr weitere Fragen habt, könnt ihr diese gerne an ak-theo@fius.de senden. Wir werden diese dann schnellstmöglich beantworten.
Des Weiteren könnt ihr auch gerne einfach mal bei uns im Fachgruppenraum (Raum 0.001) vorbeischauen. Dieser ist eigentlich fast immer, auch in den Semesterferien, besetzt. 🙂