Login
English
Nederlands
Introduction to Logic (MA + Guests)
Dit is een conceptversie. De vakomschrijving kan nog wijzigen, bekijk deze pagina op een later moment nog eens.
| Faculteit | Science and Engineering |
| Jaar | 2022/23 |
| Vakcode | WBAI013-05 |
| Vaknaam | Introduction to Logic (MA + Guests) |
| Niveau(s) | propedeuse |
| Voertaal | Engels |
| Periode | semester I b |
| ECTS | 5 |
| Rooster | rooster.rug.nl |
| Uitgebreide vaknaam | Introduction to Logic (MA + Guests) | ||||||||||||||||||||||||
| 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 | bachelor | ||||||||||||||||||||||||
| Coördinator | prof. dr. L.C. Verbrugge | ||||||||||||||||||||||||
| Docent(en) | prof. dr. L.C. Verbrugge | ||||||||||||||||||||||||
| Verplichte literatuur |
|
||||||||||||||||||||||||
| Entreevoorwaarden | No prior knowledge is assumed. | ||||||||||||||||||||||||
| Opmerkingen | This course is meant for students from the (Applied) Mathematics programme, and for non-AI students who take this course as an elective. In addition, students in the AI bridging programme are also asked to take this course unit. Prerequisite for: Advanced Logic This course was registered last year with course code WPAI18003 |
||||||||||||||||||||||||
| Opgenomen in |
|