Applied Logic DV1
4 credit points
Syllabus, C-level, 1MA310
This course has been discontinued.
- Code
- 1MA310
- Level
- C
- Subject(s)
- Mathematics
- Grading system
- Pass with distinction (VG), Pass (G), Fail (U)
- Finalised
- 10 May 1999
- Responsible department
- Department of Mathematics
Entry requirements
Algebra DV2, Logic and proof techniques DV1.
Aims
To give deeper insight into mathematical logic and its applications in computer science.
Instruction
Lectures, problem solving sessions and laboratory
sessions.
Assessment
Written examination at the end of the course.
Moreover, compulsory assignments
may be given during the course.