Formalwissenschaften

Informatik

Was Rechner können und was nicht: Logik, Automaten, formale Sprachen, Berechenbarkeit und Komplexität.

Kurse
1
Einheiten
32
Lernbausteine
268
Erledigt
0 %

Skillnetz

Jedes Thema ein Stern – er leuchtet heller, je sicherer du es beherrschst.

0 %Theoretische Informatik

  1. Grundlagen

    Die Sprache und die Werkzeuge des Fachs.

    Im AufbauP=?NP\mathrm P \overset{?}{=} \mathrm{NP}

    Theoretische Informatik

    Logik, Automaten, Sprachen, Berechenbarkeit und Komplexität · 32 Einheiten

    1. 01Aussagenlogik0/5
    2. 02Prädikatenlogik0/4
    3. 03Endliche Automaten und reguläre Ausdrücke0/3
    4. 04Formale Sprachen und Grammatiken0/4
    5. 05Berechenbarkeit und Turing-Maschinen0/4
    6. 06Komplexitätstheorie0/4
    7. 07Petri-Netze0/4
    8. 08Anwendungen der Logik und der theoretischen Informatik0/4
    0 % erledigtKurs öffnen