lukasbach
ProjectsMiscellaneousEducational

Grundbegriffe der Informatik - Tutoriumsfolien (WS 16/17)

Im Wintersemester 16/17 habe ich am KIT ein Tutorium für das Fach Grundbegriffe der Informatik gehalten. Die zugehörigen Tutoriumsfolien und Nachträge habe ich hier zusammengestellt.

Die Folien sind mit LaTeX erstellt, der Quellcode ist auf Github verfügbar.

Downloads

  • Foliensatz 1: Mengen, Alphabete, Relationen, Abbildungen
  • Foliensatz 2: Wörter, Formale Sprachen
  • Foliensatz 3: Vollständige Induktion, Operationen auf formalen Sprachen, Kodierung
  • Foliensatz 4: Aussagenlogik
  • Foliensatz 5: Übersetzungen, Homomorphismen, Huffman-Bäume, Speicher
  • Foliensatz 6: MIMA Prozessor und Programmierung
  • Foliensatz 7: Kontextfreie Grammatiken, Relationen
  • Foliensatz 8: Prädikatenlogik
  • Foliensatz 9: Algorithmen, Hoare-Kalkül
  • Foliensatz 10: Einführung in Graphentheorie
  • Foliensatz 11: Graphen im Rechner, Einführung in Komplexitätstheorie
  • Foliensatz 12: Komplexitätstheorie, O-Kalkül, Mastertheorem
  • Foliensatz 13: Automaten, endliche Akzeptoren, reguläre Ausdrücke, rechtslineare Grammatiken
  • Foliensatz 14: Turingmaschinen, Entscheidbarkeit
  • Zusammenstellung aller Folien in einem PDF-Paket
  • Nachtrag: Beweise von Mengengleichheit und Mengenungleichheit
  • Nachtrag: MIMA Befehlsliste

Information

GitHub Repo

Downloads

17 Downloads available

Jump to downloads

GitHub

Issues 0

Created at 11/10/2016

Updated at 10/19/2020

© 2020 Lukas Bach - Impress - Square Pattern by HeroPatterns CC BY 4.0