share_book
Envoyer cet article par e-mail

Eléments de logique contemporaine

ou partager sur :

share_comment
Partager ce commentaire par e-mail

ou partager sur :

PRÊT A ACHETER?
(vous pouvez toujours annuler plus tard)


J'aime
Eléments de logique contemporaine

Eléments de logique contemporaine

  (Auteur),   (Auteur)


Prix : Cet article n'a pas encore de prix  ask_price

Demande de cotation sur ""
Ce titre est nouveau dans notre fonds d'ouvrages et nous ne l'avons encore jamais vendu à ce jour.
Notre engagement: Vous obtenir le meilleur prix
Aussi nombreux que soient les titres que nous référençons, absolument rien n'est automatisé dans la fixation de nos prix; et plutôt que de convertir automatiquement le prix en euros et risquer de répercuter sur vous un prix artificiellement élevé, nous vous faisons un devis rapide après avoir vérifié les prix auprès de nos différents fournisseurs.
Cette étape de demande de cotation est rapide (généralement quelques heures) et vise à vous faire bénéficier en permanence du meilleur prix pour vos achats de livres.


Sur commande

Des articles qui pourraient aussi vous intéresser

Description de "Eléments de logique contemporaine"

Présentation de Eléments de logique contemporaine

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Détails sur le produit

  • Reliure : Broché
  • 276  pages
  • Dimensions :  1.6cmx15.0cmx22.6cm
  • Poids : 281.2g
  • Editeur :   Pu Montréal Paru le
  • Collection : Parametres
  • ISBN :  2760622304
  • EAN13 :  9782760622302
  • Classe Dewey :  511.3
  • Langue : Français

Commentaires sur cet article

Personne n'a encore laissé de commentaire. Soyez le premier!

Laisser un commentaire

Rechercher des articles similaires par rayon

Présentation de Eléments de logique contemporaine

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.