Actual

• Exercises start November 10. There will be five exercises.
•  (November 11) Soon we will start to use the Caesar-Aldebaran software in the exercises. The software can be run in the machine melkki . In order to use the system, you should write the following lines into your .profile file.

                                                 CADP = /opt/cadp-2010beta;  export CADP

                                                  export PATH=$PATH:/opt/cadp-2010beta/com

                                                  export PATH=$PATH:/opt/cadp-2010beta/bin.iX86

    When you connect to melkki or melkinpaasi with ssh, use the option ssh -X melkki.cs.helsinki.fi  After this you can start the graphical user interface of cadp with the command xeuca.                                                                                                                                                                                                                    

Exercises

• Exercise 1.    
  
• Solutions 1.
• Exercise 2
• Solutions 2.
• Exercise 3
• Solutions 3: 1-4 and 5.
• Exercise 4
• Solutions 4
• Exercise 5
• Solutions 5