Matematická logika

Každý, kdo chová nějaké zvíře, je ekolog.

Adam chová křečka.

Křeček je zvíře.

Někdo je ekolog nebo Bertík je křeček.

• http://www.cs.vsb.cz/duzi/Mat-logika.html - stránky doc. Duží s prezentacemi z přednášek a doplňujícími materiály; pokud jste nebyli na přednášce, doporučuji rychle projít alespoň nadpisy
• popis předmětu v edisonu včetně základní osnovy

Logika je velmi běžný a univerzální předmět, takže materiály lze najít i na jiných českých i zahraničních univerzitách (a nejen tam). Pokud někdo nalezne zajímavý odkaz s obsahem relevantním k tomuto předmětu, tak mi jej, prosím, pošlete (a pokud bude dotyčný chtít, může u něj být uveden jako nálezce).

• http://www.phil.muni.cz/fil/logika/

• V úterý 26.10.2010 byla zveřejněna na přednášce témata k první zápočtové písemce, takže vám tady dávám nějaké ukázkové příklady.
• V úterý 2.11.2010 se psala první zápočtová písemka. Konzultace k písemkám budou na přístím cvičení (8.11.2010).
• V pondělí 6.12. budeme psát testovací 2. zápočtovou písemku.
• V eLogice byla zveřejněna testovací zkoušková písemka. Lze se k ní dostat pomocí následujícího návodu: elogika_login.pdf. Příhlašovací jména jsem sděloval na posledním cvičení. Pokud vám chybí, tak se ozvěte. UPDATE: Je tam trochu magie s přihlašováním. Login jsem rozdaval na cvičení a ten se píše malými písmeny, heslo je školní login napsaný velkými písmeny. Například login = abc0001 a heslo = ABC654.

1. 13.9.2010
2. 20.9.2010
3. Cvičení dne 27.9. odpadá z důvodu rektorskeho volna.
4. 4.10.2010
5. 11.10.2010
6. Cvičení dne 18.10. odpadá, následující týden budeme tedy navazovat na úterní přednášku z 19.10.
7. 23.10.2010
8. 1.11.2010
9. 8.11.2010
10. 15.11.2010
11. 22.11.2010
12. 29.11.2010 - pouze opakování na 2. zápočtovou písemku, tedy rezoluční metodu a přirozenou dedukci
13. 6.12.2010 - základní důkazy v přirozené dedukci a testovací 2. zápočtová písemka
14. 13.12.2010

V systému eLogika je nyní možné se přihlásit ke zkoušce dle následujícího návodu elogika_prihlaseni_na_termin.pdf.

Důležitý je tento pokyn (cit.): Smerodatne je prihlaseni v EDISONU. Prihlaseni v systemu eLogika je dobrovolne. Studenti prihlaseni v eLogice budou casove uprednostneni na ustni zkousce. V eLogice nesmi byt student prihlasen, pokud neni prihlasen v EDISONU.

¬ ∧ ∨ ⊃ ≡ ∀ ∃