To explain to the students the historical and philosophical path concerning the automation of the calculus, towards the recent development of the modern computer science. Moreover, referring to the founding principles of the artificial intelligence, to animate with appropriate tests the logical and deductive ability of the student, introducing him in the language analysis, and in this way taking care of his capacity of synthesis and simple contest organization.
Algorithms as essential part of Computer science. Some significant algorithms. The binary system. Elements of binary logic. The propositional calculus. The first order calculus and the quantifiers. Founding elements of artificial intelligence and automated calculus. Exercitations.
Teacher’s lectures:
1. Informatica di base_11.
2. Informatica e calcolo automatico.