Chyby ve skriptech

Schiroo · Příspěvek od **Schiroo** » 14. 6. 2008 20:53

Aktualizoval jsem hippiesovy errata (http://www.hippies.matfyz.info/files/ms-errata.pdf ke skriptům prof. Pultra (http://kam.mff.cuni.cz/~pultr/ms.pdf) a doplnil je vlastními poznatky. Chtěl bych vytvořit kompaktní errata - zúplnit je, aby obsahovaly veškeré chyby - špatné symboly, překlepy, nepřesnosti (vyjma chybějící interpunkce, čárek chybí příliš mnoho, možná i úmyslně) atd. Proto vás žádám, kdo najdete dosud neobjevenou chybu nebo objevíte chybu v chybách

, pochlubte se

Po skončení semestru společný výtvor předám prof. Pultrovi (samozřejmě jen pokud dostanu svolení původního autora, kterého tímto žádám o vyjádření

), který projevil zájem. Zasloužíme se o nehynoucí slávu u následujících generací

Lukas Mach · Příspěvek od **Lukas Mach** » 15. 6. 2008 01:30

014:001: "A podmnozina X" a ne "A podmnozina B"
014:017: "fi: Y -> Xi, i elem J" a ne "fi: Y -> Xj, i elem J"

Jeste co se tyce 073:026, tak omega_0 je proste ordinal isomorfni s mnozinou prirozenych cisel (protoze pokud by M a T byly konecne, tak neni jasne jakou presne velikost by mela ta generovana algebra mit).

Příspěvek od **hippies** » 15. 6. 2008 08:04

Timto se puvodni autor vyjadruje a mas me svoleni;)

PS: V me papirove verzi skript je jeste spousta objevu, ktere jsem uz nemel silu/cas doplnit do toho dokumentu
PPS: Mel jsem stejne ambice, ale kdyz jsem pak 4.srpna odchazel ze zkousky s 3--, tak mi to prislo nemistne:D

Edit: Jeste bych upozornil, ze na netu se vali ruzne verze a ze treba ta, se kterou jsem pracoval ja, obsahuje chyby, ktere jsem v jinych verzich nenasel.

Lukas Mach · Příspěvek od **Lukas Mach** » 29. 6. 2008 17:26

057:019: dava formule (Hey), ne (1.1)

062:004: Ma byt

Je-li a <= bc SUP c, je a INF b <= (bc SUP c) INF b = 0 SUP c INF b <= c.

Respektive mi rozhodne neni jasne, proc by tam mela platit rovnost.

Příspěvek od **hippies** » 30. 6. 2008 08:19

Ano a pak tam jeste "chybi" zavorka:

Důkaz. Je-li a ≤ b^c ∨ c, je a ∧ b ≤ (b^c ∨ c) ∧ b = 0 ∨ (c ∧ b) ≤ c; ...

Mám teď trochu času, tak ty skripta projdu a sepíšu co jsem tam ještě objevil a už nebyl čas napsat do errat (s tim rizikem teda, ze uz tomu nerozumim:) )

EDIT: .. tak hotovo http://hippies.matfyz.info/files/ms-errata.pdf .. jen co jsem koukal, tak mám jinou verzi, takže nepasuje číslování/řádkování

.. takže jsem nemohl vaše chyby přidat, protože prostě nevidim, kde jsou. Upozorňuju, že některé věci můžou být špatně, protože už tomu vůbec nerozumim

peterblack · Příspěvek od **peterblack** » 20. 6. 2010 22:17

errata od Adama Nohejla ( http://mff.lokiware.info/MatematickeStruktury ), protože je tam Putr nezahrnul tak jsem vyhazel duplicity s prvnim postem a pridal nejke nove chyby co jsem nasel ja... takhle to tu bude vsechno pohromade

23: 6.3.2: Důkaz:
- "Podle 3.6.2" má být "Podle 3.6.1"
- " $R_i$ " (2 výskyty) má být " $R_{it}$ "
- " $R$ " má být " $R_t$ "

24: 6.4: část "Okamžitě vidíme, že":
- " $(Y,S)$ " má být " $Y,\overline{R}$ "

24: 6.4.1: Důkaz:
- " $\overline{\eta} = \overline{f} q n$ " má být " $\overline{f}\eta = \overline{f} q \xi$ "

24: 7.1: před Pozorováním:
- (?) Možná by bylo lepší značit $X_0$ místo $X$ , $R_0$ místo $R$
(X už v tomto odstavci značí jiný obj., R v následujícím pozorování jinou rel.),
případně ještě X místo Y v souladu s dřívějším.

25: 7.1 (pokračování z předchozí str.):
- "xobrazení" má být "zobrazení"
- " $(X,R)$ " má být " $(X,R')$ "

25: 7.2: Pozorování:
- "xobrazení" má být "zobrazení" (opět)
- " $(X_i . R_i)$ " má být " $(X_i , R_i)$ " (tečka místo čárky)

31: 2.5: začátek:
- " $(X \le)$ " má být " $(X,\le)$ " (chybí čárka)

33: 3.5: 1. věta:
- "uspořádaná množiny" má být "uspořádané množiny"

36: 5.3: poslední věta:
- "i probereme" má být "si probereme"

40: 7.2: definice spojitého funkcionálu:
- "takové,že" má být "takové, že"

68: 1.3.1: Důkaz:
- několik z výskytů " $\gamma$ " má být " $\beta$ "

71: 2.5: Tvrzení (části 1. a 2.):
- " $g: A \to C$ " má být " $g: C \to B$ "
- " $g[X]\subseteq f[X]$ " má být " $g[X]\subseteq fh[X]$ "
- " $g: C \to B$ " má být " $g: A \to C$ "

76: 5.2: Pozorování:
- " $E \subseteq X$ " má být " $E \subseteq X \times X$ "

79: 6.2: Důkaz: 1.:
- dva z výskytů " $\phi_m(x)$ " mají být " $\phi_m(y)$ "

79: 6.3:
- "Dúkaz" má být "Důkaz"

80: 6.4: Důkaz:
- dva z výskytů " $\psi[m]$ " mají být " $\psi[M]$ "

94: Definice spojitosti v úvodu:
- chybí kvantifikace $y$

96: (ot3)
- má být
$(ot3)~ U_i \in \tau, i \in J \Rightarrow \bigcup_{i \in J} U_i \in \tau$

kdyžtak to zkontrolujte

mhb · Příspěvek od **mhb** » 6. 10. 2010 01:04

Během následujících pár dnů mám v plánu zapracovat vaši erratu do skript pana profesora Pultra. Poprosil jsem jej, jestli je mohu opravit za něj, a mohu.

Pokud někoho tlačí, že bych si mohl přivlastnit jeho/její práci, tak nebojte, nic takového nemám v plánu -- chci prostě dotáhnout plán erraty k dokonalosti. Ovšem příznávám, že autory dohledávat nebudu, abych prosil o svolení, snad mi to $GOD odpustí.

Germoe · Příspěvek od **Germoe** » 26. 6. 2011 12:41

Strana 110, definice 5.11, poslední řádek, myslím, že by tam mělo být: "takový, že W=X\{x}" (to nadtržení nad {x} netuším jak tu udělat)
Strana 133, definice 5.1, (U_I1), V má být také z U a nikoliv z V
Strana 133, definice 5.1, (U_I4), V°V⊆U

Fórum studentů MFF UK

Chyby ve skriptech

Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech

Re: Chyby ve skriptech