Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Logique et fondements de l'informatique : logique du premier ordre, calculabilité et calcul

Éditeur(s) : Lavoisier-Hermès
Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs. ©Electre 2025
45,64 €
Chargement...

Logique et complexité

Éditeur(s) : Lavoisier-Hermès
Consacré à la théorie de la complexité et à la caractérisation logique des classes de problèmes de décision et de calcul. Les méthodes utilisées proviennent directement de la recherche récente en ce domaine. L'éventail des sujets traités va des classes de la complexi...
59,84 €
Chargement...
1