Chargement...
Chargement...
Serie Langage Pascal et logique du premier ordre
Auteur

Support

Série

Disponibilité

1
Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes

Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes

Auteur : Maurice Margenstern
Éditeur(s): Elsevier Masson
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés. ©Electre 2024
30,30 €
Chargement...
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels

Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels

Auteur : Maurice Margenstern
Éditeur(s): Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2024
30,30 €
Chargement...
1