Module Specifications..
Current Academic Year 2022 - 2023
Please note that this information is subject to change.
| |||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||
Array | |||||||||||||||||||||||||||||||||||||||
Programme or List of Programmes | |||||||||||||||||||||||||||||||||||||||
CASE | BSc in Computer Applications (Sft.Eng.) | ||||||||||||||||||||||||||||||||||||||
COMSCI | BSc in Computer Science | ||||||||||||||||||||||||||||||||||||||
ECSA | Study Abroad (Engineering & Computing) | ||||||||||||||||||||||||||||||||||||||
ECSAO | Study Abroad (Engineering & Computing) | ||||||||||||||||||||||||||||||||||||||
Timetable this semester: Timetable for CA208 | |||||||||||||||||||||||||||||||||||||||
Date of Last Revision | 17-SEP-09 | ||||||||||||||||||||||||||||||||||||||
Archives: |
|