Chyby ve skriptech
-
- 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
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í
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í
- Přílohy
-
- ms_errata.pdf
- Errata ke skiptům prof. Pultra
- (46.36 KiB) Staženo 628 x
May the source be with you!
- Lukas Mach
- Matfyz(ák|ačka) level III
- Příspěvky: 261
- Registrován: 28. 3. 2006 17:08
- Typ studia: Informatika Bc.
- Bydliště: Praha a Kladno
- Kontaktovat uživatele:
Re: Chyby ve skriptech
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).
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 16:25, celkem upraveno 1 x.
For every epsilon, there is delta.
Where is my delta?
Where is my delta?
- hippies
- Admin(ka) level I
- Příspěvky: 990
- Registrován: 29. 9. 2004 12:46
- Typ studia: Informatika Mgr.
- Login do SIS: procj4am
- Bydliště: Mladá Boleslav
- Kontaktovat uživatele:
Re: Chyby ve skriptech
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.
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ů..
- Lukas Mach
- Matfyz(ák|ačka) level III
- Příspěvky: 261
- Registrován: 28. 3. 2006 17:08
- Typ studia: Informatika Bc.
- Bydliště: Praha a Kladno
- Kontaktovat uživatele:
Re: Chyby ve skriptech
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.
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 09:20, celkem upraveno 1 x.
For every epsilon, there is delta.
Where is my delta?
Where is my delta?
- hippies
- Admin(ka) level I
- Příspěvky: 990
- Registrován: 29. 9. 2004 12:46
- Typ studia: Informatika Mgr.
- Login do SIS: procj4am
- Bydliště: Mladá Boleslav
- Kontaktovat uživatele:
Re: Chyby ve skriptech
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
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
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ů..
-
- Matfyz(ák|ačka) level III
- Příspěvky: 153
- Registrován: 10. 12. 2006 19:26
Re: Chyby ve skriptech
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"
- "" (2 výskyty) má být ""
- "" má být ""
24: 6.4: část "Okamžitě vidíme, že":
- "" má být ""
24: 6.4.1: Důkaz:
- "" má být ""
24: 7.1: před Pozorováním:
- (?) Možná by bylo lepší značit místo , místo
(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í"
- "" má být ""
25: 7.2: Pozorování:
- "xobrazení" má být "zobrazení" (opět)
- "" má být "" (tečka místo čárky)
31: 2.5: začátek:
- "" má být "" (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ů "" má být ""
71: 2.5: Tvrzení (části 1. a 2.):
- "" má být ""
- "" má být ""
- "" má být ""
76: 5.2: Pozorování:
- "" má být ""
79: 6.2: Důkaz: 1.:
- dva z výskytů "" mají být ""
79: 6.3:
- "Dúkaz" má být "Důkaz"
80: 6.4: Důkaz:
- dva z výskytů "" mají být ""
94: Definice spojitosti v úvodu:
- chybí kvantifikace
96: (ot3)
- má být
kdyžtak to zkontrolujte
23: 6.3.2: Důkaz:
- "Podle 3.6.2" má být "Podle 3.6.1"
- "" (2 výskyty) má být ""
- "" má být ""
24: 6.4: část "Okamžitě vidíme, že":
- "" má být ""
24: 6.4.1: Důkaz:
- "" má být ""
24: 7.1: před Pozorováním:
- (?) Možná by bylo lepší značit místo , místo
(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í"
- "" má být ""
25: 7.2: Pozorování:
- "xobrazení" má být "zobrazení" (opět)
- "" má být "" (tečka místo čárky)
31: 2.5: začátek:
- "" má být "" (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ů "" má být ""
71: 2.5: Tvrzení (části 1. a 2.):
- "" má být ""
- "" má být ""
- "" má být ""
76: 5.2: Pozorování:
- "" má být ""
79: 6.2: Důkaz: 1.:
- dva z výskytů "" mají být ""
79: 6.3:
- "Dúkaz" má být "Důkaz"
80: 6.4: Důkaz:
- dva z výskytů "" mají být ""
94: Definice spojitosti v úvodu:
- chybí kvantifikace
96: (ot3)
- má být
kdyžtak to zkontrolujte
- 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
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í.
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í.
-
- Matfyz(ák|ačka) level I
- Příspěvky: 34
- Registrován: 28. 5. 2008 15:40
- Typ studia: Informatika Ph.D.
Re: Chyby ve skriptech
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
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