|
|
|
Module Aims
|
To introduce basic logic as it relates to programming to introduce PROLOG
|
|
Learning Outcomes
|
On completion of the module the students will have an understanding of formal systems a knowledge of basic logical concepts and formalisms an awareness of the relation between logical specifications and computing systems basic competence in PROLOG programming
|
|
Indicative Time Allowances
|
|
|
Hours
|
|
Lectures |
24
|
|
Tutorials |
12
|
|
Laboratories |
0
|
|
Seminars |
0
|
|
Independent Learning Time |
39
|
|
|
|
|
Total |
75
|
|
Placements |
|
|
Assignments |
|
|
|
NOTE
|
Assume that a 5 credit module load represents approximately 75 hours' work, which includes all teaching, in-course assignments, laboratory work or other specialised training and an estimated private learning time associated with the module.
|
|
Indicative Syllabus
|
|
Formal systems ·Prepositional calculus ·Predicate calculus ·PROLOG ·Set theory ·Relations ·Functions ·Sequences
|
| Assessment | | Continuous Assessment | 50% | Examination Weight | 50% |
|
|
Indicative Reading List
|
|
Essential Software Engineering Mathematics (Edition ), Woodcock & Loomes, , ISBN: See SICStus PROLOG manual (Edition ), ISBN: See Programming in PROLOG (Edition ), Clocksin & Mellish, , ISBN: See Supplementary
|
|
|
|
Programme or List of Programmes
|
| BSSA | Study Abroad (DCU Business School) |
| BSSAO | Study Abroad (DCU Business School) |
| CASE | BSc in Computer Applications (Sft.Eng.) |
| ECSA | Study Abroad (Engineering & Computing) |
| ECSAO | Study Abroad (Engineering & Computing) |
| HMSA | Study Abroad (Humanities & Soc Science) |
| HMSAO | Study Abroad (Humanities & Soc Science) |
| SHSA | Study Abroad (Science & Health) |
| SHSAO | Study Abroad (Science & Health) |
| Archives: | |
DCU Home
|
Our Courses
|
Loop
|
Registry
|
Library
|
Search DCU