Chyby nalezené v [[Koordinace|textech na bakalářky]].
Pokud je nějaká chyba už opravena, tak ji prosím ze seznamu zde vymažte (a stejně tak pokud ji sami opravíte ;-)). Pokud sem zapíšete nějakou chybu a ona zmizí a v SVN se hned neobjeví, ješte chvíli počkejte ;-) ...
= Důležitější =
= Drobnosti =
=== mat-1 ===
nie je ten dokaz "cauchyovska postupnost ma konvergentu podpostupnost -> je konvergentna" nejaky divny? hlavne je sa tam spominaju a_{n_k}, a_k a k_n...
=== mat-4 ===
* str3: V o rozkladu polynomu: q1...qk ma byt q1...ql
* str7: Def clen rozdeleni: D=(D1...D2) -> D=(D1...Dn)
* str9: ta def Jakobianu je nejaka divna: i,j su 1...n a f je zobrazenie
=== mat-5 ===
* str4: Dif sloz zobr: prva suma ma ist od i=1 az m
=== mat-10 ===
* 10.2 Důkaz, že norma určená skalárním součinem je opravdu norma. Objevuje se tam 2<x,y>, ale to je pro R, v C by tam mělo být <x,y>+<y,x>. Přepsat na sled rovností a nerovností (místo ekvivalencí) by bylo možná přehlednější.
=== mat-15 ===
* Proč je Příklad duální úlohy zakomentovaný? Myslim, že by to pomohlo, i když mně teď víc pomohlo tohle: ''Interpretace duálních cen je jednoduchá například u úlohy výrobního programování, tj. stanovení výrobního programu, jsou-li dané ceny výrobků a omezená množství surovin tak, aby bylo dosaženo maximální rentability. Pak duální ceny jsou relativním oceněním surovin.'' -- Hypiz
=== inf-pg-1 ===
* Tři popisy aritmetiky: V jazyku L by měl být i bin. predikát (relace) nerovnosti.
(No ono by tam toho asi melo byt jeste mnohem vic, ne? Ale OK, bude tam.)
Opět jen slovíčkaření, omlouvám se předem. Mám pocit, že se v zápisu L=(0,S,+,*) píšou vždy jen speciální symboly pro danou teorii. Ten osmý axiom je v Robinsonově aritmetice jaksi "volitelný" (někdy se neuvádí???) - pokud nepotřebuju mít definované uspořádání (v jazyku nemám predikát nerovnosti), tak ho tam psát nemusím.
Taky jsem tam dal malou poznámku. Kdyztak to zkontrolujte ...
Bezva, díky. Jen je tam překlep.
=== inf-o-3 Algoritmy ===
* 3.6 Minimální kostra grafu (str. 26): uvedený algoritmus je Kruskalův čili hladový. ''Borůvkův'' algoritmus funguje ale jinak, alespoň dle Kapitol z diskrétní matematiky ("graf pokrýváme souborem bublinek, kterých je jak borůvek v lese"). Nicméně přiznávám, že v zápiscích z přednášky ADS (L. Kučera) mám také tyto dva smíchané dohromady. Mám pocit, že se Borůvka zmínil proto, že to vymyslel první a má takové hezké české jméno, ale přednášel se jen Kruskal, protože je jednodušší. Joj, to se to člověku rozepisuje, když má po státnicích.
* 3.6 Ford-Fulkerson (str. 28): <math>z \in V, s \notin V</math> místo V má být A
* Když už jsem u takových detailů, tak o stranu dál: Goldberg, inicializace: asi vhodnější zápis je: pro <math>v \neq z</math> <math>h(v)=0</math>.
* 3.10 Euler's totient se do češtiny překládá jako Eulerova funkce - aspoň jsem totient nikde neviděl. (Bohužel "Euler's function" je v angličtině zase něco jiného, ale zkoušející jsou asi spíš zvyklí na české názvosloví.)
=== inf-o-5 Architektura počítačů ===
* (5.4) Architektura WinNT a Linuxu: prohozeny obrázky
= Snad vyřešené =
Aby stránka zůstala přehledná, tak jsem vymazal to, co už je vyřešené delší dobu a nikdo proti tomu nevznesl námitky.
=== mat-1 ===
* Definice reálných čísel: Předpokládám, že axiomy jsou opsané z důvěryhodného zdroje, ale nějak mi tam schází požadavek <math>0 \ne 1</math>, který se občas uvádí v axiomech tělesa. Jde tedy o to, aby <math>R \ne \{0\}</math>.
(v mych zapiscich z analyzy i v tech na http://math.or.cz/ to neni ale zni to logicky, tak se teleso definuje vzdycky ... tak jsem to tam pridal, kdyby nekdo prisel na to ze to tam byt nemusi, necht to vyhodi ;))
=== mat-7 ===
* treba sa pozriet na wronskeho determinant (su 2 (nie az tak rozne) definice...) - zapisat tam obe verzie, or what?
(Muzes sem prosim dat odkaz na ty definice (PDF->strana apod.), pripadne je napsat? Ja jsem omezenej na tu co tam je ... Dik Tuetschek)
http://kam.mff.cuni.cz/~pultr/ma2.ps /pg. 24 [[User:Andree|andree]]
No ten prvni Wronskian co tam Pultr ma je podle me uplne stejny jako ten co mame my (az na "det" misto "| |" a toho ze pouzivame f misto y a nedopisujeme tam "(x)", coz jsou detaily ktery tam klidne dej, to je uplne jedno). Ten druhy se na ten prvni podle meho nazoru prevede tim prevedenim jedne rovnice n-teho radu na n rovnic 1. radu (a muzem ho tam zminit, pro uplnost, ale pak je tam stejne k nicemu) ... ale ted nevim jestli neplacam nesmysly, jestli to je jinak tak me nekdo uvedte na pravou miru ;-).
nejak trivialne to urcite previest pojde a urcite to je aj v podstate to iste :-) slo len o to, ktora z formulacii sa viac oplati, aby tam bola... a hlavne - teraz je to dobre, ale predtym tam bolo f^i miesto f_i, tak to trochu miatlo (co je index, a aky index, a ci to je mocnina alebo co :o)) [[User:Andree|andree]]
Ja nevim, myslim ze tahle, kdyz je i u Pultra i u Klazara. A ty indexy nahore tak mel Klazar, je fakt ze to neni uplne idealni, jenom to zduraznovalo ze jde o vektorove funkce. Takhle je to asi pruhlednejsi.
=== mat-8 ===
* 8.5 Definice algebraicky uzavřeného tělesa: Žemlička má ve skriptech "Řekneme, že je komutativní těleso T algebraicky uzavřené, pokud se každý nenulový polynom p ∈ T[x] rozkládá nad T na kořenové činitele." Prosím, zkontrolujte někdo, kdo tomu rozumíte, zda by se neměla definice v 8.5 upravit, případně zaměnit za uvedenou Žemličkovu. Přijde mi, že stávající definice vyžaduje ke každému tělesu T (o kterém chceme tvrdit, že je algebraicky uzavřené) nějaké jeho nadtěleso S. To se mi nějak nezdá. Jinak díky moc za již opravené chyby v algebře i jinde.
(Nojo, chci "nějaké" nadtěleso, tedy klidně i samotné T, takže to nic navíc nevyžaduje. A ta Žemličkova definice je v té první poznámce pod tím. Kdyby byl někdo joo proti tak mě něčím praštěte :-) -- Tuetschek)
Moc tomu nerozumím, takže bych nerad dloubal natož praštil. Jen si říkám, když si za T vezmu Q a jako "nějaké" nadtěleso taky Q, tak všechny algebraické prvky budou nutně taky z Q. K iracionálním (či imaginárním) číslům se vůbec nedostanu, to bych musel vzít za nadtěleso R (či C). Na to, že státnice jsou za pár dní a já nic neumím, řeším asi pěkný prkotiny.
No to jsme dva co nic neumime ;-). Jde o to, ze si beres "libovolne", takze pocitas se vsemi pripady, ktere se naskytnou. Jestlize vezmu Q, tak existuji jeho nadtelesa R a C, takze je musim brat do uvahy. No ale kdyz zadne vetsi nadteleso nemam, tak ho k tomu nepotrebuju (a nebo ho mam a dokazu ze jeho prvky nejsou koreny rovnic) a dostavam algebraickou uzavrenost. Neco jako potrvzeni techto mych chorych uvah muze byt treba definice z [http://www.karlin.mff.cuni.cz/~bashir/kap4B.ps Skript R.El Bashira]:
Definice. Mějme rozšíření těles <math>T\le U</math> . Rozšíření <math>T\le U</math> se nazývá '''algebraické''', pokud je každý prvek tělesa <math>U</math> algebraický nad <math>T</math>. Těleso <math>U</math> se nazývá '''algebraicky uzavřené''', pokud nemá žádné algebraické rozšíření <math>U \le V, U \neq V</math>.
OK, to zní rozumně, nechme to tak. Mně jen přišla ta Žemličkova def. průhlednější, ale je pravda, že je to v té poznámce. (Nemusel jsem hledat všechny nadtělesa, stačilo všechny rozklady všech polynomů - no asi, prašť jak uhoř :-).
=== inf-pg-1 ===
* Logika prvního řádu: někdy se za logický symbol považuje i predikát rovnosti.
(A co tam teda mam k tomu napsat -- je tam "muze, ale nemusi obsahovat = ...", tak k nemu dopsat "predikat rovnosti se nekdy povazuje za logicky symbol"? A neni to protimluv, ze predikat ma byt logickym symbolem?)
Ono je to takové slovíčkaření, uznávám, a snad se na to nikdo vyptávat nebude. Já to našel ve Štěpánkových skriptech a jde o to, že rovnost sice v jazyku být nemusí, ale když tam je, tak musí být definována jako rovnost (splňovat 3 axiomy, které kupodivu nejsou ref. sym. a tranz., jak jsem si zprvu myslel). K logickým symbolům se řadí asi proto, že má vždy stejný význam.
Přidána nenápadná poznámka.
Super.
=== inf-pg-3 (Databáze) ===
* 3.10 Soubor s přímým přístupem (hashování) str 32: "Očekávaná délka řetězce kolizí při počtu N záznamů v prostoru velikosti M je 1/(1 − M/N )." Nemělo by to být "1/(1 − N/M )", tedy 1/(1 - faktor_naplnění)?
Melo. Diky.
