Display language
To modulepage Generate PDF

#40026 / #1

SS 2014 - WS 2014/15

German

Logische Methoden der Informatik
Logical Methods in Computer Science

6

Kreutzer, Stephan

benotet

Portfolioprüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352200 FG Logik und Semantik

No information

Kontakt


TEL 7-3

Kreutzer, Stephan

stephan.kreutzer@tu-berlin.de

No information

Learning Outcomes

No information

Content

No information

Module Components

Pflichtteil:

All Courses are mandatory.

Course NameTypeNumberCycleLanguageSWSVZ
Logische Methoden der InformatikVorlesungSoSeNo information2
Logische Methoden der InformatikÜbungSoSeNo information2

Workload and Credit Points

Logische Methoden der Informatik (Vorlesung):

Workload descriptionMultiplierHoursTotal
No information15.04.0h60.0h
No information15.02.0h30.0h
90.0h(~3 LP)

Logische Methoden der Informatik (Übung):

Workload descriptionMultiplierHoursTotal
No information15.02.0h30.0h
No information15.04.0h60.0h
90.0h(~3 LP)
The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

No information

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

No information

Mandatory requirements for the module test application:

This module has no requirements.

Module completion

Grading

graded

Type of exam

Portfolio examination

Type of portfolio examination

No information

Language

German

Test elements

NamePoints/WeightCategorieDuration/Extent
No test elements given

Grading scale

No information

Test description (Module completion)

No information

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:
Sommersemester.

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures

No information

Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable

 

Electronical lecture notes

Availability:  available

 

Literature

Recommended literature
No recommended literature given

Assigned Degree Programs


This module is used in the following Degree Programs (new System):

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
This module is not used in any degree program.

Students of other degrees can participate in this module without capacity testing.

Miscellaneous

No information