7. 12. 2008
Updatován moodle. Další termíny atestací budou vypsány na 12. 1., 26. 1. a 9. 2. 2009 od 9:00 v Celetné 20, místnosti 119. Zapisovat se lze přes IS. Limit na každý je 20 studentů. Pokud by počet zájemců přesáhl 60 lidí, vypíšu další termín. VK
Byla zprovozněna možnost zapisování na předtermín (16.12.). Více na speciální stránce. MV
Updatován moodle. VK
Updatován moodle. VK
Do sekce materiály přidána cvičení k vyplývání a splnitelnosti. VP
Došlo k menší nepřesnosti týkající se domácího úkolu. Na konci textu není jen cvičení C, ale i D, které jsem mylně považoval za druhou část C. Domluvme se nyní, že za úkol je povinně cvičení C, cvičení D je dobrovolné. VK
Moodle updatován o zápis včerejší přednášky. Na příště bylo zadáno k vypracování cvičení C, které je úplně na konci textu (sestává z dvou úloh). VK. VP
Do sekce materiály přidána cvičení k úplnosti spojek a k tautologiím. VP
Moodle updatován. Na příště bylo vypsáno domácí cvičení. Povinná část spočívá v důkazu úplnosti určité skupiny spojek za předpokladu, že již máme dokázánu úplnost pro konjunkci a negaci. Studenti s křestním jménem od (A-J) dokazují úplnost disjunkce a negace, studenti se jménem od (K-R) pro implikaci a negaci a studenti od (S-Z) pro Shefferův operátor. Dobrovolný domácí úkol spočívá v důkazu toho, že skupina spojek čítající pouze implikaci a konjunkci, úplná NENÍ. V textech ke cvičením, které záhy budou vystaveny v sekci materiálů, se jedná o cvičení 1a-c a 6a (cvičení k úplnosti spojek). VK
Do sekce materiály přidána cvičení k interpretaci formálního jazyka. VP
Do sekce materiály přidána cvičení k formalizaci. VP
Moodle updatován. Projděte si cvičení k lekci III (formalizace), budeme je cvičit na přednášce. Zápis obsahuje i lekci IV s důkazem úplnosti spojek, který budeme dělat příště, ale je vhodné, abyste se na něj rovněž podívali předem. Vítek pořidal do sekce materiály cvičení k dosud probrané látce, z nichž některá jsou řešená. VK
Do sekce materiály přidán text o indukci a syntaktických definicích. VP
Moodle updatován. Úlohy, které budeme příště cvičit v rámci přednášky a které byste si proto měli připravit jsou nakonci textu. VK
Do Moodlu byl přidán zápis z první přednášky. Jelikož díky vypsanému děkanskému volnu na 27. 10. přijdeme o dalších přednášku a místo obvyklých 14 jich je tedy jen 10, budeme zcela určitě mírně přetahovat a přesouvat určitou část výkladu na domácí studium. Počítejte rovněž s průběžným procvičováním látky v rámci přednášky. VK
V akademickém roce 2008/9 je kurzem Logika jednak realizován povinný předmět oborů FIL a SOC, jednak se jedná kurz zařazený do seznamu mezioborové nabídky předmětů, může být tedy zapsán jako volitelný všemi studenty fakulty.
Tělo kurzu tvoří přednáška Logika v rozsahu 2/0 po dobu jednoho, resp. dvou semestrů. Zpravidla jako volitelný k ní patří seminář Rozšiřující cvičení z logiky v rozsahu 0/2 po dobu jednoho, resp. dvou semestrů.
Kurz se zapisuje po semestrech, teoreticky je možné absolvovat pouze semestr první, zahrnující klasickou logiku výroků. Studijní plány jednotlivých oborů, které mají logiku povinnou, se liší jak v počtu předepsaných semestrů, tak v hodinových dotacích a jejich struktuře. V případě oborů, které předepisují tříhodinovou dotaci (SOC), bylo dohodnuto prozatimní řešení, spočívající v prohlášení cca poloviny Rozšiřujících cvičení za povinná. Cvičení se jmenují "rozšiřující" s ohledem na fakt, že některé obory vypisují přednášku jako 1/1 a je tedy třeba cvičit již v jejím rámci. Detaily budou dořešeny na první přednášce.
Přednáška se koná každé pondělí od 13:20 do 15:40 v aule hlavní budovy. Jsou na ni tedy vyhrazeny tři hodiny, ta třetí je ale rezervou, která bude využita v případě, že něco odpadne (vždycky něco odpadne), a to prodloužením každé přednášky o patřičný počet minut (tj. hodlám pouze přetahovat, nikoli nahrazovat nárazově). Rozšiřující cvičení začínají až druhým týdnem, a to opět v pondělí v aule od 11:40 do 13:10. Časově přednášce těsně předcházejí, neboť se na nich opakuje látka z minulého týdny před následným probráním látky nové. Účast na nich (s výjimkou výše uvedených případů) není povinná, ale doporučuje se. VK
Poslední změna provedena 1. 9. 2007.
(c) 2005-2006 Vojtěch Kolman, Martin Víta