COMPUTER SCIENCE
Academic Year 2016/2017 - 3° Year - Curriculum UnicoCredit Value: 10
Scientific field: INF/01 - INFORMATICS
Taught classes: 60 hours
Term / Semester: 1°
Learning Objectives
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.
Detailed Course Content
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.
Textbook Information
Teacher’s lectures:
1. Informatica di base_11.
2. Informatica e calcolo automatico.