Vyčíslitelnost - NUIN007

• Anglický název: Computability
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2005
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: doc. RNDr. Vítězslav Švejdar, CSc.
• Kategorizace předmětu: Informatika > Teoretická informatika
• Je neslučitelnost pro: NLTM020

Anotace

čeština

Poslední úprava: ()

Základní kurs teorie vyčíslitelnosti pro učitelské studium.

angličtina

Poslední úprava: T_KTI (23.04.2001)

Partial recursive functions as a basic computational model, some other computational model (Turing machines or flowchart diagrams), their equivalence. The Normal Form Theorem, recursively enumerable sets and the Halting Problem, m-reducibility and m-completeness, productive sets, Rice's Theorem, some connections to logic.

Sylabus

čeština

Poslední úprava: G_I (17.05.2004)

Základní kurs teorie vyčíslitelnosti pro učitelské studium.

angličtina

Poslední úprava: G_I (17.05.2004)

Partial recursive functions as a basic computational model,

some other computational model (Turing machines or flowchart

diagrams), their equivalence. The Normal Form Theorem,

recursively enumerable sets and the Halting Problem,

m-reducibility and m-completeness, productive sets, Rice's

Theorem, some connections to logic.