| Uitgebreide vaknaam |
Advanced Logic |
| Leerdoelen |
Leren kennen van logische technieken met AI-toepassingen. |
| Omschrijving |
Behandeld worden: bewijzen met inductie, meerwaardige logica, modale logica, tijdslogica, niet monotone redeneervormen. |
| Uren per week |
|
| Onderwijsvorm |
Hoorcollege (LC), Werkcollege (T)
|
| Toetsvorm |
Opdracht (AST), Schriftelijk tentamen (WE)
|
| Vaksoort |
bachelor
|
| Coördinator |
prof. dr. L.C. Verbrugge
|
| Docent(en) |
prof. dr. L.C. Verbrugge
|
| Verplichte literatuur |
| Titel |
Auteur |
ISBN |
Prijs |
| Reader Advanced Logic |
|
|
ca.
€
1,00
|
| Induction Study Guide |
B. Kooi and R. Verbrugge |
|
|
| An Introduction to Non-classical Logic |
G. Priest |
978-0-521-67026-5 |
ca.
€
27,00
|
| Language, Proof and Logic |
J. Barwise and J. Etchemendy |
1575866323 |
ca.
€
61,00
|
|
| Entreevoorwaarden |
Mandatory: Introduction to Logic (WBAI012-05 or WBAI013-05)
If the mandatory requirements are not met, only the Board of Examiners of the AI BSc may grant an exemption. Exchange students are assumed to have gone through this through their Learning Agreement; pre-master's students through the Board of Admissions - other external students are judged case-by-case. |
| Opmerkingen |
This course was registered last year with course code KIB.VL03
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 |
|