Charts
Grundbegriffe der Informatik, Vorlesung, WS16/17Episode from the podcastGrundbegriffe der Informatik, Vorlesung, WS16/17
Next Episode
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Released Thursday, 16th February 2017
Good episode? Give it some love!
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25

Thursday, 16th February 2017
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript
Rate
List
Get this podcast via API

From The Podcast

Inhalt der Vorlesung:- Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit, Berechnungskomplexität, 'schwere' Probleme, O-Notation, Mastertheorem- Alphabete, Wörter, formale Sprachen, endliche Akzeptoren, kontextfreie Grammatiken- induktive/rekursive Definitionen, vollständige und strukturelle Induktion, Hüllenbildung- Relationen und Funktionen- Graphen- Syntax und Semantik für AussagenlogikWeiterführende Literatur- Goos: Vorlesungen über Informatik, Band 1, Springer, 2005- Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005Ziel:Der/die Studierende soll- grundlegende Definitionsmethoden erlernen und in die Lage versetzt werden, entsprechende Definitionen zu lesen und zu verstehen.- den Unterschied zwischen Syntax und Semantik kennen.- die grundlegenden Begriffe aus diskreter Mathematik und Informatik kennen und die Fähigkeit haben, sie im Zusammenhang mit der Beschreibung von Problemen und Beweisen anzuwenden.Dozent: Dr. Sebastian Stüker |  Karlsruher Institut für Technologie (KIT), Institut für Anthropomatik und Robotik | Vorlesungsaufzeichnung: http://webcast.kit.edu

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More