PH1201 Logic II

Faculty of Arts
Spring 2000
Extent and Intensity
2/1/0. 5 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
prof. PhDr. Ing. Josef Šmajs, CSc.
Department of Philosophy – Faculty of Arts
Contact Person: Hana Holmanová
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus (in Czech)
  • Predikátová logika 1. řádu Neformální úvod Syntaxe, sémantika Důkaz, přirození dedukce Rozšíření o identitu, deskriptivní operátor, funkce
  • Další výhledy: vyšší řády, modiální a intenzionální logiky
  • Formalizované teorie, aritmetika přirozených čísel, věty o neúplnosti
  • Algoritmus
  • Pojem, definice
Literature
  • Jakákoli učebnice logiky po konzultaci s prof. Maternou
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Spring 2001, Spring 2002, Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019, Spring 2020.
  • Enrolment Statistics (Spring 2000, recent)
  • Permalink: https://is.muni.cz/course/phil/spring2000/PH1201