Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Eléments de programmation en Scheme : cours et exemples d'application

Éditeur(s): Dunod
Initiation à la programmation, caractérisée par une approche fonctionnelle. Le langage Scheme permet de se concentrer sur la résolution de problèmes via la définition de procédures. Des exemples d'application et des exercices corrigés complètent le cours. ©Electre 2024
25,90 €
Chargement...

Logique. Vol. 1. Méthodes pour l'informatique fondamentale

Auteur : Paul Gochet
Éditeur(s): Lavoisier-Hermès
Une mise au point sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. ©Electre 2024
61,00 €
Chargement...

Logique. Vol. 3. Méthodes pour l'intelligence artificielle

Auteur : Paul Gochet
Éditeur(s): Lavoisier-Hermès
Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la théorie de la correspon...
81,00 €
Chargement...
1