Inf1 - Computation and Logic | University of Edinburgh
University of Edinburgh
Explore the fundamentals of computation and logic with this comprehensive course from the University of Edinburgh. Access weekly schedules, previous materials, and a birds-eye overview of the subject matter.
University CoursesCompiler
Introduction
This page is designed to provide easy access to the course materials in convenient form. The definitive source is on Learn, but if that fails, this may still be here. Comments and suggestions for improvement are welcome.
Highlights
Weekly course schedule and activities
Access to previous weeks' materials
Birds-eye overview of the Computation and Logic course
Recommendation
This course is suitable for students interested in exploring the fundamentals of computation and logic. It provides a comprehensive overview of the subject matter and offers a convenient way to access the course materials.
How GetVM Works
Learn by Doing from Your Browser Sidebar
Access from Browser Sidebar
Simply install the browser extension and click to launch GetVM directly from your sidebar.
Select Your Playground
Choose your OS, IDE, or app from our playground library and launch it instantly.
Learn and Practice Side-by-Side
Practice within the VM while following tutorials or videos side-by-side. Save your work with Pro for easy continuity.