Charts
Grundbegriffe der Informatik, Vorlesung, WS18/19Episode from the podcastGrundbegriffe der Informatik, Vorlesung, WS18/19
Next Episode
25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

Released Monday, 4th February 2019
Good episode? Give it some love!
25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

Monday, 4th February 2019
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.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