DE

Modul

Basic Notions of Computer Science [M-INFO-101170]

Credits
6
Recurrence
Jedes Wintersemester
Duration
1 Semester
Language
German
Level
1
Version
1

Responsible

Organisation

  • KIT-Fakultät für Informatik

Part of

Bricks

Identifier Name LP
T-INFO-101964 Basic Notions of Computer Science 6
T-INFO-101965 Basic Notions of Computer Science Pass 0

Competence Goal

  • Students know the most important techniques for definitions and are able to read and understand such definitions.
  • Students know the difference between syntax and semantics.
  • Students know the most important notions from discrete mathematics and computer science and are able to use them for the description of problems and in proofs.

Content

  • informal notion of algorithm, basics of correctness proofs
  • computational complexity measures, hard problems
  • big O notation, master theorem
  • alphabets, words, formal languages
  • finite acceptors, contextfree grammars
  • inductive/recursive definitions, proofs by induction, closure
  • relations and functions
  • graphs

Workload

180 h