 | Study programme 2018-2019 | Français | |
 | Logic programming | ||
Programme component of Master's Degree in Computer Science à la Faculty of Science |
| Code | Type | Head of UE | Department’s contact details | Teacher(s) |
|---|---|---|---|---|
| US-M1-SCINFO-056-M | Optional UE | MENS Tom | S852 - Génie Logiciel |
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 15 | 0 | 0 | 3 | 3.00 | 2nd term |
| AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
|---|---|---|---|---|---|---|---|---|
| S-INFO-804 | Logical Programming | 15 | 0 | 15 | 0 | 0 | Q2 | 100.00% |
| Programme component |
|---|
Objectives of Programme's Learning Outcomes
- Have acquired highly specialised and integrated knowledge and broad skills in the various disciplines of computer science, which come after those within the Bachelor's in computer science.
- Develop and integrate a high degree of autonomy.
- Pursue further training and develop new skills independently.
Learning Outcomes of UE
At the end of this course, the students should be able to use the paradigm of logic programming, and understand its main characteristics. The students should also have gained a practical experience with the Prolog programming language.
Content of UE
The history of logic programming.
The formal foundations of logic programming and its relation to mathematical logic.
The control and data structures used in logic programming.
The syntax and semantic of the programming language Prolog.
Prior Experience
Basic knowledge about programming languages.
Practical experience with at least one programming language.
Type of Assessment for UE in Q2
- Written examination
Q2 UE Assessment Comments
A written exam covering the theoretical and practical aspects of the cours, and counting for 100% of the total points of the course.
Type of Assessment for UE in Q3
- Written examination
Q3 UE Assessment Comments
A written exam covering the theoretical and practical aspects of the cours, and counting for 100% of the total points of the course.
Type of Teaching Activity/Activities
| AA | Type of Teaching Activity/Activities |
|---|---|
| S-INFO-804 |
|
Mode of delivery
| AA | Mode of delivery |
|---|---|
| S-INFO-804 |
|
Required Reading
| AA | |
|---|---|
| S-INFO-804 |
Required Learning Resources/Tools
| AA | Required Learning Resources/Tools |
|---|---|
| S-INFO-804 | All required learning resources and tools are available on Moodle, the online e-learning platform of UMONS. |
Recommended Reading
| AA | |
|---|---|
| S-INFO-804 |
Recommended Learning Resources/Tools
| AA | Recommended Learning Resources/Tools |
|---|---|
| S-INFO-804 | All recommended learning resources and tools are available on Moodle, the online e-learning platform of UMONS. |
Other Recommended Reading
| AA | Other Recommended Reading |
|---|---|
| S-INFO-804 | - I. Bratko. Prolog Programming for artificial intelligence, Addison-Wesley, 2011 - L. Sterling, E. Shapiro. The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994 |
Grade Deferrals of AAs from one year to the next
| AA | Grade Deferrals of AAs from one year to the next |
|---|---|
| S-INFO-804 | Unauthorized |