Can I read ELEMENTS DE LOGIQUE CONTEMPORAINE - 3E EDITION REVUE ET AUGMENTEE (PARAMETRES) on EtoBox?

ELEMENTS DE LOGIQUE CONTEMPORAINE - 3E EDITION REVUE ET AUGMENTEE (PARAMETRES) by Lepage, François is a nonfiction available to read on EtoBox.

What is ELEMENTS DE LOGIQUE CONTEMPORAINE - 3E EDITION REVUE ET AUGMENTEE (PARAMETRES) about?

Cet ouvrage expose les mthodes et concepts lmentaires de la logique contemporaine dont la matrise est ncessaire pour qui veut aborder l'tude de la mtalogique. Vritable manuel d'introduction - sa lecture ne requrant aucune connaissance particulire - il comporte deux parties correspondant la division classique entre le calcul des noncs et le calcul des prdicats. La premire partie prsente les connecteurs logiques d'un point de vue purement smantique par la mthode des tables de vrit et par la mthode des matrices. Une attention particulire est porte aux questions de traduction en langue naturelle. Cet ouvrage pourra donc tre utile tous les tudiants de premier cycle qui amorcent une rflexion sur le langage. Les mthodes syntaxiques de vrification de la validit sont ensuite abordes: algbre de Boole, mthode des arbres et mthode de dduction naturelle. Consacre l'tude du calcul des prdicats, la seconde partie en prsente les notions fondamentales: modle, satisfaction, vrit, validit. Sont ensuite dveloppes la mthode des arbres et la mthode de dduction naturelle. De nombreux exercices originaux permettront au lecteur de vrifier au fur et mesure sa comprhension de la matire. Plusieurs de ces

Who reads ELEMENTS DE LOGIQUE CONTEMPORAINE - 3E EDITION REVUE ET AUGMENTEE (PARAMETRES)?

Author

Lepage, François

Publisher

Presses de l'Université de Montréal

Published

2010

Language

FR

ISBN

9782760622302

Category

nonfiction

Subjects

Philosophy, Mathematics, Humanities