Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Videoportal
Hauptnavigation
Course
Clip
Podcasts
Semester
Lecturer
FAU Organizations
Search
Livestream
Hörsäle
FAQ
IdM-login
EN
Search:
Grundlagen der Logik in der Informatik 2017/2018 /CoursesID:617
- Most recent entry on 2018-02-07
Keywords:
Informatik
Vollständigkeit
Induktion
Logik
Tautologie
Normalform
NNF
Skolemform
Herbrand
Herbrand-Theorie
Herbrandmodell
Grundinstanz
Grundinstanzlemma
Löwenheim
Skolem
Peano-Arithmetik
Henkin
Henkin-Theorie
Lecturer
Prof. Dr. Lutz Schröder
Organisational Unit
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Recording type
Vorlesungsreihe
Via
Free
Language
German
Course RSS Feeds
RSS Feeds
SD Video (640)
HD Video (1280)
QHD Video (1920)
Audio (MP3)
Associated Clips
Episode
Title
Lecturer
Updated
Via
Duration
Media
Search course clips:
1
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-10-18
Free
01:10:42
slides
audio
captions
go to clip page
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-10-25
Free
01:27:02
slides
audio
captions
go to clip page
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-11-08
Free
01:24:15
slides
audio
captions
go to clip page
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-11-15
Free
01:21:24
slides
audio
captions
go to clip page
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-11-22
Free
01:25:04
slides
captions
go to clip page
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-11-29
Free
01:23:30
slides
audio
captions
go to clip page
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-12-06
Free
01:20:25
slides
audio
captions
go to clip page
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-12-13
Free
01:17:01
slides
audio
captions
go to clip page
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-12-20
Free
01:25:47
slides
audio
captions
go to clip page
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2018-01-10
Free
01:21:22
slides
audio
captions
go to clip page
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2018-01-17
Free
01:21:19
slides
captions
go to clip page
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2018-01-24
Free
01:21:41
slides
audio
captions
go to clip page
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2018-01-31
Free
00:54:32
slides
audio
captions
go to clip page
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2018-02-07
Free
01:15:00
slides
audio
captions
go to clip page
More courses from Prof. Dr. Lutz Schröder
Theorie der Programmierung (ThProg) 2014
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Theorie der Programmierung 2015
Prof. Dr. Lutz Schröder
lecture
2015-07-16
Free
Komplexität von Algorithmen 2013
Prof. Dr. Lutz Schröder
lecture
2013-07-19
Free
Grundlagen der Logik in der Informatik 2022/2023
Prof. Dr. Lutz Schröder
lecture
2023-02-09
IdM-login
Theorie der Programmierung 2022
Prof. Dr. Lutz Schröder
lecture
2022-07-28
IdM-login
More courses in this category "Technische Fakultät"
Schätzverfahren in der Regelungstechnik (SRT) - Begleitmaterial zur Übung 2021
M. Sc. Lukas Triska
Tutorial
2021-07-16
Studon
Rechnerarchitektur 2017/2018
Prof. Dr. Dietmar Fey
lecture
2018-02-05
Free
Satellitenkommunikation [SatKom] 2020
Christian Rohde
lecture
2020-10-01
IdM-login / Studon
Robotics 1 Übung 2023
Julian Kißkalt
lecture
2023-05-24
Studon
Rechnerübung TRXSys
Prof. Dr. Jörn Thielecke
Tutorial
2020-07-07
Studon
Are you ready to go?
×
Select "Logout" below if you are ready to end your current session.