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 |
|
||||||||||||
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 |
|