Středeční cvika s Vyskočilem, test?
-
- 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?
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 (
Vyskočil - Test
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
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).
zadani
Ja mam zadani:
Mate nekdo neco podobneho? pokousel jsem se udelat reseni v prologu, ale moc to nefunguje.... a rucne mi to prijde neresitelny....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.
Ja mam tohle:
Co s tim zatim fakt nevim.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.
no zeby som sa aj ja pochvalil
moje zadanie vyzera takto ...
a riesenie asi taktoSpocitejte 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.
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:-!
There's nothing left to lose.
skor nieco ine by som v tom videl
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
There's nothing left to lose.
Asi to tak bude
Tiez mi to tak pride ... No .. asi bude treba precvicit prolog 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
There's nothing left to lose.