Chyby ve skriptech

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
Schiroo
Matfyz(ák|ačka) level I
Příspěvky: 28
Registrován: 1. 2. 2006 13:54
Typ studia: Informatika Bc.
Bydliště: Praha

Chyby ve skriptech

Příspěvek od Schiroo »

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 :twisted: , 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í :wink: ), který projevil zájem. Zasloužíme se o nehynoucí slávu u následujících generací :)
Přílohy
ms_errata.pdf
Errata ke skiptům prof. Pultra
(46.36 KiB) Staženo 569 x
May the source be with you!
Uživatelský avatar
Lukas Mach
Matfyz(ák|ačka) level III
Příspěvky: 261
Registrován: 28. 3. 2006 16:08
Typ studia: Informatika Bc.
Bydliště: Praha a Kladno
Kontaktovat uživatele:

Re: Chyby ve skriptech

Příspěvek od Lukas Mach »

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).
Naposledy upravil(a) Lukas Mach dne 30. 6. 2008 15:25, celkem upraveno 1 x.
For every epsilon, there is delta.
Where is my delta?
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 11:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Re: Chyby ve skriptech

Příspěvek od hippies »

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.
Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
Uživatelský avatar
Lukas Mach
Matfyz(ák|ačka) level III
Příspěvky: 261
Registrován: 28. 3. 2006 16:08
Typ studia: Informatika Bc.
Bydliště: Praha a Kladno
Kontaktovat uživatele:

Re: Chyby ve skriptech

Příspěvek od Lukas Mach »

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.
Naposledy upravil(a) Lukas Mach dne 30. 6. 2008 08:20, celkem upraveno 1 x.
For every epsilon, there is delta.
Where is my delta?
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 11:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Re: Chyby ve skriptech

Příspěvek od hippies »

Ano a pak tam jeste "chybi" zavorka:

Důkaz. Je-li a ≤ bc ∨ c, je a ∧ b (bc ∨ 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 :lol:
Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
peterblack
Matfyz(ák|ačka) level III
Příspěvky: 153
Registrován: 10. 12. 2006 19:26

Re: Chyby ve skriptech

Příspěvek od peterblack »

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
Uživatelský avatar
mhb
Matfyz(ák|ačka) level II
Příspěvky: 50
Registrován: 3. 2. 2008 03:38
Typ studia: Informatika Ph.D.
Kontaktovat uživatele:

Re: Chyby ve skriptech

Příspěvek od mhb »

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
Matfyz(ák|ačka) level I
Příspěvky: 34
Registrován: 28. 5. 2008 14:40
Typ studia: Informatika Ph.D.

Re: Chyby ve skriptech

Příspěvek od Germoe »

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, (UI1), V má být také z U a nikoliv z V
Strana 133, definice 5.1, (UI4), V°V⊆U
Odpovědět

Zpět na „MAI064 Matematické struktury“