Logo Université Laval Logo Université Laval
Accueil > Études > Cours > Logique et techniques de preuve

Cours

IFT-1000 Logique et techniques de preuve

3 crédits / 1er cycle

Session en cours

Période d'inscription

Session inactive

A20
Automne 2020 - Z3
NRC : 85970
Examens sous surveillance mi-session : 22 oct 18h30-21h20
Examen sous surveillance final : 10 déc 18h30-21h20
Début de session : 2020-08-31
Fin de session : 2020-12-11
Abandon avec remboursement : 2020-09-14
Abandon sans remboursement : 2020-11-09
Retour du matériel didactique :
Restriction(s) à l'inscription: ——
Classe virtuelle : Voir horaire
Enseignant(s) : Pascal Tesson, Sokhna Diarra Mbacke
E20
Été 2020
NRC : -
Le cours est non disponible à distance pour cette session.
H20
Hiver 2020 - Z3
NRC : 15653
Examens sous surveillance mi-session : 28 févr 18h30-21h20
Examen sous surveillance final : Consultez le site du cours
Début de session : 2020-01-13
Fin de session : 2020-04-24
Abandon avec remboursement : 2020-01-27
Abandon sans remboursement : 2020-04-24
Retour du matériel didactique :
Restriction(s) à l'inscription: ——
Classe virtuelle : Voir horaire
Enseignant(s) : Jules Desharnais

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.

Responsables

Faculté : Sciences et génie

Courriel : fsg@fsg.ulaval.ca

Département : Département d'informatique et de génie logiciel

Courriel : info@ift.ulaval.ca

Accès au site Web du cours (à partir du premier jour de la session)

PIXEL (TYPO3)

Soutien technique


Pavillon Adrien-Pouliot, local 3718-B
418 656-2131, poste 408747
aide@fsg.ulaval.ca

Matériel didactique

Si vous devez vous procurer du matériel pour votre cours, celui-ci sera disponible à la librairie Coop Zone de 3 à 4 semaines avant le début de la session (plus tôt, c'est le matériel de la session précédente qui est annoncé). Des ouvrages peuvent être obligatoires et d'autres facultatifs.

Consultez la liste des ouvrages de votre cours (Coop Zone).

Consultez aussi le site Web du cours à partir du premier jour de la session.

Cette activité est contributoire dans

Baccalauréat en informatique (B. Sc. A.) (cours obligatoire)