Advanced Logic

Faculteit Science and Engineering
Jaar 2020/21
Vakcode WBAI017-05
Vaknaam Advanced Logic
Niveau(s) bachelor
Voertaal Engels
Periode semester II a
ECTS 5
Rooster rooster.rug.nl

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
Opleiding Jaar Periode Type
BSc Artificial Intelligence 2 semester II a verplicht
BSc Courses for Exchange Students: AI - Computing Science - Mathematics - semester II a
BSc Mathematics: General Mathematics  (Electives and Minor General Mathematics) 3 semester II a keuze
Ba Filosofie 3 semester II a keuze