COURS // INF9340 Logique computationnelle

Message d'erreur

  • Deprecated function : strtolower(): Passing null to parameter #1 ($string) of type string is deprecated dans include() (ligne 12 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/themes/uqam2016/templates/node--cours.tpl.php).
  • Deprecated function : strtolower(): Passing null to parameter #1 ($string) of type string is deprecated dans include() (ligne 13 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/themes/uqam2016/templates/node--cours.tpl.php).
  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Deprecated function : mb_strtolower(): Passing null to parameter #1 ($string) of type string is deprecated dans drupal_strtolower() (ligne 529 dans /DATA/sites/40618_Institutionnel_Registrariat/includes/unicode.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$id is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$authentication is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$status is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$module is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).

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
  • Cycle : 3
  • Nombre de crédits : 3
  • Discipline : Informatique

Description

Déduction et calcul, déduction naturelle, logique linéaire, lambda calcul, combinateurs, catégories cartésiennes fermées, théorie des types, théorie des constructions, mécanisation des logiques d'ordre supérieur, procédures de décision, heuristiques, mathématiques constructives. Applications: programmation fonctionnelle, programmation logique, démonstration de théorèmes assistée par ordinateur, langages formels de spécifications.

Programmes associés à ce cours

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.
Retour en haut de page