> Formation > Cursus ingénieur
La logique joue un rôle fondamental en informatique dans la spécification, construction et vérification des programmes, comme langage de programmation, dans son lien étroit avec la calculabilité. Elle joue aussi un rôle clé en intelligence artificielle, dans les bases de données, en probabilités, etc. L’objectif du cours est de donner les bases pour son utilisation dans les différents domaines, en mettant l’accent sur sa mécanisation.
Néant
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 2x 2 h (période 1, période 2)
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) : aucun
Matériel (ex : calculatrices):
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : oral
Salle spécifique : non
Durée : 40 mn
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Matériel (ex : calculatrices):
Commentaires
Le rattrapage porte sur le programme des deux périodes et remplace l’ensemble de la note
N1 = (E1 + E2)/2
N2 = E3
Le cours est programmé dans ces filières :
Code de l'enseignement : 3MM1LPI
Langue(s) d'enseignement :
Le cours est rattaché aux structures d'enseignement suivantes :
Vous pouvez retrouver ce cours dans la liste de tous les cours.
Polycopié du cours, contenant les énoncés de tous les exercices à faire en TD ainsi que leurs corrigés
Course notes containing the solutions to all proposed problems.
mise à jour le 15 janvier 2017