Master's Programme Computer Science Specialisation

Logic and Learning


  

Elective Module: Logic and Learning   (WM 7)

 

Elective Module: Selected Topics in Logic and Learning   (WM 8)

WS 2023

SS 2024

WS 2024 (planned)

  • VU3 "Program and Resource Analysis"

SS 2025 (planned)

  • VU3 "Automated Theorem Proving"
  • VU3 "Advanced Logic"

 

Elective Module: Advanced Topics in Logic and Learning   (WM 9)

WS 2022

SS 2023

WS 2023

SS 2024

WS 2024 (planned)

  • VU3 "Tree Automata"

SS 2025 (planned)

  • VU3 "Selected Topics in Term Rewriting"
  • SE2 "Research Seminar: CL/TCS"


Nach oben scrollen