Display language
To modulepage Generate PDF

#40023 / #3

WS 2017/18 - SS 2019

German

Logik
Logic

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

Pilz, Jana

stephan.kreutzer@tu-berlin.de

Learning Outcomes

Students gain a solid understanding of the rôle logic plays in computer science, including standard applications of logic such as in databases, computer aided verification and artificial intelligence. Students will become acquainted with formalisations in logical languages and will become familiar with formalising properties in logical languages, especially in first-order and propositional logic. They will learn to work with and manipulate formulas and to assess the soundness of formal arguments.

Content

* Applications of logic in computer science Propositional logic * Syntax and semantics of propositional logic * Substitution * Logical equivalence and normal forms * The resolution calculus * Algorithmic foundations of modern SAT-solvers and their applications in algorithmics and artificial intelligence First-order predicate logic * Logical structures * Syntax and semantics of first-order logic * Logical entailment, equivalence and normal forms * Relational algebra and calculus * Sequential calculus * Definability in first-order logic

Module Components

Pflichtteil:

All Courses are mandatory.

Course NameTypeNumberCycleLanguageSWSVZ
LogikVorlesungWiSeNo information2
LogikÜbungWiSeNo information2

Workload and Credit Points

Logik (Vorlesung):

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

Logik (Ü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

100 Punkte insgesamt

Language

German

Test elements

NamePointsCategorieDuration/Extent
No information12writtenNo information
No information12writtenNo information
No information26writtenNo information
No information50writtenNo information

Grading scale

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«

Gesamtpunktzahl1.01.31.72.02.32.73.03.33.74.0
100.0pt86.0pt82.0pt78.0pt74.0pt70.0pt66.0pt62.0pt58.0pt54.0pt50.0pt

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:
Wintersemester.

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:  available

 

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