Module Specifications..
Current Academic Year 2023 - 2024
Please note that this information is subject to change.
| |||||||||||||||||||||||||||||||||||||||||
None Array |
|||||||||||||||||||||||||||||||||||||||||
Description To introduce basic logic as it relates to programming and to introduce PROLOG | |||||||||||||||||||||||||||||||||||||||||
Learning Outcomes 1. define various logical operators 2. use truth tables in propositional logic 3. produce proofs in propositional logic 4. define quantifiers in predicate logic 5. prove simple theorems in predicate logic 6. write simple programs in prolog | |||||||||||||||||||||||||||||||||||||||||
All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml |
|||||||||||||||||||||||||||||||||||||||||
Indicative Content and Learning Activities
Formal systemsFormal Languages and Deductive AppartusPropositional calculusLogical Operators and ProofsPredicate calculusFirst Order PredicatesPROLOGA programming language for solving logical problems | |||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||
Indicative Reading List | |||||||||||||||||||||||||||||||||||||||||
Other Resources None | |||||||||||||||||||||||||||||||||||||||||
Programme or List of Programmes
| |||||||||||||||||||||||||||||||||||||||||
Date of Last Revision | 17-SEP-09 | ||||||||||||||||||||||||||||||||||||||||
Archives: |
|