{"product_id":"cerrito-serenella-logique-pour-l-informatique-introduction-a-la-deduction-automatique-cours-et-exercices-licence-d-informatique-9782711720699","title":"Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique","description":"\u003cp\u003eOmniprésente dans notre société, \u003ci\u003el'informatique\u003c\/i\u003e nous conduit à privilégier l'utilisation\n de \u003ci\u003elogiciels\u003c\/i\u003e qui soient fiables. Ces derniers exigent à leur tour le recours à un\n \u003ci\u003eformalisme\u003c\/i\u003e rigoureux : bien écrit, un langage de programmation réduira les obstacles\n qui peuvent surgir entre développeurs et utilisateurs.\u003c\/p\u003e\u003cp\u003ePareils formalismes se construisent sur la base de la \u003ci\u003elogique mathématique.\u003c\/i\u003e C'est elle\n qui fournit des outils permettant de \u003ci\u003emodéliser\u003c\/i\u003e correctement des informations\n complexes et d'en réaliser un traitement informatique.\u003c\/p\u003e\u003cp\u003eCe cours présente les \u003ci\u003enotions\u003c\/i\u003e et les \u003ci\u003eoutils logiques de base\u003c\/i\u003e qui, dans l'univers concret\n de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des\n \u003ci\u003elangages de programmation\u003c\/i\u003e et des \u003ci\u003ebases de données\u003c\/i\u003e, l'\u003ci\u003eintelligence artificielle\u003c\/i\u003e ou le\n \u003ci\u003egénie logiciel.\u003c\/i\u003e\u003c\/p\u003e\u003cp\u003eVolontairement simple et rigoureux, ce manuel est destiné à la formation universitaire\n de base en informatique. On y apprend comment utiliser la logique formelle non\n seulement pour modéliser des informations sur des données, mais aussi pour les\n manipuler automatiquement. On utilise pour cela des logiciels qui permettent de\n raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les\n solutions de programmation se prêtent à tous les autres langages de programmation\n que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite\n \u003ci\u003eclassique.\u003c\/i\u003e C'est elle qui constitue le noyau d'autres logiques plus sophistiquées.\u003c\/p\u003e\u003cp\u003eOrientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs\n un très \u003ci\u003egrand nombre d'exercices d'application directe de difficulté graduelle\u003c\/i\u003e, cette\n introduction à la logique pour l'informatique est unique en son genre.\u003c\/p\u003e\u003cp\u003ePrincipalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3),\n ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en\n logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.\u003c\/p\u003e","brand":"DE BOECK SUP","offers":[{"title":"Default Title","offer_id":53834980360534,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9782711720699_1.jpg?v=1781832079","url":"https:\/\/www.momoxbooks.com\/products\/cerrito-serenella-logique-pour-l-informatique-introduction-a-la-deduction-automatique-cours-et-exercices-licence-d-informatique-9782711720699","provider":"momoxbooks","version":"1.0","type":"link"}