COURS // INF7870 Fondements logiques de l'informatique
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 2
- Nombre de crédits : 3
- Discipline : Informatique
Description
Revue de la logique propositionnelle et du premier ordre. Logique temporelle et logique modale. Logique floue. Déduction naturelle. Tableaux sémantiques. Heuristiques et tactiques de preuves. Applications.
Horaire - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.