13 relations: Abstraction, Algorithme d'Euclide étendu, Charles Antony Richard Hoare, Logique de Hoare, Logique mathématique, Plus grand commun diviseur, Preuve, Programme informatique, Règle d'inférence, Robert Floyd, Sémantique dénotationnelle, Sémantique des langages de programmation, Sémantique opérationnelle.
Abstraction
* En philosophie, l'abstraction désigne à la fois une opération qui consiste à isoler par la pensée une ou plusieurs qualités d'un objet concret pour en former une représentation intellectuelle, et le produit de cette opération.
Nouveau!!: Sémantique axiomatique et Abstraction · Voir plus »
Algorithme d'Euclide étendu
En mathématiques, l'algorithme d'Euclide étendu est une variante de l'algorithme d'Euclide.
Nouveau!!: Sémantique axiomatique et Algorithme d'Euclide étendu · Voir plus »
Charles Antony Richard Hoare
Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.
Nouveau!!: Sémantique axiomatique et Charles Antony Richard Hoare · Voir plus »
Logique de Hoare
La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé.
Nouveau!!: Sémantique axiomatique et Logique de Hoare · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Sémantique axiomatique et Logique mathématique · Voir plus »
Plus grand commun diviseur
En arithmétique élémentaire, le plus grand commun diviseur ou '''PGCD''' de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément.
Nouveau!!: Sémantique axiomatique et Plus grand commun diviseur · Voir plus »
Preuve
Une preuve, (en science ou en droit) est un fait ou un raisonnement propre à établir la vérité.
Nouveau!!: Sémantique axiomatique et Preuve · Voir plus »
Programme informatique
Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.
Nouveau!!: Sémantique axiomatique et Programme informatique · Voir plus »
Règle d'inférence
Dans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration.
Nouveau!!: Sémantique axiomatique et Règle d'inférence · Voir plus »
Robert Floyd
Robert W. Floyd (né le et mort le à Stanford (Californie) est un théoricien des graphes et chercheur en informatique américain.
Nouveau!!: Sémantique axiomatique et Robert Floyd · Voir plus »
Sémantique dénotationnelle
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques.
Nouveau!!: Sémantique axiomatique et Sémantique dénotationnelle · Voir plus »
Sémantique des langages de programmation
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Nouveau!!: Sémantique axiomatique et Sémantique des langages de programmation · Voir plus »
Sémantique opérationnelle
En informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation).
Nouveau!!: Sémantique axiomatique et Sémantique opérationnelle · Voir plus »