Study programme 2018-2019 | Français | ||
Logic for Computer Science | |||
Activité d'apprentissage à la Faculty of Engineering |
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
I-TCTS-021 |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 6 | 12 | 0 | 0 | 0 | Q1 |
Content of Learning Activity
Source coding and protection codes
Required Reading
Note de cours - Systèmes logiques pour l'informatique - B. Gosselin
Required Learning Resources/Tools
Copies of presentations
Laboratory protocols
Recommended Reading
Recommended Learning Resources/Tools
not applicable
Other Recommended Reading
not applicable
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)