[ INBIPVOBEKO ] VL (*)Berechenbarkeit und Komplexität
|
|
|
| Es ist eine neuere Version 2025W dieser LV im Curriculum Master's programme Artificial Intelligence 2025W vorhanden. |
|
| (*) Unfortunately this information is not available in english. |
 |
| Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
| 3 ECTS |
B2 - Bachelor's programme 2. year |
Mathematics |
Franz Winkler |
2 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2012W |
| Objectives |
(*)Einführung in theoretische Aspekte von Algorithmen und Programmen (formale Sprachen, Komplexitätstheorie, Entscheidbarkeitstheorie).
|
| Subject |
(*)Algorithmen (endliche Automaten, reguläre Sprachen, Random Access Machine, Turing-Maschine, rekursiv aufzählbare Sprachen, rekursive Funktionen); Komplexität von Algorithmen (Komplexitätsmaße, Beispiele); Entscheidbarkeit (Akzeptierungs- und Halteproblem, Unentscheidbarkeitshierarchie); Komplexität von Problemen (vollständige Probleme, P/NP-Problem).
|
| Criteria for evaluation |
|
| Language |
German |
| Changing subject? |
No |
| Corresponding lecture |
(*)INBPCVOFOG2: VO Formale Grundlagen 2 (3 ECTS)
|
|
|
|
| On-site course |
| Maximum number of participants |
- |
| Assignment procedure |
Direct assignment |
|
