Fórum studentů MFF UK

Dovolil jsem si ty vypisky nahrat na uloz.to. Snad se s0cketka nebude moc zlobit
http://uloz.to/xdFSy3K/s0cketka-statnice-zip

1. Predpokladejte, ze M je TS s obousmerne nekonecnou paskou. Popiste, jak z M vytvorite TS s jednosmerne nekonecnou paskou, ktery "dela totez" co M. (stacil slovni popis bez instrukci) 2. Odvodte, ze funkce faktorial g(x)=x! je primitivne rekurzivni (za predpokladu, ze funkce nasobeni je ...

Ted jsem zjistil, ze (a) i (b) se resi v poznamkach z cvik, ktery jsou k stahnuti tady na foru - http://forum.matfyz.info/download/file.php?id=546. Konkretne v souboru IMG_0005.pdf. Akorat to je vzhuru nohama, takze chvili stravite hledanim v menu

Síce mám zápočet úspěšně za sebou, ale mohl by někdo ukázat jak na 3) ? No, to bych taky rad vedel. V poznamkach z webu se pise tohle: Něco na s-m-n větu a větu o rekurzi, například: (a) Dokažte, že existuje prostá PRF f, pro kterou platí, že W_{f(x)}=\{0, . . . , x\} . (b) Na základě toho ukažte, ...

malvoj píše:chtěl určitě slyšet, že očekávaná délka řetězce ve srůstajících hešováních je 3 s pomocnou pamětí 2

Tyhle konkretni hodnoty jsou primo nekde ve skriptech, nebo vyjdou po dosazeni do nekteryho z tech silenejch vzorcu? Nejak to tam nemuzu najit... Diky.

Taky mam pocit, ze zkouska je tohle pondeli (26. 1.).
Dulezita informace: na zkousku je treba se prihlasit, a to poslanim mailu prednasejicimu!

D píše:V sise uz je odkaz na nastenke, ibaze je to len pre studentov z cviceni Yaghoba ...

Pro zapis od Bednarka je mozne si prijit kdykoliv v odpolednich hodinach.

stnicolaus píše:Sice je to trochu off-topic, ale nevíte do kdy je termín odevzdání zápočťáku? Na webu je napsáno nejlépe do konce února. Takže by mě zajímalo, do kdy nejhůře

Pokud me pamet nemate, tak jednou na prednasce rikal, ze to staci behem letniho semestru.

Ahojte, neviete mi niekto povedat aka bola narocnost, toho zapoctaku ? Stihali ste to za tri hodiny ? Bol veduci prisny, alebo to dal aj tomu komu nesli nejake blbosti. Diki Cau, podle me ten editor byl v pohode. Mel jsem to asi za hodinu a pul. Odevzdaval jsem to jako prvni a vlastne jsem tam ani ...

Predikatova logika: 4. a) Formuli (∃z)P(z)⇒( (∀x)( Q(x)⇒(∀x)P(x) ) ) prevedte do prenexni tvaru. (3 body) b) Je zadana formule dokazatelna v predik. logice? Pokud ano dokazte ji. (7 bodu) 5.a) definujte konzervativni rozsireni (1 bod) b) napiste vetu o definici predikatu a dokazte, ze rozsireni (o k...

Zdravim, dnesni zkouska byla podobna tem trem poslednim v cervnu (prvni list s teorii asi uplne stejny jako v http://forum.matfyz.info/viewtopic.php?t=3381 ). Vysledky by mely byt v pondeli. Nepamatuju si to presne, ale snad vystihnu, o co slo: Vyrokova logika: 1.a) ukazte, ze jen pomoci negace a ko...

keff píše: Wow, díky moc, Prover se sice hodinu potil, ale vypotil formální důkaz o 50ti krocích, takže to asi nebylo myšleno pro ruční počítání .
Jupíí, už to jen přepsat do formyco mají logici rádi a je to

Parada . Rado se stalo.

Zdravim. Ja mam tiez tazku hlavu zo zapoctovej ulohy.. A bol by som aj ochotny podporit vasu ochotu pomoct cloveku v nudzi .. =) .. nejakou odmenou. Moj priklad: Uvažujte následující formální systém pro výrokovou logiku s jednou binární logickou spojkou d: schéma axiomu L: (d(P,d(Q,R)),d(d(P,d(R,P)...

Můžu ještě využít tvé know-how pro vysvětlení techle dvou řádků? a) jak Prover pozná že MP může použít a v7 má dokázat, když mají ty dva řádky stejopu syntax? Prover hleda spor - tzn. snazi se ze zadanych formuli odvodit formuli ktera bude negaci nejaky formule co jsem mu zadal. Snazi se pouzit vse...

Díky moc za linky, k Proveru už jsem se doklikal včera včera ale už se radši budu učit na zk. a pak snad přijdu jak to do proveru naťukat :). Neni zac. Pro inspiraci jeste prikladam vstupni soubor pro prover9 k dokazani (v7) v Hilbertove systemu. formulas(sos). P(i(x,i(y,x))). %axiom A1 P(i(i(x,i(y...