www.cs.cmu.edu

15-317 Constructive Logic

In this lecture we apply the ideas behind lax logic to give a logical treated to authorization, where principals in a distributed system can digitally sign logical propositions from which access ...
Geeky Gadgets

Paper Logic paper craft computer logic

Designer and artist Philip Glofcheskie, based in Ottawa, Canada, has created a unique paper craft computer logic system aptly named Paper Logic. Paper Logic takes the form of a digital book in PDF ...
GitHub

Proof Theory of Modal Logic

This webpage contains the slides, handouts and homeowork assignments for the course Proof Theory of Modal Logic, which will take place within the 5th Tsinghua Logic Summer School, organized by the ...
Geeky Gadgets

Computer Logic Gates demonstrated using water

YouTuber Steve Mould has created a great demonstration of computer logic gates using water, tubes, and 3D printed components. This innovative approach provides a tangible and visual way to understand ...
insideHPC

Richard Feynman Computer Heuristics Lecture

Richard Feynman, winner of the 1965 Nobel Prize in Physics and world renown “curious character,” gives us an insightful 1985 lecture about computer heuristics: how computers work, how they file ...