Chargement...
Chargement...
Collection Informatique
Auteur

Support

Série

Disponibilité

1
Introduction à la théorie des langages de programmation

Introduction à la théorie des langages de programmation

Auteur : Gilles Dowek
É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...
18,30 €
Chargement...
Les principes des langages de programmation

Les principes des langages de programmation

Auteur : Gilles Dowek
É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...
18,30 €
Chargement...
Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

Auteur : Gilles Dowek
É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...
1