Computability & Complexity - Lecture 7

Topics:

• Gödel numbering of GOTO programs
• parametrization (Kleene's smn theorem)

Discrete Mathematics II - Lecture 8

Themen:

• P und NP
• NP-Vollständigkeit
• Beispiele

Computability & Complexity - Lecture 6

Topics:

• Small Ackermann functions
• Loop programs and runtime
• Loop hierarchy
• Ackermann's function and growth

Discrete Mathematics II - Lecture 7

Heutige Themen:

• Satz von Menger
• Satz von König-Egervary
• Satz von Hall.

Computability and Complexity - Lecture 5

Topics:

• Goto programs
• Goto computability
• Goto-2 programs
• Church's thesis.

Discrete Mathematics II - Lecture 6

Themen:

• Algorithmus von Ford-Fulkerson
• Ganzzahligkeitssatz
• Beispiele

Computability & Complexity - Lecture 4

Topics:

• number theoretic functions
• loop programs and loop computable functions
• partial recursive functions
• (unbounded) minimalization
• partial recursive functions are URM computable

Discrete Mathematics II - Lecture 5

Themen:

• Algorithmus von Kruskal 
• Sehnen und Fundamentalkreise
• Flussnetze
• Flüsse und Schnitte