... im Wintersemester 2020

Du studierst bald in einem der folgenden Studiengänge?

  • Informatik
  • Softwaretechnik
  • Medieninformatik
  • Data Science
  • Maschinelle Sprachverarbeitung
  • Wirtschaftsinformatik
  • anderer informatik-affiner Studiengang

Dann bist Du bei uns genau richtig!


Hier geht es zur Anmeldung des Theo Vorkurs: Hier

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.

Ablauf

Der Vorkurs findet in der Woche vom 12. bis 16. Oktober statt. Genauere Informationen folgen rechtzeitig vor Beginn, eine gleichzeitige Teilnahme am Mathe-Vorkurs wird aber auf jeden Fall möglich sein.

Dabei bieten wir euch zwei Teilnahmemöglichkeiten an:

  1. Unter Einhaltung aller aktuellen Hygieneregeln vor Ort am Campus Vaihingen, sofern die geltenden Gesetze dies im Oktober zulassen.
    Dieses Semester wird weiterhin vieles online stattfinden – daher bieten wir euch  die Gelegenheit, euch trotzdem gegenseitig kennen zu lernen und schon mal Kontakte fürs Studium zu knüpfen. Dabei ist das Einhalten aller Hygieneregeln vor Ort Pflicht!
  2. Da nicht jede*r an Präsenzveranstaltungen teilnehmen kann oder will, bieten wir die gleichen Inhalte gleichzeitig auch Online an.

Für beides folgen genauere Informationen Mitte September, wie aber bereits im ersten Abschnitt angesprochen, werden beide Teilnahmemöglichkeiten kostenlos sein.

Themen   (Inhalt ändert sich noch leicht)

Montag, 12. Oktober 2020
Einführung in die Grundideen und in die Mengenlehre
  • Einführung
  • Grundkonzepte der Formalen Sprachen
  • Mengenschreibweise
  • Mengenoperationen
  • Einführung in die Logik
Dienstag, 13. Oktober 2020
Wie führt man Beweise?
  • Beweistechniken
  • Mengenbeweise
Mittwoch, 14. Oktober 2020
Weiterführung der Beweise und Einführung in die Grammatik
  • Induktion
  • Grammatiken in den Formalen Sprachen
Donnerstag, 15. Oktober 2020
Formale Sprachen und Automatentheorie
  • Formale Sprachen
  • Automatentheorie
Freitag, 16. Oktober 2020
Einführung in reguläre Sprachen
  • Chomsky-Hierarchie
  • Automaten

Bei Fragen:

Wenn ihr weitere Fragen habt, könnt ihr diese gerne an ak-theo@fius.informatik.uni-stuttgart.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.