Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungNächste ÜberarbeitungBeide Seiten, nächste Überarbeitung |
pruefungen:hauptstudium:ls8_kwarc [12.12.2018 10:03] – tyr | pruefungen:hauptstudium:ls8_kwarc [20.07.2021 09:59] – Add AI2/AI1+2 summary zge |
---|
| |
==== Künstliche Intelligenz 1 (KI1) ==== | ==== Künstliche Intelligenz 1 & 2 ==== |
[[https://kwarc.info/teaching/AI/|Altklausuren und sonstiges Material]] | [[https://kwarc.info/teaching/AI/|Altklausuren und sonstiges Material]] |
| |
===Protokolle=== | ===Summaries=== |
* [[https://kwarc.info/teaching/AI/exam-WS167.pdf|Klausur]] - WS16/17\\ | * {{:pruefungen:hauptstudium:ai1-summary.pdf|AI1 Summary, WS20}} ([[https://gitlab.cs.fau.de/oj14ozun/ai1-summary|source]], deprecating {{:pruefungen:hauptstudium:ki1-summary-ws1819.pdf|Summary of slides (KI1, WS2018)}}, {{:pruefungen:ki1-zusammenfassung.pdf|Summary of slides (KI1, WS2017)}})\\ |
* [[https://kwarc.info/teaching/AI/exam-WS167-with-solutions.pdf|Klausur mit Lösung]] - WS16/17 | * {{:pruefungen:hauptstudium:ai2-summary.pdf|AI2 Summary, SS21}} ([[https://gitlab.cs.fau.de/oj14ozun/ai2-summary|source]], {{:pruefungen:hauptstudium:ai1_2-summary.pdf|//all in one//-version}}, deprecating {{:pruefungen:hauptstudium:ki2-zusammenfassung.pdf|Summary of slides (KI2, SS2018)}}) |
| * {{:pruefungen:hauptstudium:ki1-zusammenfassung-ws18.pdf|Summary (KI1, WS2018)}} |
| |
===Summary=== | |
{{:pruefungen:hauptstudium:ki1-summary-ws1819.pdf|Summary of slides (KI1, WS2018)}} ([[https://gitlab.cs.fau.de/tyr/ki-1-summary/tree/master|tex]])\\ | |
{{:pruefungen:ki1-zusammenfassung.pdf|Summary of slides (KI1, WS2017)}} ([[https://gitlab.cs.fau.de/snippets/15|tex]])\\ | |
{{:pruefungen:hauptstudium:ki2-zusammenfassung.pdf|Summary of slides (KI2, SS2018)}} | |
===Propositional Logic Calculi=== | ===Propositional Logic Calculi=== |
{{:pruefungen:propositional_logic_calculi.pdf|Summary of rules}} ({{:pruefungen:propositional_logic_calculi.tex|tex}}) | {{:pruefungen:propositional_logic_calculi.pdf|Summary of rules}} ({{:pruefungen:propositional_logic_calculi.tex|tex}}) |
| |
===Protokolle=== | ===Protokolle=== |
| * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_201904xx|mündliche Klausur 2019]] - WS18/19 |
* [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180329|mündliche Klausur 29.03.2018]] - WS17/18 | * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180329|mündliche Klausur 29.03.2018]] - WS17/18 |
* [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180322|mündliche Klausur 22.03.2018]] - WS17/18 | * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180322|mündliche Klausur 22.03.2018]] - WS17/18 |
| |
| |
| ==== Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT) ==== |
| |
| ===Protokolle=== |
| * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/krmt_2019|mündliche Klausur 2019]] - SoSe 2019 |