24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019 by Grundbegriffe der Informatik, Vorlesung, WS18/19 | Podchaser

Episode from the podcastGrundbegriffe der Informatik, Vorlesung, WS18/19

24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019

Released Thursday, 31st January 2019

Good episode? Give it some love!

24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019

24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019

Thursday, 31st January 2019

Good episode? Give it some love!

Rate Episode

List

Podchaser Pro

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

Download Audio Filehttps://media.bibliothek.kit.edu/world/2019/DIVA-2019-106_mp4.mp4

Do you host or manage this podcast?
Claim and edit this page to your liking.

,

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