Vyčíslitelnost a složitost
prof. RNDr. Jan Strejček, Ph.D.
Vyčíslitelnost a složitost
prof. RNDr. Jan Strejček, Ph.D.
Vyčíslitelnost a složitost
Info
Course
Term
Autumn 2022
Informace o předmětu: sylabus, literatura, výuka, domácí úkoly, hodnocení
Open
Chapter contains:
3
PDF
1
Study text
Technické info k domácím úlohám
Open
Chapter contains:
1
Study Materials
1
Study text
3
Web

1. blok: úvod, while-programy, makropříkazy, Churchova teze
Open
Chapter contains:
2
PDF
4
Video
1
Study text
Teacher recommends to study from 14/9/2022 to 20/9/2022.
2. blok: standardní numerace, problém zastavení, věta o numeraci
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 21/9/2022 to 4/10/2022.
3. blok: věta o parametrizaci, programovací systémy*, rekurzivní a r.e. množiny
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 5/10/2022 to 11/10/2022.
Domácí úkol 1
Open
Chapter contains:
2
Homework Vault
4
PDF
3
Study Materials
1
Study text
Teacher recommends to study from 6/10/2022 to 18/10/2022.

4. blok: r.e. množiny a jejich standardní numerace
Open
Chapter contains:
2
PDF
2
Video
1
Study text
Teacher recommends to study from 12/10/2022 to 18/10/2022.
5. blok: uzávěrové vlastnosti rekurzivnı́ch a r.e. množin, věta o projekci, 10. Hilbertův problém*
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 19/10/2022 to 25/10/2022.
6. blok: Riceovy věty, redukce
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 26/10/2022 to 1/11/2022.
Domácí úkol 2
Open
Chapter contains:
2
Homework Vault
4
PDF
2
Study Materials
1
Study text
Teacher recommends to study from 28/10/2022 to 8/11/2022.
7. blok: opakování, Turingovy stroje a redukce, Postův korespondenční problém*
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 2/11/2022 to 8/11/2022.
8. blok: časová složitost algoritmu, časové složitostnıí třídy
Open
Chapter contains:
2
PDF
2
Video
1
Study text
Teacher recommends to study from 9/11/2022 to 15/11/2022.
9. blok: třída P, algoritmus C-Y-K, třída NP
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 16/11/2022 to 22/11/2022.
10. blok: polynomiální redukce a NP-úplné problémy
Open
Chapter contains:
2
PDF
5
Video
1
Study text
Teacher recommends to study from 23/11/2022 to 29/11/2022.
Domácí úkol 3
Open
Chapter contains:
2
Homework Vault
4
PDF
2
Study Materials
1
Study text
Teacher recommends to study from 29/11/2022 to 9/12/2022.
11. blok: prostorová složitost, vztahy složitostních tříd, TQBF
Open
Chapter contains:
2
PDF
3
Video
1
Study text
Teacher recommends to study from 30/11/2022 to 6/12/2022.
Zkoušky
Open
Chapter contains:
2
PDF
1
Study text


Previous
Next