COMPUTER SCIENCE
Academic Year 2015/2016 - 3° Year
Teaching Staff: Giuseppe SORACE
Credit Value: 6
Scientific field: INF/01 - INFORMATICS
Taught classes: 36 hours
Term / Semester: 1°
Credit Value: 6
Scientific field: INF/01 - INFORMATICS
Taught classes: 36 hours
Term / Semester: 1°
Detailed Course Content
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: Informatica e calcolo automatico