DE
Modul
Basic Notions of Computer Science [M-INFO-101170]
Credits
6Recurrence
Jedes WintersemesterDuration
1 SemesterLanguage
GermanLevel
1Version
1Responsible
Organisation
- KIT-Fakultät für Informatik
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