Cours : Méthodes formelles d'aide à la détection d'erreurs

Aperçu des sections

Généralités

Tout replier Tout déplier
- Annonces Forum
- Questions réponses Forum
  
  Voici un forum où vous pouvez poser vos questions générales.
  Pour les questions plus particulières vous pouvez m'envoyer un message personnel.
  Cordialement
  Alain Cournier
Introduction
- Introduction Fichier
  
  204.5 Ko Document PDF Déposé le 23 sept. 23, 10:25
Logique des prédicats
- TD 1 Fichier
  
  161.3 Ko Document PDF Déposé le 6 oct. 20, 15:12
- LogPred Fichier
  
  167.6 Ko Document PDF Déposé le 23 sept. 23, 10:27
- Correction du TD 1 (Partie1) Fichier
  
  147.6 Ko Document PDF Déposé le 3 nov. 20, 15:12
- Correction du TD1 (Partie 2) Fichier
  
  343.8 Ko Document PDF Déposé le 3 sept. 21, 11:18
Problème du drapeau hollandais
- Diaporama du cours Fichier
  
  259.4 Ko Document PDF Déposé le 24 sept. 23, 21:19
- Travaux Dirigés 2 Fichier
  
  346.2 Ko Document PDF Déposé le 20 nov. 20, 08:46
- Corrigé du TD 2 (Partie1) Fichier
  
  162.8 Ko Document PDF Déposé le 11 oct. 22, 11:00
- Corrigé du TD 2 (Partie2) Fichier
  
  290.8 Ko Document PDF Déposé le 11 oct. 22, 11:01
La recherche par dichotomie
- Diaporama du cours Fichier
  
  370.2 Ko Document PDF Déposé le 1 oct. 23, 14:00
  
  Version pdf
- Diaporama du cours avec son Fichier
  
  423.2 Mo Fichier vidéo (MP4) Déposé le 20 nov. 20, 00:14
  
  Version avec son du diaporama du cour
- Travaux dirigés 3 Ancienne Version Fichier
  
  86.3 Ko Document PDF Déposé le 20 nov. 20, 08:47
- Correction du TD 3 Ancienne version Fichier
  
  585.2 Ko Document PDF Déposé le 2 déc. 20, 14:17
- TD3 Nouvelle version Fichier
  
  61.5 Ko Document PDF Déposé le 20 oct. 22, 14:12
- Corrigé Ex 4 du TD 3 nouvelle version Fichier
  
  168.2 Ko Document PDF Déposé le 17 nov. 22, 10:43
  
  Par manque de temps, je n'ai pas pu mettre les commentaires vocaux.
- Correction TD3 nouvelle version (sans l'exercice 4) Fichier
  
  225.2 Ko Document PDF Déposé le 6 nov. 23, 14:59
Dernier Exemple
- DernExemp Fichier
  
  394.7 Ko Document PDF Déposé le 15 oct. 23, 17:41
  
  Calcul du quotient et du reste d'une division avec pour seules opérations de l'adition, la soustraction et le test à 0.
- Supplément 2024 Fichier
  
  197.2 Ko Document PDF Déposé le 10 oct. 24, 15:47
Devoirs 2021

Caché pour les étudiants
Devoirs 2022
Devoir 2023
Devoir 2024
- Devoir 1 2024
- Devoir 2 année 2024
  
  Le devoir doit-être rendu sur le Moodle dactylographié au format pdf.
  Il est évident qu'il est attendu un travail personnel.
  Toutes vos réponses devront être justifiées et expliquées.

Aperçu des sections

Généralités

Introduction

Logique des prédicats

Problème du drapeau hollandais

La recherche par dichotomie

Dernier Exemple

Devoirs 2021

Devoirs 2022

Devoir 2023

Devoir 2024