Berechenbarkeit und Komplexität

This class was created by Brainscape user Quentin Vitt. Visit their profile to learn more about the creator.

Decks in this class (15)

Einführung
Dnf definition,
Delta strich funktion fur dnf def...,
Dnf akzeptieren eines wortes
25  cards
Berechenbarkeitsbegriff
Berechenbarkeit definition,
Church sche these,
Turing berechenbarkeit i definiton
9  cards
LOOP-, WHILE-, und GOTO-Berechenbarkeit
Loop wertebereich der variablen,
Loop variablen,
Loop konstanden
30  cards
Primitive und partielle Rekursion
Primitiv rekursive funktionen def...,
Primitiv rekursive funktion und u...,
Machtigkeit von primitiv rekursiv...
6  cards
Grenzen der LOOP-Berechenbarkeit
Sind alle totalen funktionen loop...,
Totale und loop berechenbare funk...,
Ackermannfunktion theorem
8  cards
Halteproblem
Kodierung von turingmaschinen,
Spezielle halteproblem definition,
Entscheidbarkeit des speziellen h...
3  cards
Aufzählbarkeit & (Semi-)Entscheidbarkeit
Rekursiv aufzahlbar definition,
Entscheidebarkeit theorem,
Aufzahlbare sprachen theorem
5  cards
Reduktion
Allgemeine halteproblem definition,
Reduktion definition,
Reduzierbarkeit lemma 1
8  cards
Satz on Rice
Satz von rice,
Satz von rice kommar,
Frage ob die akzeptierte sprache ...
7  cards
Postsches Korrespondenzproblem
Postsches korrespondenzproblem de...,
Wofur wir pcp oft benutzt,
Ist pcp entscheidbar
13  cards
Einführung Komplexität
Nichtdeterministische turing masc...,
K kann von startkonfiguration err...,
Zertifikat definition
23  cards
NP-Vollständigkeit
Polynomzeit reduktion definition,
Transitivitat von polynomzeit red...,
Polynomzeitreduktion lemma
14  cards
NP-vollständige Probleme
Cnf sat problem,
Cnf sat theorem,
3 sat theorem
12  cards
CoNP
Co ntm definition,
Conp definition,
Co
10  cards
PSPACE
Pspace definition,
Logspace definition,
Pspace schwer
7  cards

More about
Berechenbarkeit und Komplexität

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Quentin Vitt's Berechenbarkeit und Komplexität flashcards now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

Make Flashcards