DEPARTMENT OF EDUCATIONAL SCIENCES
Bachelor's Degree in Educational Sciences
Academic Year 2015/2016 - 3° Year
Bachelor's Degree in Educational Sciences
Academic Year 2015/2016 - 3° Year
COMPUTER SCIENCE
INF/01 - 6 CFU - 1° Semester
Teaching Staff
GIUSEPPE SORACEDetailed 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
Open in PDF format Versione in italiano