Initiation à la logique formelle / Thierry Lucas (2014)

Public 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é :

Pourquoi des mathématiques ? l'école ?	Charnay, Roland
Mille ans d'histoire des mathématiques	Lehning, Hervé
Le solfège pour les nuls	Pilhofer, Michael
Enseigner la géométrie élémentaire	Mathé, Anne-Cécile
L'enfant en difficulté d'apprentissage en mathématiques	Van Nieuwenhoven, Catherine
La grammaire	Catherine, Godon

Initiation à la logique formelle / Thierry Lucas (2005)

Public 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é :

Pédagogie différenciée	Kahn, Sabine
Maths au lycée au palais de la découverte
L'Odyssée de la betterave	Piron, Eddy
Gestion mentale et pensée mathématique	Taurisson, Alain
Les âges de la vie	Bee, Helen
Jabotte et compagnie	Jeunesse musicale du Brabant-Wallon

Prédire n'est pas expliquer / René Thom (1993)

Public 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 sciences Index. 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