Livres

RETOUR À LA LISTE
Exercices corrigés de logique pour l'informatique
Feuilleter ce livre

Pages: 144

ISBN (Papier): 0921916809

Code: GRF35

Exercices corrigés de logique pour l'informatique

Partagez

Eugène Roventa

Éditions du GREF
Résumé
Acheter ce livre
Cet ouvrage est le prolongement d'un cours de logique pour l'informatique enseigné au Département d'informatique du Collège universitaire Glendon (Université York, Toronto, Canada). II s'adresse aux étudiants de première année se spécialisant en informatique, en mathématiques, en science économique - bref en toute discipline où les enchaînements logiques sont de prime importance. Il a un double but : en premier lieu, approfondir et élargir les connaissances théoriques du cours sous forme d'exercices, et en second lieu montrer un certain nombre d'applications en informatique, notamment la vérification formelle des programmes et du langage PROLOG. « Il s'agit là d'un indispensable outil de travail, heureux complément du livre théorique Éléments de logique pour l'informatique, paru aux Éditions du Gref dans la même collection. » (Tiberiu Spircu, professeur d'informatique).
Acheter ce livre

Eugène Roventa

Eugène Roventa est professeur à Glendon, la faculté bilingue de l’Université York à Toronto (Canada), où il a dirigé le Département d’informatique pendant plusieurs années. Il est titulaire d’un doctorat en mathématiques appliquées de l’Université de Timisoara (Roumanie). Sa recherche porte sur l’intelligence artificielle, la représentation des connaissances, la logique classique et floue, le traitement de l’incertitude et les mesures classiques et non classiques. Il a reçu en 1991 le prix d’excellence pédagogique du doyen de Glendon. En 2000, il a été nommé professeur émérite de l’Université Aurel Vlaicu (Arad, Roumanie) pour sa contribution à l’enseignement supérieur et à la recherche. Eugène Roventa est l’auteur de plusieurs livres et de nombreux articles publiés dans diverses revues internationales. L’un de ses derniers ouvrages, écrit en collaboration avec Mircea Reghis, est intitulé Concepts classiques et flous dans la logique mathématique et applications (New York, CRC Press). Il a également publié un manuel intitulé Exercices corrigés de logique pour l’informatique (Toronto, Éditions du Gref, Les cahiers de la collection Tel no 6, 2002).

Du même auteur

Éléments de logique pour l'informatique
Eugène Roventa
Éditions du GREF