181.178 Project in computational logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2017W, PR, 8.0h, 16.0EC

Properties

  • Semester hours: 8.0
  • Credits: 16.0
  • Type: PR Project

Aim of course

Being able to transfer the methods and results of computational logic into practice.

Subject of course

Software development etc. in the area of computational logic.

Additional information

ECTS Breakdown:
----------------------------------
10h meetings and presentations
290h individual project work
----------------------------------
300h (12 ECTS)
----------------------------------

Lecturers

Institute

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified

Literature

No lecture notes are available.

Language

English