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
Dfa definition 1,
Delta hut funktion fur dfa defini...,
Dfa akzeptieren eines wortes 3
25  cards
Berechenbarkeitsbegriff
Berechenbarkeit definition 1,
Church sche these 2,
Turing berechenbarkeit i definiton 3
9  cards
LOOP-, WHILE-, und GOTO-Berechenbarkeit
Loop wertebereich der variablen 1,
Loop variablen 2,
Loop konstanden 3
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 3
8  cards
Halteproblem
Kodierung von turingmaschinen 1,
Spezielles halteproblem definition 2,
Entscheidbarkeit des speziellen h...
3  cards
Aufzählbarkeit & (Semi-)Entscheidbarkeit
Rekursiv aufzahlbar definition 1,
Entscheidebarkeit theorem 2,
Aufzahlbare sprachen theorem 3
5  cards
Reduktion
Allgemeine halteproblem definition 1,
Reduktion definition 2,
Reduzierbarkeit lemma 1 nicht a 3
8  cards
Satz on Rice
Satz von rice definition 1,
Satz von rice kommar 2,
Frage ob die akzeptierte sprache ...
7  cards
Postsches Korrespondenzproblem
Postsches korrespondenzproblem de...,
Wofur wir pcp oft benutzt 2,
Ist pcp entscheidbar 3
13  cards
Einführung Komplexität
Nichtdeterministische turing masc...,
K kann von startkonfiguration err...,
Zertifikat definition 3
23  cards
NP-Vollständigkeit
Polynomzeit reduktion definition 1,
Transitivitat von polynomzeit red...,
Polynomzeitreduktion lemma 3
14  cards
NP-vollständige Probleme
Cnf sat problem 1,
Cnf sat theorem 2,
3 sat theorem 3
12  cards
CoNP
Co ntm definition 1,
Conp definition 2,
Conp alternative definition 3
10  cards
PSPACE
Pspace definition 1,
Logspace definition 2,
Pspace schwer 3
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