jiahao79 / appliedlogic Goto Github PK
View Code? Open in Web Editor NEWComputer Science 2209 - Applied Logic for Computer Science - Propositional and predicate logic; representing static and dynamic properties of real-world systems; logic as a tool for representation, reasoning and calculation; logic and programming.