| Code | Type | Head of UE | Department’s contact details | Teacher(s) |
|---|---|---|---|---|
| US-M1-INFO60-004-M | Compulsory UE | BRUYERE Véronique | S829 - Informatique théorique |
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
|---|---|---|---|---|---|---|---|---|---|
| Français | 0 | 0 | 0 | 0 | 0 | 6 | 6 |
| AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | |
|---|---|---|---|---|---|---|---|---|
| S-INFO-023 |
Objectives of general skills
- 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.
- Carry out development or innovation projects in IT.
- Apply, mobilise, articulate and promote the knowledge and skills acquired in order to contribute to the achievement of a development or innovation project.
- Develop and integrate a high degree of autonomy.
- Aquire new knowledge independently.
UE's Learning outcomes
To understand the basic notions of calculabiilty and complexity theory. To be able to prove that some problems are either undecidable, or recursively enumerable, or decidable. To be able to prove that some problems are NP-complete.
UE Content
Automata, Turing machines, undecidable problems, recursively enumerable problems, decidable problems, complexity classes, NP-completeness.
Prior experience
A course on algorithms and data structures
Term 1 for Integrated Assessment - type
- Written examination
Term 1 for Integrated Assessment - comments
Written examination 100%
Term 2 for Integrated Assessment - comments
Not applicable
Term 3 for Integrated Assessment - type
- Written examination
Term 3 for Integrated Assessment - comments
Written examination 100%
Resit Assessment for IT - Term 1 (B1BA1) - Comments
Not applicable
Type of Teaching Activity/Activities
| AA | |
|---|---|
| S-INFO-023 |
Mode of delivery
| AA | |
|---|---|
| S-INFO-023 |
Required Reading
| AA | |
|---|---|
| S-INFO-023 |
Required Learning Resources/Tools
| AA | |
|---|---|
| S-INFO-023 |
Recommended Reading
| AA | |
|---|---|
| S-INFO-023 |
Recommended Learning Resources/Tools
| AA | |
|---|---|
| S-INFO-023 |
Other Recommended Reading
| AA | |
|---|---|
| S-INFO-023 |