Product Description
paperback edition catalog from 1997 signed by Dennis Hoppercurator Andrea Pedroniart director Salome Nascimento ... Read more

Product Description
Les achats comprennent une adhésion à l'essai gratuite au club de livres de l'éditeur, dans lequel vous pouvez choisir parmi plus d'un million d'ouvrages, sans frais. Le livre consiste d'articles Wikipedia sur : Dennis Ritchie, Grace Hopper, Christopher Strachey, Frances Allen, Julian Seward, Walter Bright, John Hopcroft. Non illustré. Mises à jour gratuites en ligne. Extrait : Christopher Strachey (né le 16 novembre 1916, décédé le 18 mai 1975) est un informaticien britannique. Il a fait ses études à la Gresham's School et à l'Université de Cambridge. Strachey est surtout connu comme l'un des premiers à avoir prôné une approche mathématique dans l'étude des programmes. Pour cela, il a introduit l'idée de sémantique dénotationnelle (d'abord appelée mathématique) dont l'objectif est de fournir des méthodes permettant de démontrer des propriétés des programmes. Il souhaitait par là atteindre la même rigueur que dans les démonstrations mathématiques usuelles, si ce n'est plus.L'une des principales caractéristiques de la sémantique dénotationnelle est donc qu'elle est définie par récurrence (induction en anglais) sur la structure des programmes. Dans un premier temps, Strachey a d'abord remis les considérations de syntaxe à leur juste place, appelant que les considérations syntaxiques ne devaient pas prendre le pas sur la sémantique dans l'étude des langages de programmation. Il a notamment écrit: Je considère les problèmes syntaxiques comme essentiellement non pertinents pour les langages de programmation ... En gros il me semble correct de penser que la sémantique est là pour ce que nous voulons dire et la syntaxe pour comment nous avons à le dire. Ailleurs, cité par Dana S. Scott, il écrit: Les problèmes de syntaxe sont beaucoup plus faciles que ceux de sémantique. Cela a comme conséquence naturelle, mais malheureuse, qu'une grande attention a été donnée aux questions syntaxiques... Rien ne pourrait être plus loin de la vérité ...http://booksllc.net/?l=fr ... Read more