Nonclassical Logics in Computer Science 2015/2016

Detailed information

Most recent entry on 2016-02-02 

Faculty

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
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-02
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free

More courses in this category "Computer Science"

Schloss1
Dr. Tadeusz Litak
2019-07-25
Passwort
Brune, Philipp
Prof. Dr. Philipp Brune
2019-08-19
Studon
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-21
Free