32 lines
2.2 KiB
Text
32 lines
2.2 KiB
Text
---
|
|
title: Logic
|
|
description: Historical course details for Logic, recovered from the previous Incognito wiki.
|
|
---
|
|
|
|
:::caution[Historical information]
|
|
This information originated in the previous wiki and may be outdated. Check the current Maastricht University course information before relying on it.
|
|
:::
|
|
|
|
## Full course description
|
|
Logic introduces the student to three core logical systems, namely propositional logic, first-order predicate logic and epistemic logic. Understanding these logical systems will improve the ability of the student to think in a structural way about, among others, problem solving and program design. Besides logical systems the course will focus on proving and reasoning techniques. These techniques are relevant to various kinds of logics and include, among others, semantic tableaux, deduction, and proof systems. After completing this course the student has obtained a solid basis in the three core logical systems. Additionally the ability of the student to reason and communicate about problems has been improved.
|
|
|
|
## Prerequisites
|
|
None.
|
|
|
|
## Recommended reading
|
|
None.
|
|
|
|
## Files
|
|
- [Logic - June 2020 Protocol](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_-_june_2020_protocol.pdf)
|
|
- [Logic Exam 2004](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2004.pdf)
|
|
- [Logic Exam 2005-06-03](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2005-06-03.pdf)
|
|
- [Logic Exam 2006-05-31](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2006-05-31.pdf)
|
|
- [Logic Exam 2007-05-30](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2007-05-30.pdf)
|
|
- [Logic Exam 2007-06-29](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2007-06-29.pdf)
|
|
- [Logic Exam 2008-06-04](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2008-06-04.pdf)
|
|
- [Logic Exam 2008-07-02](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_exam_2008-07-02.pdf)
|
|
- [Logic Mockexam 2016](/media/legacy-dokuwiki/study/bachelor/year_1/block_5/logic/logic_mockexam_2016.pdf)
|
|
|
|
---
|
|
|
|
Source: [Previous wiki page](https://msvincognito.nl/wiki/study/bachelor/year_1/block_2/logic)
|