Courses

Courses of R.P. Nederpelt at Eindhoven University of Technology:

• Proving with Computer Assistance (2IF40)
  
  
• Proving with Computer Assistance (old course, 2R840)
  
  
• Language and Structure of Mathematics (2IF50)
  
  
• Informatica 1 (2IJ10) (old course, is no longer given)
  
  
• Logic and Set Theory (2IT10) (course is given by dr. S.P. Luttik since 2005/2006)