Glivický - Opravné příklady

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
Uživatelský avatar
Ellrohir
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 21. 12. 2007 13:29
Typ studia: Informatika Bc.
Bydliště: Praha
Kontaktovat uživatele:

Glivický - Opravné příklady

Příspěvek od Ellrohir »

Koukám, že se nikdo nemá ani k nastartování nějaké "dohadovací diskuse", tak se toho ujmu já (otázka jestli to pomůže) - je teda v plánu se nějak dohodnout, že každej udělá něco a dá to k lepšímu pro ostatní? a nebo si každej bude na svým písečku? (případně v kolektivu blízkých kamarádů, což tak nějak diskvalifikuje mě, který se s nikým z vás nezná :) )
romantismus
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 10. 12. 2009 00:00
Typ studia: Informatika Bc.

Re: Glivický - Opravné příklady

Příspěvek od romantismus »

Já jsem se do řešení těch příkladů ještě nepustil, zatím jen pročítám skripta a učím se na jiné zkoušky. Mám ale v plánu, pokud se mi něco podaří vyřešit, sem něco napsat. Mám skupinu SC+ (ne +-).
drobas
Matfyz(ák|ačka) level I
Příspěvky: 24
Registrován: 8. 9. 2008 21:13
Typ studia: Informatika Bc.

Re: Glivický - Opravné příklady

Příspěvek od drobas »

urcite bych volil naky kolektivni reseni, tam je mnohem vetsi sance ze fuze nasich mozku vytvori jeden velkej, kterej aspon trochu chape tuto prolematiku...
ja planuju logiku resit pristi vikend takze pak sem taky neco napisu...
Kubees
Matfyz(ák|ačka) level II
Příspěvky: 65
Registrován: 12. 1. 2007 22:22
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Re: Glivický - Opravné příklady

Příspěvek od Kubees »

Ja jsem na tom stejne, ted se ucim na jine zkousky, resit logiku pak urcite hodlam kolektivne tady.
matejcik
Matfyz(ák|ačka) level I
Příspěvky: 7
Registrován: 29. 8. 2006 10:20

Re: Glivický - Opravné příklady

Příspěvek od matejcik »

stejně jako ostatní .e) jsem ve skupině SC0+-
asi se na to vrhnu nějak během tohohle týdne, tak dám vědět
Uživatelský avatar
Ellrohir
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 21. 12. 2007 13:29
Typ studia: Informatika Bc.
Bydliště: Praha
Kontaktovat uživatele:

Re: Glivický - Opravné příklady

Příspěvek od Ellrohir »

ok, jsem na tom v zásadě taky tak nějak podobně, takže to tu budu sledovat a jsem připraven na vše, až se to tu začne řešit :)

jo napsal jsem se do skupiny "SC0+"
Odpovědět

Zpět na „AIL062 Výroková a predikátová logika“