Fórum studentů MFF UK

Tak se rozloučím se zdejším fórem svými otázkami u státnic: 1) Složitost a vyčíslitelnost : Algoritmická rozhodnutelnost (zkoušející mně neznámý). Popsal jsem halting problem, neformálně dokázal jeho nerozhodnutelnost (použitím intuitivních pojmů jako "program" a jeho "kód"), nap...

Taky se přidám. Obor Programování, bakalářka stylem "vedoucí navrhuje za jedna, oponent taktéž, nám se to taky líbí, tak tu máte a běžte do S6". Zkoušející - na MA Jiří Fiala a Petr Kučera, na INF Michal Žemlička a Irena Mlýnková. Otázky MA: - Kolmost a ortogonální doplněk (od Fialy) - Moc...

Sice s křížkem po funuse, ale našel jsem k tomu tohle: http://webhome.csc.uvic.ca/~mcheng/460/notes/gensem.pdf. Pozor, první řešení prý není korektní (podle té tabulky na konci).

Skutečně mi to přišlo těžší než ty dva testy, co jsou tady a na wiki. Proto, dokud si to jakž takž pamatuju, zkusím to nějak sepsat celé, aby tu byl další kompletní test (vypůjčím si, co napsal kolega, snad se nebude moc zlobit). Snad je to správně, když tak připomínkujte. Některé varianty odpovědí ...

Musím říct, že toto byla pěkná haluz. Na termín jsem nebyl přihlášen, ale všiml jsem si, že je volných pár míst, a tak jsem se tam na cestě z jiné zkoušky (Základy složitosti a vyčíslitelnosti) zkusil jen tak stavit, bez nejmenší přípravy předem (samozřejmě jsem se na začátku dohodl se zadávajícím)....

Doplňuji, možná trochu podrobněji (třeba se to někomu bude hodit): 1) Množina S není rekurzivní. Zdůvodnění: buď C třída takových ČRF, které tvoří charakteristickou funkci nějaké rekurzivní množiny (čili jde o ORF s oborem hodnot {0, 1}). Potom zřejmě C neobsahuje všechny ČRF ani není prázdná, podle...

Na začátku ledna jsem si před zápočtovkou narychlo napsal takový emulátor primitivně rekurzivních funkcí a v něm si zkoušel udělat různé funkce. Je tam i DIV, MOD, LOG a PRIME. Není to ale vůbec dokumentované...

Slyšel jsem ze dvou různých zdrojů, že to bylo prý jednoduché - 4 příklady naprosto srovnatelné s těmi, co se dělaly na cvičeních:

1) Konstrukce TS rozpoznávající nějaký jazyk
2) Konstrukce PRF z axiomů a odvozovacích pravidel
3) Úloha na s-m-n větu
4) Převod jedné úlohy na druhou

Ty formule z výrokové logiky se dají dokázat i mnohem snadněji s využitím dalších vět z přednášky, ta ze zadání je tak podrobně vyřešena například zde (hned druhý příklad): http://www.ms.mff.cuni.cz/~pelcj6am/vpl_dukazy.pdf Ne že by byl postup od hkvm špatně, ale já takové obří důkazy nikdy neuměl v...

Zadání dnešní písemky: 1) Telegraf, dána relativní četnost teček/čárek a pravděpodobnosti zkreslení tečky/čárky. Je-li přijata čárka, s jakou pravděpodobností byla také skutečně vyslána? [5 bodů] 2) Meteorologové předpovídají prudké ochlazení, které může přijít kdykoliv během následujících 48 hodin....

Bohužel, jediné, co vím já, je, že zkoušku jsem dělal před dvěma týdny a dodnes nevím známku (!). A už vesele míjejí další termíny...

Nemáte náhodou někdo bližší info?

Doplním, co si (snad) pamatuju: 3) Čtyři atributy s pravděpodobnostmi 1/2, 1/4, 1/6 a 1/12, adresa má 14 bitů. a) Rozvrhnout schéma. [3b] b) Cena dotazu na druhý atribut. [1b] c) Průměrná cena dotazu. [1b] 4) Máme hotovou knihovnu na Cormacka. a) Kdy je vhodné ji použít? [2b] b) Jaké parametry bude ...

1. štěpení nastane po n*L vloženích a další jsou již po každých L. jde o to, že po každých L krocích přidáváš 1 stránku, ale na začátku máš n prázdných stránek -> čekáš než se trochu zaplní, jako bys stránky přidával postupně :) Přesně tak. První štěpení po 8. insertu a každé další po dvou od předc...

Zdravím všechny. Protože si lidé kolem stěžují, že nechápou hashování se skupinovým štěpením stránek, a ve zkouškách bývá (alespoň v pozdějších termínech, možná ale už příště), zkusil jsem je zpracovat podobnou formou, jako na fórech je již pár příkladů zpracovaných: http://www.ms.mff.cuni.cz/~pelcj...

UPDATE: Protože jsem dostal zprávy, že se letos učí logika hned v ZS a mezi studenty je o text zájem, konečně jsem se dokopal k tomu jej do určité míry "dodělat". Především jde o dopsání kapitol "Predikátová logika s rovností" a "Vývoj teorií" a zapracování různých post...