Module Number

INF3482
Module Title

Automatical Proofs - Introduction
Type of Module

Elective Compulsory
ECTS 6
Work load
- Contact time
- Self study
Workload:
180 h
Class time:
60 h / 4 SWS
Self study:
120 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

Graded assignments

Lecture type(s) Lecture, Tutorial
Content

Implementation of mechanical proof methods from lecture INF3482 Automatic Proof -- Fundamentals in approximately 5 exercises.

Objectives

Students gain basic knowledge in the implementation of automatic proof methods and their capabilities and possible applications. They will be able to evaluate the practical relevance of mathematical logic for computer science using concrete examples.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other
Literature

Aufgabenbeschreibungen, Dokumentation der verwendeten Systeme

Last offered unknown
Planned for currently not planned
Assigned Study Areas BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210