Logic for software engineering and AI

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Logic for Software Engineering and AI - TutorialTutorials24 hours
  • Logic for Software Engineering and AI - CMLecture12 hours