Course Details
Country:
Netherlands
Institution:
Free University of Amsterdam
Course Title:
Logic and Modelling
Course Number:
X_401015
Course Description:
The course objective is to obtain a good knowledge and understanding of the most important logical systems: propositional logic, predicate logic, and modal logic. (Knowledge and understanding)
The students learn to use these systems to model data, knowledge, and actions. (Applying knowledge and understanding)
An important aspect of the course is the ability to reason using these logics and reason about these logics: what can and what can not be expressed with a logic system, and what are the differences between the systems with respect to expressive power or the existence of decision procedures. (Applying knowledge and understanding) (Making judgements)
Language:
English
Approved Equivalent:
INTS 399
Attachment Files:
Studyguide (23).pdf