Study programme 2018-2019 | Français | ||
Logical Programming | |||
Programme component of Bachelor's Degree in Computer Science à la Faculty of Science |
Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-B3-SCINFO-013-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
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
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
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 | Authorized |