 | | |
| MATH0491-1 | Mathematics for computing
|
|
| Duration : | 25h Th, 25h Pr |
|
| Number of credits : |
|
|
| Lecturer : | Georges Hansoul |
|
Language(s) of instruction :
|
| French language |
|
Organisation and examination :
|
| Teaching in the first semester, review in January |
|
Course contents :
|
| - Propositional logic (application : electric circuits) and first order logic (application : expert systems, formalisation of natural languages);
- Arithmetic (application : various position numeration systems);
- Naive set theory (including finite and infinite cardinal arithmetic);
- Introduction to finite structures such as groups or rings (application to cryptography);
- Classical combinatory, linear recurring equations, inclusion-exclusion principle. |
|
Learning outcomes of the course :
|
| Its objective is twofold :
- to give a first background for various mathematical topics closely linked with theoretical computer science,
- to improve correctness of inductive reasonning, and in particular to insure a good translation from natural to formal languages. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| None. |
|
Planned learning activities and teaching methods :
|
| The exercice lessons have a double objective : first illustrate the concepts and results of the theoretical part, and second provide applications of the theory. |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| First semester, discrete mathematics and graph theory at the Institute of Mathematics, B37. |
|
Recommended or required readings :
|
| One syllabus is available. |
|
Assessment methods and criteria :
|
| November : general test, with special classes in case of failure.
January : written examination, theory and exercices.
June : oral examination : theory and written examination : exercices.
September : oral examination : theory and exercices. |
|
Work placement(s) :
|
| None. |
|
Organizational remarks :
|
| None. |
|
Contacts :
|
| HANSOUL Georges
Institute of Mathematics - B37
Office 059
Grande Traverse, 12 - 4000 Liege
(Sart Tilman)
Phone : 04/366.94.69
Fax : 04/366.95.47
E-mail : G.Hansoul@ulg.ac.be
CAVUS Rukiye
Phone : 04/366.94.04
E-mail : R.Cavus@ulg.ac.be
ZIHINDULA Elie
Phone : 04/366.94.70
E-mail : Elie.ZihindulaMushengezi@ulg.ac.be
RASKIN Julien
Phone : 04/366.94.32
E-mail : J.Raskin@ulg.ac.be |
|
