https://www.jakubmacek.cz/ 2026-04-19T08:31:02+00:00 https://www.jakubmacek.cz/ https://www.jakubmacek.cz/lib/tpl/doogiestpl/images/favicon.ico text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/1?rev=1394103600&do=diff Cvičení 13.9.2010 Organizační * kontakt přes školní e-mail, konzultační místnost a hodiny budou upřesněny * osobní stránky dostupné přes homel, linux456 * představení PLAJ * představení obsahu kurzu * zdroje: přednášky, skripta, příklady na cvičení text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/2?rev=1394103600&do=diff Cvičení 20.9.2010 Organizační * Na přednášce jsme se dozvěděli, že část náplně se přenáší do jiného předmětu (kdo má zapsaný?). * Cvičení dne 27.9. odpadá z důvodu rektorskeho volna. Teorie * Je třeba zpaměti znát převody různých operátorů mezi sebou (implikace na disjunkci, text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/3?rev=1394103600&do=diff Cvičení 4.10.2010 Teorie Toto cvičení se zaměří na rezoluční metodu ve výrokové logice. Podrobnější vysvětlení teoretického podkladu bude na přednašce, ve cvičení projdeme především praktické informace o této metodě. Rezoluční metoda se používá především při důkazu sporem. Úsudek tedy klasicky nejdříve převedeme na formu tautologie a výslednou formuli znegujeme. Tím získáme formuli, kterou lze snadno převést na konjuntivní normální formu převedením všech operátorů na disjunkce, konjunkce a ne… text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/4?rev=1394103600&do=diff Cvičení 11.10.2010 Organizační * Příští cvičení (tedy 18.10.2010) buď bude cvičit někdo jiný, nebo odpadne. Teorie * Množiny již všichni jistě znají z dřívějška, takže na tomto cvičení si zopakujeme základy a podíváme se, kde se množiny aplikují v logice. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/5?rev=1394103600&do=diff Cvičení 23.10.2010 Teorie * Predikátová logika prvního řádu se běžně označuje zkratkou PL1. Výrokovou logiku budeme označovat VL. * Na základě předchozí teorie zavádíme na základě relací tzv. predikáty. Predikát P(a, b, c, text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/6?rev=1394103600&do=diff Cvičení 1.11.2010 Organizační * Dle dohody si zkusíme zápočtovou písemku. Bude přibližně poloviční, tj. 30 minut, ať máme čas na projítí výsledků a případné otázky. Teorie * Opakování z minula a cvičení na písemku. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/7?rev=1394103600&do=diff Cvičení 8.11.2010 Organizační * V první části si projdeme první zápočtovou písemku. * Ve druhé části představím rezoluční metodu pro PL1 a skolemizaci. Teorie * Pro použití rezoluční metody na úsudky v PL1 je třeba nejdříve úsudek převést do Skolemovy klauzulární formy, což je konjunktivní normální forma. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/8?rev=1394103600&do=diff Cvičení 15.11.2010 Teorie * Pro použití rezoluční metody na úsudky v PL1 je třeba nejdříve úsudek převést do Skolemovy klauzulární formy, což je konjunktivní normální forma. * Tuto následně rozepíšeme na řádky podobně jako u výrokové logiky. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/9?rev=1394103600&do=diff Cvičení 22.11.2010 Vzhledem k rozsáhlosti přislušné teorie bude na cvičení pouze to, co je potřebné k provádění důkazů v přirozené dedukci. Zbytek na přednášce. Teorie * Zatím známe následující způsoby zápisu informací: výroková logika a predikátová logika prvního řádu. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/12?rev=1394103600&do=diff Cvičení 13.12.2010 Závěrečným tématem bude Prolog, který bude díky reorganizaci náplně kurzu možné tento semestr i vyzkoušet na cvičení. Připomínám, že Prolog bude součástí 2. zápočtové písemky. Ja jsem posílal, měli bychom použít text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/zapoctova_pisemka_1?rev=1394103600&do=diff První zápočtová písemka, matematická logika, zimní semestr 2010/2011 Ukázková (1) Logické vyplývání, vlastnosti úsudku Doplňte závěr k následujícím předpokladům tak, aby byl úsudek neplatný: Všichni studenti jsou chytří. text/html 2014-03-06T11:00:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.jakubmacek.cz/vsb/ml/cviceni_2010_2011/zapoctova_pisemka_2?rev=1394103600&do=diff Druhá zápočtová písemka, matematická logika, zimní semestr 2010/2011 Ukázková (1) Přirozená dedukce Pomocí metody přirozené dedukce zjistěte, zda je následující formule logicky pravdivá. ∃x[ ∀y∀z(¬P(y,z)∧Q(z)) ⊃ ¬∃yP(x,y) ]