TIN064 Skripta Ladislava Strojila: Porovnání verzí

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
(Errata)
(chyba ve vetach o rekurzi, f musi byt ORF, viz skripta Petra Kucery ci en wiki)
Řádka 8: Řádka 8:
 
* str. 12, věta 24: Věta používa nekonzistentně dvě různá označení pro jednu funkci. Funkce ''f'' je to samé co funkce ''h''. Myslím, že na prednášce se používalo označení ''h''. (''uživatel "Ivokabel"'')
 
* str. 12, věta 24: Věta používa nekonzistentně dvě různá označení pro jednu funkci. Funkce ''f'' je to samé co funkce ''h''. Myslím, že na prednášce se používalo označení ''h''. (''uživatel "Ivokabel"'')
 
* str. 11, lemma 6: Hyperimunní množina je imunní - spor plyne z Věty 17 uvedené až pod Lemmatem.
 
* str. 11, lemma 6: Hyperimunní množina je imunní - spor plyne z Věty 17 uvedené až pod Lemmatem.
 +
* str. 11-12, vety o rekurzi: v21. fce f musi byt ORF, v22. fce f musi byt ORF
 
* str. 8, věta 14: Věta je důsledkem Věty 13, tedy ne následující – nekonečná úseková ČRF je ORF. (opravil Blaf)
 
* str. 8, věta 14: Věta je důsledkem Věty 13, tedy ne následující – nekonečná úseková ČRF je ORF. (opravil Blaf)
 
* str. 9, věta 16: Na posledním řádku důkazu má být x místo w. (opravil Blaf)
 
* str. 9, věta 16: Na posledním řádku důkazu má být x místo w. (opravil Blaf)
 
* str. 15, lemma 7, (57): V definici funkce <math>\beta(x,y,w)</math> má být <math>x \in K</math> místo <math>y \in K</math> . (opravil Blaf)
 
* str. 15, lemma 7, (57): V definici funkce <math>\beta(x,y,w)</math> má být <math>x \in K</math> místo <math>y \in K</math> . (opravil Blaf)

Verze z 1. 9. 2010, 11:52

Skripta Ladislava Strojila toho obsahují daleko víc, než bylo na přednáškách Vyčíslitelnosti I probráno (obsahují i věci z Vyčíslitelnosti II). Na druhou stranu začínají až Kleenovou větou o normální formě bez jakéhokoliv vysvětlování terminologie. Má-li však člověk základy pochopeny odjinud, je to ideální studijní materiál doporučený také přednášejícím.

Errata

  • str. 12, věta 24: Věta používa nekonzistentně dvě různá označení pro jednu funkci. Funkce f je to samé co funkce h. Myslím, že na prednášce se používalo označení h. (uživatel "Ivokabel")
  • str. 11, lemma 6: Hyperimunní množina je imunní - spor plyne z Věty 17 uvedené až pod Lemmatem.
  • str. 11-12, vety o rekurzi: v21. fce f musi byt ORF, v22. fce f musi byt ORF
  • str. 8, věta 14: Věta je důsledkem Věty 13, tedy ne následující – nekonečná úseková ČRF je ORF. (opravil Blaf)
  • str. 9, věta 16: Na posledním řádku důkazu má být x místo w. (opravil Blaf)
  • str. 15, lemma 7, (57): V definici funkce $ \beta(x,y,w) $ má být $ x \in K $ místo $ y \in K $ . (opravil Blaf)