Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

140 winkels

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Vind hier een winkel

€ 56,00

+ 112 punten

Levering 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

À travers les fondements théoriques de la programmation
fonctionnelle, ce livre expose le
cheminement, de l'étude de la spécification formelle
à l'application, en passant par l'algorithme. L'illustration
de l'application des algorithmes est représentée
sous différents langages (ISETL, CLEAN, HASKELL,
Poly/ML).

Cet ouvrage est un support pédagogique destiné aux
étudiants du 1^er cycle universitaire, spécialisés en
informatique, il peut être un complément aux étudiants
du 2^e cycle soucieux d'une programmation
proche des spécifications formelles. En outre, il peut
être un support de cours ou un didacticiel pour les
enseignants souhaitant approfondir ce domaine.

Les outils pour formaliser (Ensembles et Logiques, Logique
des propositions, Logique des prédicats) - Applications
avec le langage ISETL. Compléments sur les ensembles
(Correspondances, Relations binaires, ESIMs) - Applications
avec le langage ISETL. Les Types Abstraits (Le Type
Ensemble, Le Type Suite) - Application en ISETL. Programmer
en langage CLEAN. Programmer en langage
HASKELL. Compléments et Applications (Pliages, ZF
notation - Tris) - Applications en langages CLEAN et HASKELL.
Etude de cas et programmation CLEAN. Etude de
cas et programmation HASKELL. Programmer en langage
Poly/ML, Processus fonctionnels. Les arbres en fonctionnel
(Arbres binaires - Les 2 - 3 arbres - AVL) - Applications
en langages CLEAN, HASKELL, Poly/ML.