Aller au contenu

« Logique de Hoare » : historique des versions

Voir les opérations sur cette page (voir le journal des filtrages)

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Légende : (actu) = différence avec la version actuelle - (diff) = différence avec la version précédente - m = modification mineure

actudiff 21:5310 février 2024 à 21:53‎ Mwarf discuter contributions‎ m 14 732 octets −20‎ Restauration des ancres brisées annuler

actudiff 11:5919 mai 2023 à 11:59‎ Cilisso discuter contributions‎ 14 752 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

actudiff 18:4328 août 2021 à 18:43‎ SGlad discuter contributions‎ m 14 740 octets −4‎ →‎Triplet de Hoare : syntaxe, blancs doubles annuler

actudiff 21:1519 janvier 2021 à 21:15‎ WikiCleanerBot discuter contributions‎ m 14 744 octets +14‎ v2.04b - Correction syntaxique (Paramètre inconnu) annuler Balise : WPCleaner

actudiff 12:4111 mars 2020 à 12:41‎ 193.50.43.14 discuter‎ 14 730 octets +334‎ →‎Règle de la conditionnelle : completion et traduction partielle depuis version anglaise annuler Balise : Éditeur visuel

actudiff 23:421 mars 2020 à 23:42‎ 195.83.211.130 discuter‎ 14 396 octets 0‎ →‎Notion de correction totale annuler Balise : Éditeur visuel
actudiff 23:391 mars 2020 à 23:39‎ 195.83.211.130 discuter‎ 14 396 octets 0‎ →‎Notion de correction totale annuler Balise : Éditeur visuel

actudiff 17:0315 juin 2018 à 17:03‎ 134.206.90.187 discuter‎ 14 396 octets +79‎ Correction d'une coquille dans la formule formelle de l'interpretation sémantique, remplacement d'un \exists par un \forall. En effet, comme cité dans la partie "Notion de correction totale", il est possible que le programme ne termine jamais, et que l'état issu de l'exécution du programme n'existe pas. La proposition devient vraie par vacuité lorsqu'on remplace ce "il existe" par un "pour tout". annuler Balise : Éditeur visuel
actudiff 11:0015 juin 2018 à 11:00‎ 134.206.90.187 discuter‎ 14 317 octets −9‎ Mise à jour des liens vers l'ouvrage Software Foundation sur Coq et la logique de Hoare annuler Balise : Éditeur visuel

actudiff 09:0930 octobre 2017 à 09:09‎ KolbertBot discuter contributions‎ m 14 326 octets +1‎ Bot: HTTP→HTTPS (v475) annuler

actudiff 21:0019 juillet 2017 à 21:00‎ Epsilon0 discuter contributions‎ m 14 325 octets +5‎ →‎Coq et la logique de Hoare : typo. Je faisais en parallèle une présentation similaire à celle de Pierre (présentation que j'oublie donc) concernant cet apport très pertinent de l'ip annuler
actudiff 20:5219 juillet 2017 à 20:52‎ PIerre.Lescanne discuter contributions‎ 14 320 octets −2‎ →‎Coq et la logique de Hoare annuler
actudiff 20:5119 juillet 2017 à 20:51‎ PIerre.Lescanne discuter contributions‎ 14 322 octets +101‎ →‎Sources expliquant comment utiliser la logique de Hoare : mise en forme annuler
actudiff 20:1719 juillet 2017 à 20:17‎ 78.119.238.240 discuter‎ 14 221 octets +271‎ Ajout de deux références du site officiel de l'INRIA à propos de COQ montrant comment utiliser les triplets de Hoare sur des problèmatiques concrètes d'algorithmes. annuler Balise : Éditeur visuel

actudiff 20:1615 décembre 2016 à 20:16‎ WikiCleanerBot discuter contributions‎ m 13 950 octets 0‎ v1.41 - Correction syntaxique (Balise <small> imbriquée - Lien magique ISBN obsolète) annuler Balise : WPCleaner

actudiff 18:2011 décembre 2016 à 18:20‎ Metamorforme42 discuter contributions‎ m 13 950 octets −12‎ →‎Aspects historiques : #maintenance : corrections de modèles annuler

actudiff 17:5415 septembre 2016 à 17:54‎ Pautard discuter contributions‎ m 13 962 octets +4‎ vis-à-vis annuler

actudiff 14:0824 juin 2016 à 14:08‎ Roll-Morton discuter contributions‎ m 13 958 octets +29‎ →‎Voir aussi : + Logique de séparation annuler

actudiff 14:5014 janvier 2016 à 14:50‎ Ethaniel discuter contributions‎ m 13 929 octets −5‎ →‎Axiomes et règles : typographie annuler
actudiff 05:1114 janvier 2016 à 05:11‎ JackBot discuter contributions‎ m 13 934 octets +13‎ Formatage, Vérification des liens externes, traduction de leurs modèles annuler

actudiff 15:5616 décembre 2015 à 15:56‎ 131.254.252.18 discuter‎ 13 921 octets +1‎ Orthographe →‎Triplet de Hoare annuler

Ce document provient de « https://fr.wikipedia.org/wiki/Logique_de_Hoare ».