Introduction to Logic (AI)

Faculteit Science and Engineering
Jaar 2020/21
Vakcode WBAI012-05
Vaknaam Introduction to Logic (AI)
Niveau(s) propedeuse
Voertaal Engels
Periode semester I b
ECTS 5
Rooster rooster.rug.nl

Uitgebreide vaknaam Introduction to Logic (AI)
Leerdoelen At the end of the course, the student is able to:
- formalize natural language sentences in propositional and first-order logic
- construct formal proofs in proof-systems for propositional and first-order logic.
- interpret propositional and first-order logic formulas according to their respective formal semantics
- define variants of the fundamental notions of satisfiability and validity in propositional and first-order logic
- transform formulas into normal forms (DNF, CNF, Horn, prenex, Skolem)
- construct and evaluate basic set-theoretic statements
Omschrijving The module introduces the basic theory (definitions and techniques) of propositional logic and first-order logic. Students develop skills in analyzing sentences and reasoning, using symbolic languages, assessing the validity of reasoning, making formal deductions, using formal semantics and deriving normal forms for formulas. During the tutorials students can practise using the computer teaching program Tarski's World and with software for constructing proofs in Fitch.
Uren per week
Onderwijsvorm Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T)
Toetsvorm Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT)
(The mid-term exam counts for 25%; and the final exam for 75%. For the resit exam, the mid-term exam does not count. The homework assignments are used as a learning/feedback opportunity.)
Vaksoort propedeuse
Coördinator prof. dr. D. Grossi
Docent(en) B.R.M. Gattinger, PhD. ,prof. dr. D. Grossi
Verplichte literatuur
Titel Auteur ISBN Prijs
Syllabus Introduction to Logic (downloadable from Nestor) R. Verbrugge, J. IJsselmuiden and B. Kooi
Language, Proof and Logic David Barker-Plummer; Jon Barwise; John Etchemendy 9781575866321 ca. €  65,00
Entreevoorwaarden No prior knowledge is assumed.
Opmerkingen This course is meant for students in the Artificial Intelligence programme. If you are in the (unofficial) pre-master's programme or a non-AI degree programme, please take the version of this course that is also taught to Mathematics - WBAI013-05 (this is the smaller group). This course is generally open to non-AI students - despite the Numerus Fixus on the programme. The contents are similar to the AI-version of the course.

Prerequisite for: Advanced Logic
Is desired for Logical Programming

This course was registered last year with course code WPAI14001

Artificial Intelligence (BSc) is a Fixed Quota (Numerus Fixus) programme. As a consequence, their courses (course code WBAI) are closed for students that are not registered under the AI BSc programme, unless the course is part of the mandatory curriculum of their programme. If you wish to take this course in your minor – or as part of a so-called ‘unofficial’ pre-master’s – please use the official procedure through the Board of Examiners form.
Opgenomen in
Opleiding Jaar Periode Type
BSc Artificial Intelligence 1 semester I b verplicht