✦ LIBER ✦

Computer tools to teach formal reasoning

✍ Scribed by P. Fung; T. O'Shea; D. Goldson; S. Reeves; R. Bornat

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Reasoning and Science Teaching

✍ Nicolaos C. Valanides 📂 Article 📅 1996 🏛 School Science and Mathematics Association 🌐 English ⚖ 665 KB

Teaching Statistical Reasoning with Comp

✍ Ann S. Rosebery; Andee Rubin 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 517 KB

Why computer science students find forma

✍ P. Fung; T. O'Shea; D. Goldson; S. Reeves; R. Bornat 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 912 KB

Teaching Computing to STEM Students via

✍ Hongmei Chi; Harsh Jain 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 417 KB

[Lecture Notes in Computer Science] Tool

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB

A comparison of tools for teaching forma

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB