Retour page d'accueil
Chercher
sur
 
Retour page d'accueil
Plus de 1.625.000 de titres à notre catalogue !
Notice



 

Logique et fondements de l'informatique: logique du 1er ordre, calculabilité et calcul (coll. Traité des nouvelles technologies Série informatique)

Auteur(s) : LASSAIGNE
Date de parution: 09-1993
Langue : FRANÇAIS
Env. 248p. 15.5x23.5 Broché
Etat : Épuisé
Résumé
Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Le premier tome est consacré à la logique du 1er ordre, la calculabilité et les fonctions récursives, le lambda-calcul et les systèmes de type pour les langages fonctionnels. Des exercices placés en fin de chapitre facilitent l'évaluation des acquis.

Sommaire
1. Logique propositionnelle 2. Systèmes de déduction 3. Logique du premier ordre 4. Déduction et complétude de la logique du premier ordre 5. Résolution et programmation logique 6. Les modèles de calcul 7. Fonctions récursives 8. Indécidabilité et incomplétude 9. Lambda-calcul 10. Systèmes de types 11. Logiciels d'enseignement Bibliographie - Glossaire - Index

© Lavoisier 2000-2010

> Nouvelle recherche
> Voir le panier
   
Information
> Nouveautés
> La News
> E-books
Services Client
> L'e-Doc
> Visual...Catalog 
> Ouvrir un compte client
> Commande hors catalogue
> Suivi de commande
> Confidentialité/Sécurité
> Aide
Lavoisier.fr
> Retour à la page d'accueil
> Présentation de la société
> Notre librairie à Paris
> Conditions de vente
> Sites partenaires
> Lavoisier recrute
> Message aux éditeurs
> Nous contacter

Nouveau


Matériaux piézoélectriques intégrés sur silicium (Traité EGEM, série électronique et micro-électronique)
Ce livre sur les couches minces piézoélectriques reprend les bases théoriques de façon assez exhaustives, en les associant à des applications à l'état de l'art en ce début d'année 2010. Bien sûr, il existe des ouvrages de référence sur les matériaux piézoélectriques comme les standards de la piézoélectricité ou bien le fameux ouvrage de Royer et Dieulessaint. Il y a également de très bons ouvrages sur le phénomène ferroélectrique dont la référence Lines and Glass. Cependant, il nous a semblé assez structurant de revisiter ces deux piliers nécessaires à une compréhension profonde des couches piézoélectriques, tout en ajoutant d'autres notions essentielles que sont le formalisme mécanique contrainte-déformation, le formalisme diélectrique et également une partie importante sur la propagation des ondes acoustiques.