fau.tv Search

Suchergebnisse für 'Logik'

16 Kurse gefunden

Grundlagen der Logik in der Informatik 2023/2024

Prof. Dr. Lutz Schröder

Vorlesung

IdM-Anmeldung

Grundlagen der Logik in der Informatik 2022/2023

Prof. Dr. Lutz Schröder

Vorlesung

IdM-Anmeldung

Artificial Intelligence I 2022/2023

Prof. Dr. Michael Kohlhase

Vorlesung

Frei

... mittels heuristischer Suche, Spiel-KI mittels adverserieller Suche, Constraint-Lösen, Logik ...

Pro-/Seminar "Logik und Künstliche Intelligenz für Legal Tech - Subsumtion und Logik in Rechtsanwendung 2022

Dr. Axel Adrian

Vorlesung

Frei

Artificial Intelligence I (AI I) 2021/2022

Prof. Dr. Michael Kohlhase

Vorlesung

IdM-Anmeldung

... mittels heuristischer Suche, Spiel-KI mittels adverserieller Suche, Constraint-Lösen, Logik ...

Grundlagen der Logik in der Informatik 2021/2022

Prof. Dr. Lutz Schröder

Vorlesung

IdM-Anmeldung

LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

Prof. Dr. Michael Kohlhase

Vorlesung

Frei / IdM-Anmeldung

Digitaltechnik (DIGIT V) 2020/2021

Prof. Dr. Georg Fischer

Vorlesung

IdM-Anmeldung

Minimierung, Logik, Gatter

Ausgewählte wissensbasierte Verfahren in der Fertigungstechnologie 2020/2021

Prof. Dr. Hinnerk Hagenah

Vorlesung

Studon

... Nach einer Einleitung werden unter anderem Datenbanken, Neuronale Netze und Fuzzy Logik behandelt. ...

Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

PD Dr. Florian Rabe

Vorlesung

IdM-Anmeldung

Kommunikation und Parallele Prozesse 2015

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... gt;Starke und schwache Bisimulation Hennessy-Milner-Logik ...

Grundlagen der Logik in der Informatik 2017/2018

Prof. Dr. Lutz Schröder

Vorlesung

Frei

Grundlagen der Logik in der Informatik 2016/2017

Prof. Dr. Lutz Schröder

Vorlesung

Frei

Grundlagen der Logik in der Informatik 2015/2016

Prof. Dr. Lutz Schröder

Vorlesung

Frei

Grundlagen der Logik in der Informatik 2014/2015

Prof. Dr. Lutz Schröder

Vorlesung

Frei

Grundlagen der Logik und Logikprogrammierung 2012

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... Klassische Logik 7. Logikkalküle 7. ...

173 Clips gefunden

15-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2024-02-08

14-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2024-02-01

13-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2024-01-25

12-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2024-01-18

11-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2024-01-11

10-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-12-21

9-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-12-14

8-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-12-07

7-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-11-30

6-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-11-23

5-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-11-16

4-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-11-09

3-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-11-02

2-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-10-26

0-Livestream - Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-10-19

1-Grundlagen der Logik in der Informatik 2023/2024

IdM-Anmeldung

universitäre Vorlesung

2023-10-19

15-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-02-09

14-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-02-02

13-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-26

12-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-19

11-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-12

10-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-22

9-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-15

8-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-08

7-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-01

6-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-24

5-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-17

4-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-10

3-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-03

2-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-27

0-Livestream - Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-20

1-Grundlagen der Logik in der Informatik 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-20

0-Livestream - Artificial Intelligence I 2022/2023

Frei

universitäre Vorlesung

2022-10-19

... ;sen mittels heuristischer Suche, Spiel-KI mittels adverserieller Suche, Constraint-Lösen, Logik ...

2-Einheit 2/4: „Justizsyllogismus, Subsumtion, Argumentation, Logik, formale Sprachen für Tatsachen sowie 2022

Frei

Sonstiges

2022-05-24

3-Alexander Stehen – Uni Greifswald: „Einführung in Logik und automatisches Schließen““ 2022

Frei

Sonstiges

2022-05-24

0-Überblick: Legal-Tech, Logik, Subsumtion und KI-Disziplinen 2022

Frei

Sonstiges

2022-04-30

0-Livestream - Grundlagen der Logik in der Informatik 2021/2022

IdM-Anmeldung

universitäre Vorlesung

2021-10-17

24-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-02-09

23-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-02-08

21-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-02-02

22-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-02-02

19-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-28

20-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-28

18-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-26

8-Überblick über einige Grundzüge der Logik 2020/2021

Frei

Sonstiges

2021-01-26

7-Wie lässt sich überhaupt juristische Argumentation formalisieren – Interview mit Herrn Prof. Dr. Michael Kohlhase 2020/2021

Frei

Sonstiges

2021-01-26

... Dies könnte dazu dienen, um juristische Logik z.B. in einem Gerichtsurteil zu analysieren ...

12-Semantik & formale Logik 2020/2021

IdM-Anmeldung / Passwort / Studon

Sonstiges

2021-01-25

17-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-21

16-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-14

15-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-12

14-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-07

14-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2021-01-07

13-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-17

12-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-15

11-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-10

10-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-08

9-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-03

8-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-12-01

7-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-11-26

6-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-11-24

5-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

IdM-Anmeldung

universitäre Vorlesung

2020-11-19

4-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

Frei

universitäre Vorlesung

2020-11-16

3-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

Frei

universitäre Vorlesung

2020-11-10

2-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

Frei

universitäre Vorlesung

2020-11-05

1-LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021

Frei

universitäre Vorlesung

2020-11-03

6-Excel: Gestalten mit Logik - die bedingte Formatierung 2020/2021

Passwort / Studon

Sonstiges

2020-10-12

1-Grundlagen, DoE 2020/2021

Studon

universitäre Vorlesung

2020-09-01

... Nach einer Einleitung werden unter anderem Datenbanken, Neuronale Netze und Fuzzy Logik behandelt. ...

31-9.4 Kombinatorische Logik und sequentielle Logik 2020

Studon

universitäre Vorlesung

2020-07-19

8-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-07-16

7-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-06-24

6-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-06-03

5-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-05-28

4-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-05-27

3-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-05-20

1-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-05-08

2-Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen 2020

IdM-Anmeldung

universitäre Vorlesung

2020-05-07

14-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2018-02-07

13-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2018-01-31

12-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2018-01-24

11-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2018-01-17

7-Georg Cantor und die Anfänge der Grundlagenforschung 2017/2018

Frei

Veranstaltung für die Öffentlichkeit

2018-01-11

... Als Alternativen dazu wurden Ernst Schröders Algebra der Logik oder Hilberts frühes axiomatisches Programm ...

10-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2018-01-10

9-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-12-20

8-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-12-13

7-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-12-06

6-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-11-29

5-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-11-22

4-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-11-15

3-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-11-08

2-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-10-25

1-Grundlagen der Logik in der Informatik 2017/2018

Frei

universitäre Vorlesung

2017-10-18

15-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2017-02-06

14-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2017-01-30

13-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2017-01-23

12-Grundlagen der Logik in der Informatik 2016/2017

universitäre Vorlesung

2017-01-16

12-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2017-01-16

11-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2017-01-09

10-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2016-12-19

9-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2016-12-12

8-Grundlagen der Logik in der Informatik 2016/2017

Frei

universitäre Vorlesung

2016-12-05