====== Matematická logika ======

===== Cvičný příklad =====

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.

===== Odkazy =====

  * 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
  * [[http://as.wps.sso.vsb.cz/cz.vsb.edison.edu.study.prepare.web/SubjectVersion.faces?version=460-4004/01&subjectBlockAssignmentId=162097&studyFormId=2&studyPlanId=15094&locale=cs|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/

===== Cvičení - zimní semestr 2010/2011 =====

  * 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é [[vsb:ml:cviceni_2010_2011:zapoctova_pisemka_1|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 [[vsb:ml:cviceni_2010_2011:zapoctova_pisemka_2|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: {{:vsb:ml: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. **

  - [[vsb:ml:cviceni_2010_2011:1|13.9.2010]]
  - [[vsb:ml:cviceni_2010_2011:2|20.9.2010]]
  - Cvičení dne 27.9. odpadá z důvodu [[http://www.vsb.cz/okruhy/nastroje-sluzby/infoservis/detaily/?detail=15688|rektorskeho volna]].
  - [[vsb:ml:cviceni_2010_2011:3|4.10.2010]]
  - [[vsb:ml:cviceni_2010_2011:4|11.10.2010]]
  - Cvičení dne 18.10. odpadá, následující týden budeme tedy navazovat na úterní přednášku z 19.10.
  - [[vsb:ml:cviceni_2010_2011:5|23.10.2010]]
  - [[vsb:ml:cviceni_2010_2011:6|1.11.2010]]
  - [[vsb:ml:cviceni_2010_2011:7|8.11.2010]]
  - [[vsb:ml:cviceni_2010_2011:8|15.11.2010]]
  - [[vsb:ml:cviceni_2010_2011:9|22.11.2010]]
  - 29.11.2010 - pouze opakování na 2. zápočtovou písemku, tedy rezoluční metodu a přirozenou dedukci
  - 6.12.2010 - základní důkazy v přirozené dedukci a testovací 2. zápočtová písemka
  - [[vsb:ml:cviceni_2010_2011:12|13.12.2010]]

==== Přihlášení ke zkoušce ====

V systému eLogika je nyní možné se přihlásit ke zkoušce dle následujícího návodu {{:vsb:ml: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.

==== Pomocné symboly pro psaní e-mailů ====

¬ ∧ ∨ ⊃ ≡ ∀ ∃