Logic for software engineering and AI

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Logic for software engineering and AI - TDTutorial24h
  • Logic for Software Engineering and AI - CMLecture12h