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
🗹 Auteur: François Lepage
🗹 Langue: Français
🗹 ISBN-13: 9782760622302
🗹 Date de publication: 29 novembre 2010
🗹 Format ebook : PDF, EPUB, Kindle, Audio, HTML et MOBI
★★★★☆ 4.4 sur 5 etoiles (18 évaluations)
Vérification de la santé des fichiers distants...
Qu'est-ce que je reçois?
✓ Lisez autant de livres numériques que vous le souhaitez!
✓ Scanneé pour la sécurité, pas de virus détecté
✓ Faites votre choix parmi des milliers de livres numériques - Les nouvelles sorties les plus populaires
✓ Cliquez dessus et lisez-le! - Lizez des livres numériques sans aucune attente. C'est instantané!
✓ Continuez à lire vos livres numériques préférés encore et encore!
✓ Cela fonctionne n'importe où dans le monde!
✓ Pas de frais de retard ou de contracts fixes - annulez n'importe quand!