Bookmarks of Anton Setzer (Teaching oriented)

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

• Genarl
  • Advice on critical thinking skills, managing money, exam and revision skills
  • Software
    • BOSS System(Automatic submission of coursework etc.)
    • Ceilidh System (Automatic submission of coursework etc.)
• Mathematical
  • General
    • Biographies and pictures of many mathematicians (Index)
    • Survey of results of the reform in mathematics education in U.S.
• Computer Science
  • General
    • Centre for Information and Computer Sciences (LTSN-ICS) Helps to develop education at computer science departments.
  • Curriculum
    • Ironman draft (Curriculum developped by ACM and IEEE, 2001)
  • Formal Methods
    • Exercises for math student formalized on computers
    • Resources on Formal Methods Education