Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Introduction to Theoretical Computer Science SS 2020

Horizontal Tabs

General information
Language: 
German
Time: 
14.15 - 15.00
Location: 
SR 13

Lernergebnis: Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.

Inhalt: Diskussion, Vertiefung und Einübung der Inhalte der Vorlesung; Übung im wissenschaftlichenmArgumentieren und im Präsentieren von Themen aus der theoretischen Informatik.

Methoden: Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

SL 703062

Gruppe 1 

Panasiuk O.

    

  • Do 05.03.2020 14.15 - 15.00 SR 13
  • Do 12.03.2020 14.15 - 15.00 SR 13
  • Do 19.03.2020 14.15 - 15.00 SR 13
  • Do 26.03.2020 14.15 - 15.00 SR 13
  • Do 02.04.2020 14.15 - 15.00 SR 13
  • Do 23.04.2020 14.15 - 15.00 SR 13
  • Do 30.04.2020 14.15 - 15.00 SR 13
  • Do 07.05.2020 14.15 - 15.00 SR 13
  • Do 14.05.2020 14.15 - 15.00 SR 13
  • Do 28.05.2020 14.15 - 15.00 SR 13
  • Do 04.06.2020 14.15 - 15.00 SR 13
  • Do 18.06.2020 14.15 - 15.00 SR 13
  • Do 25.06.2020 14.15 - 15.00 SR 13

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs