fau.tv Search

Suchergebnisse für 'logic'

13 Kurse gefunden

Logic-Based Natural Language Semantics (LBS) 2024/2025

Prof. Dr. Michael Kohlhase

Vorlesung

Frei

language,computational logic

Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Prof. Dr. Michael Kohlhase

Vorlesung

Frei / IdM-Anmeldung

KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023

Prof. Dr. Michael Kohlhase

Vorlesung

IdM-Anmeldung

logic, Metalogic, Formalization

LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

Prof. Dr. Michael Kohlhase

Vorlesung

IdM-Anmeldung

KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

Prof. Dr. Michael Kohlhase

Vorlesung

IdM-Anmeldung

mathematics, computational logic, knowledge representation, STEM

Logic-Based Natural Language Semantics (LBS) 2021/2022

Prof. Dr. Michael Kohlhase

Vorlesung

IdM-Anmeldung

Praktische Semantik von Programmiersprachen 2019

Dr. Tadeusz Litak

Vorlesung

Passwort

... ) The students evaluate the role played by logic ...

Ontologien im Semantic Web 2018

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... M Krötzsch, F Simancik, I Horrocks; A description logic ...

Nonclassical Logics in Computer Science 2015/2016

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... Moreover they can be seen as a computationally well-behaved fragment of first-order logic over relational ...

Kommunikation und Parallele Prozesse 2015

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721 ...

Kommunikation und Parallele Prozesse 2014

Prof. Dr. Lutz Schröder

Vorlesung

Frei

... In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721 ...

Artificial Intelligence I 2018/2019

Prof. Dr. Michael Kohlhase

Vorlesung

Frei

... particular, problem solving by heuristic search, game play via adversarial search, constraint satisfaction, logic ...

Category and Topos Theory in the Foundations of Physics (PW Foundations) 2014/2015

Prof. Dr. Andreas Döring

Vorlesung

Passwort / Studon

... The approach does not just draw on category and topos theory, but also uses operator algebras, logic, ...

285 Clips gefunden

14-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2025-01-29

language,computational logic

13-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2025-01-22

language,computational logic

12-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2025-01-15

language,computational logic

77-NHR PerfLab Seminar 2025-01-15: Efficient and Robust Hardware for Neural Networks 2024/2025

Frei

Sonstiges

2025-01-15

... To reduce energy consumption incurred by data movement, the logic design of neural networks is presented ...

11-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2025-01-08

10-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-12-18

9-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-12-11

8-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-12-04

7-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-11-27

6-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-11-20

5-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-11-13

4-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-11-06

3-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-10-30

2-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-10-23

1-Logic-Based Natural Languate Semantics (LBS WS2024/25) 2024/2025

Frei

Sonstiges

2024-10-16

31-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-02-08

30-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-02-06

29-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-02-01

28-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-30

27-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-25

26-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-23

25-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-18

24-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-16

23-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-11

22-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2024-01-10

21-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-21

20-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-19

19-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-14

18-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-12

17-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-07

16-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-12-05

15-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-30

13-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-28

14-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-28

12-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-23

2-FAU MoD Lecture Series. Special November 2023 2023/2024

Frei

universitäre Vorlesung

2023-11-22

... is commonly accepted that all of mathematics could be expressed and indeed developed in first-order logic ...

11-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-21

10-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-14

9-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-09

8-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-07

7-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-11-02

6-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-10-31

5-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-10-26

3-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

IdM-Anmeldung

Sonstiges

2023-10-25

4-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-10-25

2-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

IdM-Anmeldung

Sonstiges

2023-10-19

1-Logic-Based Natural Language Semantics (WS 23/24) 2023/2024

Frei

Sonstiges

2023-10-17

30-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-02-09

29-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-02-08

28-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-02-02

27-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-31

26-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-27

24-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-24

25-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-24

23-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-17

21-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-12

20-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2023-01-10

19-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-22

18-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-20

17-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-15

16-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-08

15-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-06

14-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-12-01

13-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-29

12-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-24

10-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-22

11-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-22

9-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-17

8-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-15

7-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-10

6-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-08

5-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-11-03

4-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-27

2-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-26

3-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-26

2-Lecture 2, 24 Oct. 2022 2022/2023

Frei

universitäre Vorlesung

2022-10-26

... <p>logic and number representations</p> ...

1-LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023

IdM-Anmeldung

universitäre Vorlesung

2022-10-18

22-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-07-20

21-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-07-19

20-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-07-13

19-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-07-12

18-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-07-06

17-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-29

16-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-28

15-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-22

14-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-15

13-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-14

12-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-08

11-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-06-01

10-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-31

9-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-25

8-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-24

6-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-18

7-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-18

5-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-10

3-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-04

4-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-05-04

2-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-04-27

1-KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022

IdM-Anmeldung

universitäre Vorlesung

2022-04-26

27-Logic-Based Natural Language Semantics (LBS) 2021/2022

IdM-Anmeldung

universitäre Vorlesung

2022-02-10