This is an introductory course on the fundamentals of computer programming. I see this class as an opportunity for you, the student, to see what computer programming is all about and (more importantly ...

Learn about and revise programming fundamentals with this BBC Bitesize GCSE Computer Science OCR study guide.

We are largely going to use Volume 1 (Logical Foundations) and Volume 2 (Programming Language Foundations) of Pierce et al’s Software Foundations course notes. The language/tool for this book is Coq.

This is an introductory course on the fundamentals of computer programming. I see this class as an opportunity for you, the student, to see what computer programming is all about and (more importantly ...