| Module Title |
Logic |
| Module Code |
CSC1018 (ITS: CA208) |
|
Faculty |
Engineering & Computing |
School |
Computing |
|
NFQ level |
8 |
Credit Rating |
5 |
|
|
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
|
| Workload | Full time hours per semester | | Type | Hours | Description |
|---|
| Lecture | 24 | covering logic and prolog | | Tutorial | 7 | supervised paper-based exercises | | Directed learning | 4 | written exam and lab exam | | Independent Study | 90 | Self-teaching tutorials |
| Total Workload: 125 |
|
|
| Section Breakdown | | CRN | 20139 | Part of Term | Semester 2 | | Coursework | 50% | Examination Weight | 50% | | Grade Scale | 40PASS | Pass Both Elements | N | | Resit Category | RC1 | Best Mark | N | | Module Co-ordinator | David Sinclair | Module Teacher | |
|
| Assessment Breakdown |
| Type | Description | % of total | Assessment Date |
|---|
| Performance evaluation | Lab Exam | 50% | Week 10 | | Formal Examination | End-of-Semester Final Examination | 50% | End-of-Semester |
| Reassessment Requirement Type |
Resit arrangements are explained by the following categories;
RC1: A resit is available for both* components of the module.
RC2: No resit is available for a 100% coursework module.
RC3: No resit is available for the coursework component where there is a coursework and summative examination element.
* ‘Both’ is used in the context of the module having a coursework/summative examination split; where the module is 100% coursework, there will also be a resit of the assessment
|
|
Pre-requisite |
None
|
|
Co-requisite |
None |
| Compatibles |
None |
| Incompatibles |
None |
|
|
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
Error parsing Indicative Content: Syntax error - 4 |
Indicative Reading List
Books:
None
Articles:
None |
Other Resources
None |
|
|
|
|
