Élémetns de logique contemporaine (3e édition)

0 Aucun avis client

 
Actuellement indisponible
 
eBook
12.99 € Acheter
Téléchargez immédiatement
*Réduction par rapport au prix public du livre papier
 

Fiche détaillée de "Élémetns de logique contemporaine (3e édition)"

Résumé
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.

Nous avons sélectionné pour vous