» » Eléments de logique contemporaine 3e édition

Eléments de logique contemporaine 3e édition

 


Eléments de logique contemporaine 3e édition

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.



Commentaires:

Vous devez vous inscrire avant de pouvoir afficher les liens. - INSCRIPTION -

Ajouter un commentaire

Nom:*
E-Mail:*
Text:
Gras italique souligné barré | aligner à gauche centrer aligner à droite | Ajouter un smiley Le choix de la couleur | texte caché insérer un commentaire Convertissez le texte choisi de la translittération au Cyrillien Insérer Spoiler
Entrez le code: *

Inscription

Groupe D'utilisateurs


Bienvenue

Votre Identifiant:

Votre Mot De Pass:


Inscription
mot de pass oublie?

Zone Calendrier

«    Novembre 2024    »
 123
45678910
11121314151617
18192021222324
252627282930 

Zone Publicité

Zone Compteur

Flag Counter

A lire

Zone-ebook n'héberge aucun fichier. La loi française vous autorise à télécharger un fichier seulement si vous en possedez l'original. Ni zone-ebook.com, ni nos hébergeurs, ni personne ne pourront êtres tenu responsables d'une mauvaise utilisation de ce site.

Aimez Vous Ce Site ?

       

Archives

Novembre 2024 (403)
Octobre 2024 (4610)
Septembre 2024 (3617)
Aout 2024 (1395)
Juillet 2024 (2174)
Juin 2024 (3739)

Publicité