|
|
|
Module Aims
|
7 To introduce basic logic as it relates to programming
7 To introduce PROLOG
|
|
Learning Outcomes
|
On completion of the module the students will have
7 An understanding of formal systems
7 A knowledge of basic logical concepts and formalisms
7 An awareness of the relation between logical specifications and computing systems
7 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) |
| CAIS | BSc in Computer Applications (Inf.Sys.) |
| 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