Détail de l'indexation
|
Ouvrages de la bibliothèque en indexation 160100 (2)
Affiner la recherche Interroger des sources externes
Initiation ? la logique formelle / Thierry Lucas
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 Logique sans peine / Lewis Carroll
Titre : Logique sans peine Type de document : texte imprimé Auteurs : Lewis Carroll Editeur : Paris : Hermann Année de publication : 1972 Collection : L'esprit et la main num. 5544 Importance : 292 p. Format : 19 x 14 cm ISBN/ISSN/EAN : 978-2-7056-5544-0 Note générale : Trad. de l'amØricain Langues : Français (fre) Mots-clés : logique Index. décimale : 160100 Logique sans peine [texte imprimé] / Lewis Carroll . - Paris : Hermann, 1972 . - 292 p. ; 19 x 14 cm. - (L'esprit et la main; 5544) .
ISBN : 978-2-7056-5544-0
Trad. de l'amØricain
Langues : Français (fre)
Mots-clés : logique Index. décimale : 160100 Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité bfsd 6842 510-511.3-04/ 01 Livre Salle des thèses 511Principes généraux Disponible bfsd 6841 510-511.3-04/ 02 Livre Salle des thèses 511Principes généraux Disponible bfsd 6846 510-511.3-04/ 03 Livre Salle des thèses 511Principes généraux Disponible bfsd 6843 510-511.3-04/ 04 Livre Salle des thèses 511Principes généraux Disponible bfsd 6845 510-511.3-04/ 05 Livre Salle des thèses 511Principes généraux Disponible bfsd 6844 510-511.3-04/ 06 Livre Salle des thèses 511Principes généraux Disponible bfsd 6848 510-511.3-04/ 07 Livre Salle des thèses 511Principes généraux Disponible bfsd 6847 510-511.3-04/ 08 Livre Salle des thèses 511Principes généraux Disponible bfsd 6849 510-511.3-04/ 09 Livre Salle des thèses 511Principes généraux Disponible bfsd 6850 510-511.3-04/ 10 Livre Salle des thèses 511Principes généraux Disponible