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 ...

This is an introductory course in the fundamentals of designing digital computer hardware. This course covers: logic gates, binary number system, conversion between number systems, Boolean algebra, ...

Fundamental topics in Computer Science include Type Theory, Generic Programming, Symbolic Execution, Logic-based Learning, Logic- based Argumentation, and Symbolic Verification. Research in these ...

Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into ...