 | | |
| MATH0503-1 | Logic and mathematical approach of programming
|
|
| Duration : | 20h Th, 30h Mon. WS |
|
| Number of credits : |
|
|
| Lecturer : | Samuel Nicolay |
|
Language(s) of instruction :
|
| French language |
|
Organisation and examination :
|
| Teaching in the first semester, review in January |
|
Course contents :
|
| Informatics, considered as made of formal sciences, widely rely on mathematical concepts. In particular, computer programming is a field where the mathematical training can be used wisely. It brings both work experience and training. Indeed, many mathematicians will work in a field where computer programming is the main activity. |
|
Learning outcomes of the course :
|
| The aim of this course is to provide an understanding of the computer programming. We will mainly look at the logical aspects of the language. The chosen computer programming language is C. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| No prerequisite is necessary. The ability for abstraction and mathematical reasoning is an asset. |
|
Planned learning activities and teaching methods :
|
| The exercises are directed by the assistants. The student will put the notions taught during the course into practise through the writing of C programs. |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| The course will be given during the first semester. The timetable will be available at the beginning of the academic year. |
|
Recommended or required readings :
|
| Course notes, following the main taught subjects, are aviable at the beginning of the year. |
|
Assessment methods and criteria :
|
| The exam consists of writing a C program that solves a problem given at the beginning of the exam. |
|
Work placement(s) :
|
| |
|
Organizational remarks :
|
| |
|
Contacts :
|
| S. Nicolay
Analyse mathématique
Institut de Mathématique - Grande Traverse, 12 - Sart Tilman -Bât. B 37 - 4000 LIEGE 1
email: S.Nicolay@ulg.ac.be |
|
|
| Items online : |
|
| course notes |
| temporary course notes |
|
|
