Středeční cvika s Vyskočilem, test?

Ošklivý sup
Matfyz(ák|ačka) level I
Příspěvky: 49
Registrován: 2. 2. 2006 15:58

Středeční cvika s Vyskočilem, test?

Příspěvek od Ošklivý sup »

Netušíte náhodou někdo kdy se bude psát zápočtový test, pokud už se nepsal? Jsem docela dost chyběl a tahle informace mě nějak unikla a nikde to nemůžu najít :((
Návštěvník

Příspěvek od Návštěvník »

Melo by se psat tuhle stredu - tj. 23. 5. 2007.
Sharrow
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 16. 2. 2005 12:20

Vyskočil - Test

Příspěvek od Sharrow »

Chtěl jsem se zeptat jestli test u Vyskočila je jedinou podmínkou k získání zápočtu, respektive jestli nebyly žádné další testy ani jiné podmínky. Zatím to vypadá že nezískám zápočet na mém původním cvičení, tak se stébla chytám
Návštěvník

Příspěvek od Návštěvník »

Ze zacatku celkem dost sledoval dochazku, takze nevim, jestli by ted jeste nekoho od jinud prijal, ale muzes to zkusit. Podminka k ziskani zapoctu je napsat tu stredecni pisemku (jiny ani nebyly), pripadne pokud ji nenapises, tak musis vyresit nakej adekvatne tezkej priklad (rikal, ze minule s tim meli lidi docela problem).
Návštěvník

Příspěvek od Návštěvník »

Ten test jsem nenapsal, tak jsem mu psal mail s zadosti o nahradni priklad, ale zatim mi neodpovedel. Uz jste to nekdo resil?
Sharrow
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 16. 2. 2005 12:20

Příklad

Příspěvek od Sharrow »

Teď mi to přišlo a jsem z toho docela vedle
Greg

zadani

Příspěvek od Greg »

Ja mam zadani:
Spocitejte nasledujici zapoctovy 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(d(P,d(Q,R)),d(d(P,d(R,P)),d(d(S,Q),d(d(P,S),d(P,S)))))
odvozovaci pravidlo N: Pokud platí d(P,d(Q,R)) a P, pak platí R.

V tomto systému formálně dokažte následující formuli (jako řešení chci kompletní formální důkaz dle definice):

d(d(d(d(d(A, A), d(A, A)), d(A, A)), d(d(d(A, A), d(A, A)), d(A, A))), d(d(d(d(A, A), d(A, A)), d(A, A)), d(d(d(A, A), d(A, A)), d(A, A))))

P.S. Pokud k vypoctu pouzijete pocitac, prilozte k vysledku jeste zdrojovy
kod programu.
Mate nekdo neco podobneho? pokousel jsem se udelat reseni v prologu, ale moc to nefunguje.... a rucne mi to prijde neresitelny....
Návštěvník

Příspěvek od Návštěvník »

Ja mam tohle:
Spocitejte nasledujici zapoctovy priklad:

Uvažujte následující formální systém pro výrokovou logiku s jednou binární
logickou spojkou i a jednou unární logickou spojkou n:

schéma axiomu M: i(i(i(i(i(A,B),i(n(C),n(D))),C),E),i(i(E,A),i(D,A)))

odvozovaci pravidlo MP: Pokud platí i(A,B) a A, pak platí B.

V tomto systému formálně dokažte následující formuli (jako řešení chci
kompletní formální důkaz dle definice):

i(i(n(A),A),A)

P.S. Pokud k vypoctu pouzijete pocitac, prilozte k vysledku jeste zdrojovy
kod programu.
Co s tim zatim fakt nevim.
Uživatelský avatar
tommy
Matfyz(ák|ačka) level I
Příspěvky: 24
Registrován: 1. 6. 2006 13:55

no zeby som sa aj ja pochvalil

Příspěvek od tommy »

moje zadanie vyzera takto ...
Spocitejte nasledujici zapoctovy priklad:


Uvažujte následující formální systém pro výrokovou logiku s jednou binární logickou spojkou i a jednou unární logickou spojkou n:

schéma axiomu M: i(i(i(i(i(A,B),i(n(C),n(D))),C),E),i(i(E,A),i(D,A)))

odvozovaci pravidlo MP: Pokud platí i(A,B) a A, pak platí B.

Formálně dokažte, že je tento systém stejně silný jako Hilbertův (ten co přednáší profesor Štěpánek. Axiomy A1,A2,A3 + pravidlo MP) při správném přiřazení logických spojek. To znamená, že to co je dokazatelné v tomto systému je dokazatelné i v Hilbertově a obráceně (To co je dokazatelné v Hilberově systému je dokazatelné v tomto).

S pozdravem,

Jiri Vyskocil

P.S. Pokud k vypoctu pouzijete pocitac, prilozte k vysledku jeste zdrojovy
kod programu.
a riesenie asi takto
:-!
Co akoze s tym mam robit??? zadania ostatnych dokazat nieco podla dokazu sa mi zdaju este ako-tak vyriesitelne ... ale s tymto co? aspon nejaky zaciatok pls :roll:
There's nothing left to lose.
devra
Matfyz(ák|ačka) level I
Příspěvky: 25
Registrován: 24. 5. 2006 19:45
Typ studia: Informatika Bc.
Bydliště: Troja

Příspěvek od devra »

pri prvom pohlade ma napada ze "i" si mozes skusit napisat ako implikaciu ...nieco ako i(A,B) prepisat na (A-->B) ...a "n" ako negaciu a pozriet sa ci ta dalej nieco napadne...
Uživatelský avatar
tommy
Matfyz(ák|ačka) level I
Příspěvky: 24
Registrován: 1. 6. 2006 13:55

skor nieco ine by som v tom videl

Příspěvek od tommy »

No i ako implikacia a n ako not mi uz doslo. Mne to skor pride, ze tento priklad je zamerne napisany takto. Ba priam sa az prologovsky :twisted:
There's nothing left to lose.
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Příspěvek od hippies »

no asi mas dokaz, ze

A1,A2,A3 |- M (v zadanem systemu),
a pak

M |- A1 & A2 & A3 (v Hilbertove)

.. nic lepsiho me nenapada
Uživatelský avatar
tommy
Matfyz(ák|ačka) level I
Příspěvky: 24
Registrován: 1. 6. 2006 13:55

Asi to tak bude

Příspěvek od tommy »

Tiez mi to tak pride ... No .. asi bude treba precvicit prolog :roll: Ak by som na nieco prisiel, dam vam vediet. Ale uz pred pisomkou som pocul, ze tym co nedaju pisomku, da Vyskocil taketo zadania, ktore sa riesia v prologu. Mozno nejaki tretiaci mali podobny problem :wink:
There's nothing left to lose.
Návštěvník

Příspěvek od Návštěvník »

Tak to vypada, ze moje formule i(i(n(A),A),A) vubec neni dokazatelna. Nenapada nekoho, jak tohle dokazat?
Odpovědět

Zpět na „2006“