https://vik.wiki/index.php?action=history&feed=atom&title=DaniVeloxKidolgozas 2026-04-30T16:58:00Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=DaniVeloxKidolgozas&diff=137114&oldid=prev 2012-10-21T19:54:46Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|DaniVeloxKidolgozas}} http://danielszhm.uw.hu/linkek/ujtetelsor.pdf Vigyük át wikire! * A tételsor ** <a href="/SzamElmTetelA12" class="mw-redirect" title="SzamElmTetelA12">12. tétel</a> (Ha…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|DaniVeloxKidolgozas}}<br /> <br /> http://danielszhm.uw.hu/linkek/ujtetelsor.pdf<br /> <br /> Vigyük át wikire!<br /> <br /> * A tételsor<br /> ** [[SzamElmTetelA12|12. tétel]] (Hamilton, Euler)<br /> ** [[SzamElmTetelA17|17. tétel]] (Maradékrendszer, Euler-Fermat)<br /> * B tételsor<br /> <br /> ==Észrevételek:==<br /> ===1. tétel===<br /> * A kontínuum számosságot a valós számok számosságával szokták definiálni ([http://www.math.u-szeged.hu/~hajnal/courses/halmaz99/continu.htm pl]). Ez biztos egyenlő az alef0 hatványhalmazával? -- [[SzaMa|SzaMa]] - 2005.09.10.<br /> ** Elméletileg igen. Mert a hatványhalmaz számossága nagyobb a kiinduló halmaz számosságánál, és a kontinuum-hipotézis szerint alef0 és C között nincs más számosság. -- [[SzentimreyHarrachDanielMatyas|Đani]] - 2005.09.11.<br /> ** P(alef0) = Continuum igaz, de nem a kontinuum-hipotézis miatt (pláne, mert az egy hipotézis, amit nem lehet bizonyítani, sem cáfolni). Baba vázolta a bizonyítás menetét: a természetes számokból képzett halmazokat a [0;1] valós intervallumnak feleltetjük meg, a következőképpen: A valós számokat kettedes tört alakban írjuk fel. Egy valós számnak a következő természetes számhalmaz felel meg: ha az első kettedes jegy 1, akkor az 1 tagja a halmaznak, ha a második jegy 1, akkor a 2 tagja a halmaznak stb. Ez a megfeleltetés visszafelé is egyértelmű. (Egy apró probléma van, amin már szenvedjenek a matematikusok: a 0,1 és a 0,011111(végtelen 1) alak ugyanazt a számot jelöli, így a megfeleltetésben van alef0 kivétel, de ezt el lehet egyengetni)<br /> -- [[SzaMa|SzaMa]] - 2005.09.15.<br /> ===2. tétel===<br /> * Ha minden elemet egy saklárral megszorzunk, az &#039;&#039;&#039;skalárral való szorzás&#039;&#039;&#039;, ami nem ugyanaz, mint a skalárszorzás. -- [[SzaMa|SzaMa]] - 2005.09.10.<br /> ===B 10 tétel===<br /> * A tétel végn megfogalmazott ládapakolás egy függvény definíciója. A ládapakolás nyelve a következő: vannak racionális méretű tárgyak, és k egész szám. Belepakolhatóak-e a tárgyak k db egységnyi kapacitású ládába. -- [[SzaMa|SzaMa]] - 2005.09.26.<br /> ===B13 tétel===<br /> * Véges automata és reguláris nyelvek megfeleltetése hiányzik: fony könyv 32. oldal, 4. bekezdéstől kezdve. -- [[SzaMa|SzaMa]] - 2005.09.26.<br /> ===B15===<br /> * Jólfésülésnél a helyes sorrend:<br /> 1 epszilon-szabályok,<br /> 2 lánc-szabályok, (szerintem ez az egyszeres szabályok kiküszöbölése akart lenni, ha tévedek, bocs --- [themey])<br /> 3 felesleges szimbólumok kiküszöbölése<br /> * [http://www.cs.bme.hu/~pappd/goodold/fonygyak05.pdf 5. fonygyak]/6, válasz (gyak alapján):<br /> ** 1. lépés lánc-szabályokat és felesleges szimbólumokat hoz be<br /> ** 2. lépés felesleges szimbólumokat hoz be -- [[FarkasTamas|blaq]] - 2005.10.05.<br /> ===B17===<br /> Szerintem a kidolgozás 2/3-át kitevő komplementeres bizonyítás nem kell, hiszen detCF-nél ez *-os. Vhogy így lehetne felépíteni a tételt:<br /> * pumpálás (nb)<br /> * def: det. kornyezetfuggetlen nyelv<br /> * (1) det és nemdet: metszet nem zárt<br /> * (2) nemdet zárt unióra<br /> * (3) det zárt kompl. képzésre (nb)<br /> * de Morgan szabályok alapján (134.old): <br /> ** (1)+(2) =&gt; nemdet nem zárt kompl. képzésre<br /> ** (1)+(3) =&gt; det nem zárt unióra<br /> * konkatenált (nb)<br /> * tranzitív lezárt (nb) -- [[FarkasTamas|blaq]] - 2005.10.06.<br /> <br /> <br /> *****Az infositeról letölthető: &quot;szamitaselmelet_szigorlat_kidolgozott_tetelek.pdf&quot;-ben ez a tétel jól van kidolgozva! <br /> --- [themey] - 2005.10.10.<br /> * {{InLineFileLink|Infoalap|DaniVeloxKidolgozas|szamitaselmelet_szigorlat_tetelkodolgozas_dani_velox.pdf|szamitaselmelet_szigorlat_tetelkodolgozas_dani_velox.pdf}}: Az eredetit felraktam ide is, mert csak külső link volt rá<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user