UIN1008 Logic and Logic Programming

Faculty of Philosophy and Science in Opava
Winter 2007
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Guaranteed by
RNDr. Šárka Vavrečková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava
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
Course objectives (in Czech)
Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v Klauzulární logice přecházíme k programování v programovacím jazyce Prolog. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Language of instruction
Czech
Further Comments
The course can also be completed outside the examination period.
The course is also listed under the following terms Winter 1993, Winter 1994, Winter 1995, Winter 1996, Winter 1997, Winter 1998, Winter 1999, Winter 2002, Winter 2003, Winter 2004, Winter 2005, Winter 2006, Winter 2008, Winter 2009, Winter 2010, Winter 2011, Winter 2012, Winter 2013, Winter 2014, Winter 2015, Winter 2016, Winter 2017, Winter 2018, Winter 2019, Winter 2020, Winter 2021, Winter 2022.
  • Enrolment Statistics (Winter 2007, recent)
  • Permalink: https://is.slu.cz/course/fpf/winter2007/UIN1008