Produits fréquemment achetés ensemble
Descriptions du produit
Présentation de l'éditeur
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.
Biographie de l'auteur
Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.
Détails sur le produit
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
|
En savoir plus sur l'auteur
Découvrez des livres, informez-vous sur les écrivains, lisez des blogs d'auteurs et bien plus encore.
› Consultez la page Serenella Cerrito d'Amazon
› Consultez la page Serenella Cerrito d'Amazon
Associer des mots-clés à ce produit(De quoi s'agit-il ?)Considérez votre mot-clé comme une sorte d'étiquette définissant parfaitement ce produit.
Les mots-clés aident les clients à organiser et trouver leurs articles favoris. |
Vendre une version numérique de ce livre dans la boutique Kindle.
Si vous êtes un éditeur ou un auteur et que vous disposez des droits numériques sur un livre, vous pouvez vendre la version numérique du livre dans notre boutique Kindle.
En savoir plus
Quels sont les autres articles que les clients achètent après avoir regardé cet article?
Commentaires en ligne
|
Il n'y a pour l'instant aucun commentaire client.
|
|||
|
Commentaires vidéo
|
Listmania!
Rechercher des articles similaires par rubrique
Rechercher des articles similaires par thème
Commentaires
Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?
|
