Digital Technology Management - BBS 2018/19

Fundamental of Artificial Intelligence - Prof. Gabbrielli

• Constraint programming (CP) with MiniZinc - Dec 4th 2018
  • Constraint Programming in AI
  • Procedural Language vs. Declarative Language
  • CP Methodology
  • CSP & COP
  • Elements in Minizinc
  • Demo model & dataset
• Machine Learning and Weka - Dec 10th 2018
  • Overview: machine learning (ML) in AI
  • Supervised ML vs. Unsupervised ML
  • Types of prediction problems in Supervised ML
  • Learning workflow (supervised & unsupervised)
  • Classical ML methods vs. Deep Learning (DL)
  • Get started with Weka
  • Demo dataset
• Exercises - Dec 12th 2018
  • Basic elements comparison between MiniZinc & Python; download .
  • MiniZinc exercise: declaration of set(variable domain), variables, array of variables, usage of sum() function, exercise 1
  • MiniZinc exercise: declaration of variable and parameters; usage of simple arithmetics; optimization exercise 2

Digital Culture - Prof. Zavattaro

• Python lab course 1 - Dec 5th 2018
  • Variable, types (int,double,string), type casting, function, library, recursive function, turtle
  • Demo prepared by Prof. Zavattaro
  • Conditions: if, elif, else, and, or
  • Lists:
    • element verification: in
    • basic list functions: range(), len(), append(), +
    • list cardinality: set()
    • access, update, delete a list element by its index
    • visiting elements iteratively with 'for'
    • list comprehension
• Python lab course 2 - Dec 13th 2018
  • Review the fundamentals in Python
    • tutorial.py
  • Interactive exercises on learnpython.org
    • From 'Hello, World!' to 'Loops'
  • Exercise: verify if a list of integers are in the increasing order.