Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Informatique
Éditeur(s) :
Ecole polytechnique
Introduction aux principes autour desquels les langages de programmation sont organisés. L'ouvrage permet d'assimiler les rudiments de Java (avec comparaison avec les langages Caml et C), d'acquérir les outils permettant de décrire précisément la signification d'un p...
20,00 €
Chargement...
Éditeur(s) :
Ecole polytechnique
Les différents outils qui permettent de penser, définir et implémenter les langages de programmation les plus utilisés sont présentés avec une vision unifiée des différents formalismes (sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnell...
20,00 €
Chargement...
Éditeur(s) :
Ecole polytechnique
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine, ceux de démonstration, de fonction calculable, de modèle et d’ensemble. Il présente une série de résultats (le théorème d’indécidabilité de Church, le théorème d’incomplétude de Göde...
18,30 €
Chargement...
