Compagnie algérienne

de documentation

et de conseil

Bases de données - livres - revues - traités - normes

Initiation à la logique formelle : exercices et corrigés

Auteur(s): 
Editeur: 
Public: 
Format: 
broché
0.00 DZD
Résumé: 
Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle, etc. S'adresse aux étudiants en sciences humaines et économiques.
ISBN: 
9782804182489