Login
English
Nederlands
Introduction to Logic (AI)
| Faculteit | Science and Engineering |
| Jaar | 2022/23 |
| 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) | prof. dr. G.R. Renardel de Lavalette , J.D. Top, MSc. | ||||||||||||
| 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). The contents are very similar to the AI-version of the course. Prerequisite for: Advanced Logic Is desired for Logical Programming |
||||||||||||
| Opgenomen in |
|