2022-2023 / INFO9015-1

Logic for Computer Science

Durée

24h Th, 20h Pr

Nombre de crédits

 Bachelier en sciences informatiques5 crédits 
 Master en science des données, à finalité5 crédits 
 Master : ingénieur civil en informatique, à finalité5 crédits 
 Master : ingénieur civil en science des données, à finalité5 crédits 
 Master en sciences informatiques, à finalité5 crédits 

Enseignant

Pascal Fontaine

Langue(s) de l'unité d'enseignement

Langue anglaise

Organisation et évaluation

Enseignement au premier quadrimestre, examen en janvier

Horaire

Horaire en ligne

Unités d'enseignement prérequises et corequises

Les unités prérequises ou corequises sont présentées au sein de chaque programme

Contenus de l'unité d'enseignement

Voir version anglophone.

Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement

Voir version anglophone.

Ce cours contribue aux acquis d'apprentissage I.1, I.2, I.3, II.1, III.1, IV.1, IV.3, VII.1, VII.2, VII.4 du programme d'ingénieur civil en science des données.

Ce cours contribue aux acquis d'apprentissage I.1, I.2, II.1, III.1, IV.1, IV.3, VII.1, VII.2, VII.4 du programme d'ingénieur civil en informatique.

Savoirs et compétences prérequis

Voir version anglophone.

Activités d'apprentissage prévues et méthodes d'enseignement

Voir la version anglophone.

Mode d'enseignement (présentiel, à distance, hybride)

Cours donné exclusivement en présentiel


Explications complémentaires:

Voir version anglophone.

Lectures recommandées ou obligatoires et notes de cours

Voir version anglophone.

Modalités d'évaluation et critères

Examen(s) en session

Toutes sessions confondues

- En présentiel

évaluation écrite ( questions ouvertes ) ET évaluation orale

Travail à rendre - rapport


Explications complémentaires:

Voir version anglophone.

Stage(s)

Remarques organisationnelles

Voir version anglophone.

Contacts

Voir version anglophone.