Détail d'une collection
|
Documents disponibles dans la collection (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
Titre : Initiation ? la logique formelle : avec exercices corrigés Type de document : texte imprimé Auteurs : Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Editeur : Bruxelles : DeBoeck Année de publication : 2003 Collection : démaeches de pensée Importance : 233 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-8041-4299-5 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 160100 Résumé : Présente en 2 parties, la logique des propositions et la logique des prédicats : 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 en particulier au domaine de la communication. Initiation ? la logique formelle : avec exercices corrigés [texte imprimé] / Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur . - Bruxelles : DeBoeck, 2003 . - 233 p. ; 24 x 16 cm. - (démaeches de pensée) .
ISBN : 978-2-8041-4299-5
Bibliogr. Index
Langues : Français (fre)
Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 160100 Résumé : Présente en 2 parties, la logique des propositions et la logique des prédicats : 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 en particulier au domaine de la communication. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité bsfd6787 510-511.3-01/03 Livre salle de consultation sur place 511Principes généraux Exclu du prêt BFS11453 510-511.3-01/01 Livre Salle des thèses 510Mathématiques Disponible bfsd6786 510-511.3-01/02 Livre Salle des thèses 511Principes généraux Disponible