Bookmarks of Anton Setzer (Teaching oriented)

• Other Bookmark Categories
  • General Links
  • Research
  • Transport, Travel
  • Hardware and Software
• Mathematical
  • General
• Computer Science
  • General
  • Curriculum
  • Formal Methods|

• Mathematical
  • General
    • Survey of results of the reform in mathematics education in U.S.
• Computer Science
  • General
  • Curriculum
    • Ironman draft (Curriculum developped by ACM and IEEE, 2001)
  • Formal Methods
    • Exercises for math student formalized on computers
    • Resources on Formal Methods Education