Foundations of Computer Science 2015/2016 - BSc Computer Science Engineering, University of Rome Tor Vergata