AccessibilitéCalcul des prédicats -- manuels d'enseignement supérieur
1 / 1 exemplaire(s) disponible(s)
Filtrer par bibliothèque
Bibliotheque Localisation Cote Etat Retrait de la réservation
Chirx 1 exemplaire(s) disponible(s)
Auteurs :
Année de parution :
2005
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, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse aux étudiants des sciences humaines et économiques.
Détails
Editeur :
Collection :
Démarches de pensée
Importance matérielle :
233 p. : 24 cm
9782804150112
Veuillez vous connecter pour réserver
1 / 1 exemplaire(s) disponible(s)
Filtrer par bibliothèque
Bibliotheque Localisation Cote Etat Retrait de la réservation
Huy 1 exemplaire(s) disponible(s)
Auteurs :
Année de parution :
2007
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, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse aux étudiants des sciences humaines et économiques.
Détails
Editeur :
Collection :
Démarches de pensée
Importance matérielle :
233 p. : ill., couv. ill. : 24 cm
9782804153687
Veuillez vous connecter pour réserver