IFT-1000 Logique et techniques de preuve
IFT-1000
IFT
1000
Logique et techniques de preuve
Informatique
Description
Substitution textuelle et égalité. Règle de Leibniz. Opérateurs booléens, expressions booléennes, calcul propositionnel. Quantification, types. Calcul des prédicats, quantificateur universel, quantificateur existentiel. Induction mathématique, définitions inductives. Autres techniques de preuve : preuves par cas, preuves par implication mutuelle, preuves par contradiction, preuves par contraposition. Applications : modélisation de propositions énoncées en français, spécification et vérification de programmes.
Cours cycles etudes XML
a:1:{i:0;a:6:{s:15:"codeCycleEtudes";s:1:"1";s:11:"description";s:13:"Premier cycle";s:28:"affichableDansListeDeValeurs";s:1:"1";s:22:"cycleEtudesSuperieures";s:0:"";s:31:"disponibleAdmissionLibreService";s:1:"1";s:32:"descriptionAdmissionLibreService";s:13:"Premier cycle";}}
Cours formules enseignement XML
N;
Sections cours
a:1:{s:12:"sectionCours";a:3:{i:0;a:15:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202409";}s:5:"titre";a:1:{i:0;s:12:"Automne 2024";}}}s:3:"nrc";a:1:{i:0;s:5:"85849";}s:10:"codeGroupe";a:1:{i:0;s:1:"A";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"P";}s:5:"titre";a:1:{i:0;s:11:"Présentiel";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2024-09-03";}s:7:"dateFin";a:1:{i:0;s:10:"2024-12-13";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"140";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;s:0:"";}s:11:"professeurs";a:1:{i:0;s:0:"";}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:1:{i:0;a:8:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"CLAS";}s:5:"titre";a:1:{i:0;s:15:"Cours en classe";}}}s:4:"jour";a:1:{i:0;s:5:"Jeudi";}s:9:"dateDebut";a:1:{i:0;s:10:"2024-09-03";}s:7:"dateFin";a:1:{i:0;s:10:"2024-12-13";}s:10:"heureDebut";a:1:{i:0;s:5:"10:30";}s:8:"heureFin";a:1:{i:0;s:5:"13:20";}s:8:"pavillon";a:1:{i:0;s:14:"Adrien-Pouliot";}s:11:"numeroLocal";a:1:{i:0;s:4:"2700";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}i:1;a:16:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202501";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2025";}}}s:3:"nrc";a:1:{i:0;s:5:"15895";}s:10:"codeGroupe";a:1:{i:0;s:2:"Z3";}s:11:"description";a:1:{i:0;s:779:"Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens. Aucun accommodement ne sera accordé en cas de conflit d’horaire.";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"D";}s:5:"titre";a:1:{i:0;s:11:"À distance";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"250";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;s:0:"";}s:11:"professeurs";a:1:{i:0;s:0:"";}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:2:{i:0;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:8:"Mercredi";}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:10:"heureDebut";a:1:{i:0;s:5:"12:30";}s:8:"heureFin";a:1:{i:0;s:5:"13:50";}}i:1;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Jeudi";}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:10:"heureDebut";a:1:{i:0;s:5:"09:30";}s:8:"heureFin";a:1:{i:0;s:5:"10:50";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}i:2;a:15:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202509";}s:5:"titre";a:1:{i:0;s:12:"Automne 2025";}}}s:3:"nrc";a:1:{i:0;s:5:"85391";}s:10:"codeGroupe";a:1:{i:0;s:1:"A";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"P";}s:5:"titre";a:1:{i:0;s:11:"Présentiel";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2025-09-02";}s:7:"dateFin";a:1:{i:0;s:10:"2025-12-12";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"140";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;a:1:{s:18:"restrictionSection";a:1:{i:0;a:3:{s:15:"typeRestriction";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"LVL";}s:5:"titre";a:1:{i:0;s:15:"Cycle d'études";}}}s:18:"inclusionExclusion";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"E";}s:5:"titre";a:1:{i:0;s:9:"Exclusion";}}}s:18:"elementsRestreints";a:1:{i:0;a:1:{s:16:"elementRestreint";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:2:"UE";}s:5:"titre";a:1:{i:0;s:19:"Éducation continue";}}}}}}}}}s:11:"professeurs";a:1:{i:0;s:0:"";}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:1:{i:0;a:8:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"CLAS";}s:5:"titre";a:1:{i:0;s:15:"Cours en classe";}}}s:4:"jour";a:1:{i:0;s:5:"Jeudi";}s:9:"dateDebut";a:1:{i:0;s:10:"2025-09-02";}s:7:"dateFin";a:1:{i:0;s:10:"2025-12-12";}s:10:"heureDebut";a:1:{i:0;s:5:"10:30";}s:8:"heureFin";a:1:{i:0;s:5:"13:20";}s:8:"pavillon";a:1:{i:0;s:14:"Adrien-Pouliot";}s:11:"numeroLocal";a:1:{i:0;s:4:"2501";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}}}
Substituts
N;
Temps à consacrer
a:3:{s:13:"nbHeuresCours";a:2:{s:6:"valeur";s:1:"3";s:4:"type";s:4:"fixe";}s:19:"nbHeuresLaboratoire";a:2:{s:6:"valeur";s:1:"0";s:4:"type";s:4:"fixe";}s:14:"nbHeuresAutres";a:2:{s:6:"valeur";s:1:"6";s:4:"type";s:4:"fixe";}}
Cours attributs de cours
a:1:{s:8:"attribut";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"DIST";}s:5:"titre";a:1:{i:0;s:29:"Peut être offert à distance";}}}}
Cours restrictions
a:1:{s:11:"restriction";a:1:{i:0;a:3:{s:15:"typeRestriction";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"LVL";}s:5:"titre";a:1:{i:0;s:15:"Cycle d'études";}}}s:18:"inclusionExclusion";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"E";}s:5:"titre";a:1:{i:0;s:9:"Exclusion";}}}s:18:"elementsRestreints";a:1:{i:0;a:1:{s:16:"elementRestreint";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:2:"UE";}s:5:"titre";a:1:{i:0;s:19:"Éducation continue";}}}}}}}}
Cours type d'horaires
a:1:{s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}}
Cours préalables XML
a:1:{s:9:"prealable";a:1:{i:0;a:3:{s:5:"texte";a:1:{i:0;s:20:"MAT 1310 OU MAT 1919";}s:12:"sessionDebut";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"201805";}s:5:"titre";a:1:{i:0;s:10:"Été 2018";}}}s:10:"sessionFin";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"999999";}s:5:"titre";a:1:{i:0;s:32:"dernière session indéterminée";}}}}}}
Cours concomitant
N;
Nombre de crédits XML
a:3:{s:7:"minimum";a:1:{i:0;s:1:"3";}s:8:"indicUEC";a:1:{i:0;s:1:"N";}s:10:"affichable";a:1:{i:0;s:1:"3";}}
Prochaine session offert XML
a:2:{s:4:"code";a:1:{i:0;s:6:"202509";}s:5:"titre";a:1:{i:0;s:12:"Automne 2025";}}
Faculté
Formules d’enseignement
Présentiel
Présentiel
À distance
Matières
IFT - Informatique
Modes d’enseignement
Régulier
Sessions d’inscription
Automne 2024
Hiver 2025
Automne 2025
Cours cycle