Abkürzungen für Vorlesungen / Abbreviations for lectures

Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (Abkürzungen)
Lectures, seminars and labs from the area Theoretical Foundations (Abbreviations)

Abkürzungen für Vorlesungen / Abbreviations for lectures

Beitragvon Martin » 13.10.13 13:05

[AAT] Applied Automata Theory
[AGT] Algorithmische Graphentheorie
[Compiler] Compilerbau
[EffAlg] Effiziente Algorithmen
[FunkProg] Funktionale Programmierung
[InfComp] Infinite Computations
[KompTheo] Komplexitätstheorie
[LogProg] Logikprogrammierung
[MC] Model Checking
[Sat]Satisfiability Checking
[TA] Tree Automata

Fehlende Abkürzungen bitte in diesem Thread melden. Vielen Dank!
Please report missing abbreviations in this thread. Thank you!
Martin
10100111001
 
Beiträge: 1932
Registriert: 09.09.05 17:47
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: BWL

Zurück zu Theoretische Informatik / Theoretical Foundations