Logique Mathématiques Informatique

10 réponses.

Gomez, Claude & Salvy, Bruno & Zimmermann, Paul

Calcul formel : mode d'emploi - exemples en Maple. - Masson, 1995. - (Logique Mathématiques Informatique; 13).

Rombaldi, Jean-Etienne

Algorithmique numérique et ADA. Avec programme ADA sur disquette. - Masson, 1993. - (Logique Mathématiques Informatique; 12).

Arnold, A. & Guessarian, I.

Mathématiques pour l'informatique. - Masson, 1993. - (Logique Mathématiques Informatique; 10).

Naudin, Patrice & Quitté, Claude

Algorithmique algébrique, avec exercices corrigés. - Masson, 1992. - (Logique Mathématiques Informatique; 8).

Xuong, Nguyen Huy

Mathématiques discrètes et informatique. - Masson, 1992. - (Logique Mathématiques Informatique; 7).

Benzaken, Claude

Systèmes formels. introduction à la logique et à la théorie des langages. - Masson, 1991. - (Logique Mathématiques Informatique; 6).

Beckett, Brian

Introduction aux méthodes de la cryptologie. - Masson, 1990. - (Logique Mathématiques Informatique; 5).

Margenstern, Maurice

Langage Pascal et logique du premier ordre. Tome 2 : récursivité et dérécursification. Preuves et complexité d'algorithmes. - Masson, 1990. - (Logique Mathématiques Informatique; 4).

Margenstern, Maurice

Langage Pascal et logique du premier ordre. Tome 1 : programmation en Pascal, prédicats, systèmes formels, fonctions récursives. - Masson, 1989. - (Logique Mathématiques Informatique; 3).

Wilf, Herbert S.

Algorithmes et complexité. - Masson, 1989. - (Logique Mathématiques Informatique; 2).