Introduction to Logic (AI)

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