Speaker
Stefano Martina
(Universita e INFN (IT))
Description
Brief introduction of the analisys of calculability and complexity, and introduction of theoretical computer science. Turing machine, complexity hierarchy, etc...