The computer science method. The Java programming language. Primitive types. Flow control. Methods and recursion. Object oriented programming. Algorithmic techniques for problem solving. Experimental program verification.
P. Crescenzi, Gocce di Java, Franco Angeli, 2005.
E. Barcucci, P. Crescenzi, The computer science method (available in the web).
Learning Objectives
knowledge:
The course intends to give the methodological basis and knowledge of the procedural and object-oriented programming paradigms, of the algorithmic techniques for problem solving, and of the experimental program verification methods.
Skills acquired:
The expected competences of the student are analyzing and designing a problem, developing a solution by using algorithmic and programming tools, proving its correctness, and verifying its efficiency.
Skills acquired (at the end of the course):
The students will be able to implement algorithms for several kinds of problems by using a programming language (in particular, Java).
Prerequisites
No prerequisite.
Teaching Methods
Number of hours for personal study and other individual learning: 204
Number of hours for classroom activities: 66
Number of hours for laboratory activities (laboratory classes): 30
Further information
Frequency of lessons and exercises: Recommended
Tools to support teaching UniFi E-Learning: http://el.unifi.it
Office hours:
Monday, Tuesday and Wednesday, 14:30 to 16:30 or by appointment.
The computer science method. The Java programming language. Primitive types. Flow control. Methods and recursion. Object oriented programming. Algorithmic techniques for problem solving. Experimental program verification.