Nonclassical Logics in Computer Science 2015/2016 /CourseID:788

Detailed information

Most recent entry on 2016-02-02 

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

English

The course overviews non-classical logics relevant for computer scientists, in particular

  • Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus. Modal systems also form the core of logics of agency and logics for reasoning about knowledge. Moreover they can be seen as a computationally well-behaved fragment of first-order logic over relational structures.

  • Intuitionistic logic, which can be seen as a fragment of certain modal logics (S4) or as the logic of type theory and program extraction.

  • Linear logic, which is established as the core system for resource-aware reasoning 

  • The logic of bunched implications and separation logic: more recent formalisms to reason about heap verification and programs involving shared mutable data structures.

  • Fuzzy and multi-valued logics for reasoning with vague information.

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-10-13
Free
01:27:01
2
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-10-19
Free
01:26:01
3
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-10-20
Free
01:31:04
4
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-10-26
Free
01:33:15
5
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-10-27
Free
01:16:27
6
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-02
Free
01:28:01
7
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-03
Free
01:31:28
8
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-09
Free
01:30:29
9
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-10
Free
01:30:58
10
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-16
Free
01:32:20
11
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-17
Free
01:28:11
12
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-23
Free
00:50:35
13
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-24
Free
01:28:40
14
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-11-30
Free
01:28:09
15
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-01
Free
01:29:42
16
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-07
Free
01:27:10
17
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-14
Free
01:31:09
18
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-15
Free
01:27:46
19
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-21
Free
01:33:16
20
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2015-12-22
Free
01:24:36
21
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-01-11
Free
01:31:14
22
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-01-18
Free
01:26:11
23
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-01-19
Free
01:23:13
24
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-01-25
Free
01:29:03
25
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-01-26
Free
01:23:31
26
Nonclassical Logics in Computer Science
Prof. Dr. Lutz Schröder
2016-02-02
Free
01:37:29

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-12
Free

More courses in this category "Technische Fakultät"

Schloss1
PD Dr. Heinz Werner Höppel
2020-05-19
Passwort
Schloss1
M. Sc. Yiheng Tang
2020-04-21
IdM-login
Schloss1
Dr. Michael Lechner
2020-08-20
Studon
Schloss1
Prof. Dr. Bernhard Schmauß
2020-07-04
Studon