Détail de l'auteur
Auteur Isabelle De Greef |
Documents disponibles écrits par cet auteur (2)
![](./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
Titre : Initiation ? la logique formelle : Exercices et corrigØs Type de document : texte imprimé Auteurs : Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Mention d'édition : 2 L Ød. Editeur : Bruxelles : De Boeck Année de publication : 2005 Collection : DØmarches de pensØe Importance : 233 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-8041-5011-2 Note générale : . Index Langues : Français (fre) Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 511.3 Résumé : L'ouvrage propose ne introduction ? la logique contemporaine,? la fois rigoureuse et accØssible ? tous.La logique propositionnelle?la logique des prØdicats. Initiation ? la logique formelle : Exercices et corrigØs [texte imprimé] / Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur . - 2 L Ød. . - Bruxelles : De Boeck, 2005 . - 233 p. ; 24 x 16 cm. - (DØmarches de pensØe) .
ISBN : 978-2-8041-5011-2
. Index
Langues : Français (fre)
Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 511.3 Résumé : L'ouvrage propose ne introduction ? la logique contemporaine,? la fois rigoureuse et accØssible ? tous.La logique propositionnelle?la logique des prØdicats. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité bfsd6792 510-511.3-15/02 Livre Salle des thèses 511Principes généraux Disponible