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
Předmět
Období
podzim 2020
Informace o předmětu: sylabus, literatura, výuka, domácí úkoly, hodnocení
Přejít
Kapitola obsahuje:
3
PDF
1
Studijní text
Odkazy na cvičení
Přejít
Kapitola obsahuje:
1
Studijní text
4
Web
Technické info k domácím úlohám
Přejít
Kapitola obsahuje:
1
Studijní materiály
1
Studijní text
3
Web
Učitel doporučuje studovat od 30. 10. 2020 do 31. 12. 2020.

1. blok: úvod, while-programy, makropříkazy, Churchova teze
Přejít
Kapitola obsahuje:
3
PDF
6
Video
1
Studijní text
4
Web
Učitel doporučuje studovat od 5. 10. 2020 do 18. 10. 2020.
2. blok: standardní numerace, problém zastavení, věta o numeraci
Přejít
Kapitola obsahuje:
2
PDF
4
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 12. 10. 2020 do 25. 10. 2020.
3. blok: věta o parametrizaci, programovací systémy*, rekurzivní a r.e. množiny
Přejít
Kapitola obsahuje:
2
PDF
4
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 19. 10. 2020 do 1. 11. 2020.
Domácí úkol 1
Přejít
Kapitola obsahuje:
2
Odevzdávárna
4
PDF
3
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 30. 10. 2020 do 10. 11. 2020.

4. blok: standardní numerace r.e. množin
Přejít
Kapitola obsahuje:
2
PDF
2
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 26. 10. 2020 do 8. 11. 2020.
5. blok: uzávěrové vlastnosti rekurzivnı́ch a r.e. množin, věta o projekci, 10. Hilbertův problém*
Přejít
Kapitola obsahuje:
2
PDF
4
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 2. 11. 2020 do 15. 11. 2020.
6. blok: Riceovy věty
Přejít
Kapitola obsahuje:
2
PDF
3
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 9. 11. 2020 do 22. 11. 2020.
7. blok: opakování, redukce, Turingovy stroje a redukce, Postův korespondenční problém*
Přejít
Kapitola obsahuje:
3
PDF
6
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 16. 11. 2020 do 29. 11. 2020.
Domácí úkol 2
Přejít
Kapitola obsahuje:
3
Odevzdávárna
7
PDF
4
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 22. 11. 2020 do 3. 12. 2020.
8. blok: časová složitost algoritmu, časové složitostnıí třídy
Přejít
Kapitola obsahuje:
2
PDF
3
Video
1
Studijní text
2
Web
Učitel doporučuje studovat od 23. 11. 2020 do 6. 12. 2020.
9. blok: třída P, algoritmus C-Y-K, třída NP
Přejít
Kapitola obsahuje:
2
PDF
4
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 30. 11. 2020 do 13. 12. 2020.
10. blok: polynomiální redukce, SAT, 3SAT, CLIQUE
Přejít
Kapitola obsahuje:
2
PDF
5
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 7. 12. 2020 do 20. 12. 2020.
11. blok: prostorová složitost, vztahy složitostních tříd, TQBF
Přejít
Kapitola obsahuje:
2
PDF
5
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 14. 12. 2020 do 10. 1. 2021.
Domácí úkol 3
Přejít
Kapitola obsahuje:
2
Odevzdávárna
7
PDF
4
Studijní materiály
1
Studijní text
Učitel doporučuje studovat od 21. 12. 2020 do 7. 1. 2021.
Online konzultace
Přejít
Kapitola obsahuje:
2
Video
1
Studijní text
1
Web
Učitel doporučuje studovat od 4. 1. 2021 do 17. 1. 2021.
Zkoušky
Přejít
Kapitola obsahuje:
10
Odevzdávárna
6
PDF
1
Studijní text

Předchozí
Následující