Catégories
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Titre : Initiation à la logique formelle : avec exercices et corrigés Type de document : texte imprimé Auteurs : Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur Mention d'édition : 4ème éd. rev. et augm. Editeur : Louvain-la-Neuve : De Boeck Supérieur SA Année de publication : 2014 Collection : Démarches de pensée Importance : 1 vol. (263 p) ISBN/ISSN/EAN : 978-2-8041-8248-9 Langues : Français (fre) Catégories : [RAMEAU] Prédicat (logique)
[RAMEAU] Proposition (logique)Index. décimale : 510 Fondements mathématiques Résumé : Ce manuel offre une introduction à la logique contemporaine. Il aborde, de manière claire et accessible à tous, la logique propositionnelle et la logique des prédicats du premier ordre Cycle : Généralités Permalink : http://www.galileonet.be/pmb/opac_css/index.php?lvl=notice_display&id=89925 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 020510 510 LUC (i) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Exclu du prêt 028133 510 LUC (i) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Disponible 028132 510 LUC (i) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Exclu du prêt 028131 510 LUC (i) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Histoire des mathématiques de l'Antiquité ? l'an Mil Busser, Elisabeth Le plaisir d'apprendre Meirieu, Philippe Les faces cachées de la langue scolaire Romainville, Anne-Sophie La classe n°264 (01/12/2015) Poncin, Jean-Luc Enseigner la géométrie Bertotto, Anne Micro Robert Robert, Paul
Titre : Initiation à la logique formelle : Exercices et corrigés Type de document : texte imprimé Auteurs : Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Editeur : Louvain-la-Neuve : De Boeck Supérieur SA Année de publication : 2005 Collection : Démarches de pensée Importance : 1 vol. (233 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8041-5011-2 Langues : Français (fre) Catégories : [RAMEAU] Prédicat (logique)
[RAMEAU] Proposition (logique)Index. décimale : 510 Fondements mathématiques Cycle : Généralités Permalink : http://www.galileonet.be/pmb/opac_css/index.php?lvl=notice_display&id=105139 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 025654 510 LUC (i) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Un cerveau pour apprendre les mathématiques Sousa, David A. L'Odyssée de la betterave Piron, Eddy Activités ouvertes en mathématiques Sullivan, Peter Ces ondes qui nous entourent Poix, Pierre Les leçons de la pandémie Humbeeck, Bruno La démonstration mathématique dans l'histoire: IREM (Besançon)
Titre : Prédire n'est pas expliquer : entretiens avec Emile Noël Type de document : texte imprimé Auteurs : René Thom Editeur : Paris : Flammarion Année de publication : 1993 Importance : 175 p Format : 18 cm ISBN/ISSN/EAN : 978-2-08-081288-9 Catégories : [RAMEAU] Catastrophes, Théorie des
[RAMEAU] Mathématiques
[RAMEAU] Prédicat (logique)
[RAMEAU] Théorie de la connaissance:Philosophie des sciencesIndex. décimale : 51 Mathématiques - Généralités Résumé : Expose la genèse et la destinée de la théorie des catastrophes et les polémiques qu'elle a suscitées. Cycle : Généralités Permalink : http://www.galileonet.be/pmb/opac_css/index.php?lvl=notice_display&id=10758 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 007552 51 THO (p) Livre Galiléo 5 MATHÉMATIQUES SCIENCES Disponible
