A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'formalisation' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Logique contemporaine et formalisation / Roger MARTIN (1964)
Titre : Logique contemporaine et formalisation Type de document : texte imprimé Auteurs : Roger MARTIN, Auteur Editeur : Paris : Presses Universitaires de France Année de publication : 1964 Collection : Epiméthée, ISSN 0768-0708 Importance : 230 p. Langues : Français Mots-clés : logique mathématique logique contemporaine formalisation Résumé : Cet ouvrage se propose de donner un aperçu de quelques méthodes couramment employées par la logique contemporaine. Note de contenu : index, bibliogr. Logique contemporaine et formalisation [texte imprimé] / Roger MARTIN, Auteur . - Paris (6, avenue Reille, Paris Cedex 14, 75685) : Presses Universitaires de France, 1964 . - 230 p.. - (Epiméthée, ISSN 0768-0708) .
Langues : Français
Mots-clés : logique mathématique logique contemporaine formalisation Résumé : Cet ouvrage se propose de donner un aperçu de quelques méthodes couramment employées par la logique contemporaine. Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5520 MAR/02/3619 Livre Recherche Salle Disponible i380 MAR/02/i380 a Livre Recherche Salle Disponible i380b MAR/02/i380b b Livre Recherche Salle Exclu du prêt Initiation à la logique mathématique / Louis JEREMY (1980)
Titre : Initiation à la logique mathématique Type de document : monographie Auteurs : Louis JEREMY, Auteur Editeur : Poitiers : Université de Poitiers Année de publication : 1980 Langues : Français Mots-clés : formalisation interprétation calcul des propositions démonstration théorie égalitaire logique mathématique Note de contenu : bibliogr. Initiation à la logique mathématique [monographie] / Louis JEREMY, Auteur . - Poitiers : Université de Poitiers, 1980.
Langues : Français
Mots-clés : formalisation interprétation calcul des propositions démonstration théorie égalitaire logique mathématique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14155 JER/02/TAF 480 Livre Recherche Salle Disponible Statut et fonctions de la démonstration en mathématiques: quelques repères / Jacqueline GUICHARD (1993)
Titre : Statut et fonctions de la démonstration en mathématiques: quelques repères Type de document : texte imprimé Auteurs : Jacqueline GUICHARD, Auteur Editeur : Poitiers : IREM de Poitiers Année de publication : 1993 Importance : 66 p. ISBN/ISSN/EAN : 978-2-85954-040-1 Langues : Français Mots-clés : preuve démonstration nécessité évidence discursivité hypothèse postulat axiome formalisation Résumé : Revenir sur des textes empruntés à l'histoire et à la philosophie des mathématiques fournit des pistes pour s'interroger sur les origines et l'histoire de la démonstration, pour analyser ses articulations avec la notion de preuve, ses différentes fonctions, et les perspectives didactiques qu'elles permettent d'envisager. Note de contenu : index, bibliogr. Statut et fonctions de la démonstration en mathématiques: quelques repères [texte imprimé] / Jacqueline GUICHARD, Auteur . - Poitiers : IREM de Poitiers, 1993 . - 66 p.
ISBN : 978-2-85954-040-1
Langues : Français
Mots-clés : preuve démonstration nécessité évidence discursivité hypothèse postulat axiome formalisation Résumé : Revenir sur des textes empruntés à l'histoire et à la philosophie des mathématiques fournit des pistes pour s'interroger sur les origines et l'histoire de la démonstration, pour analyser ses articulations avec la notion de preuve, ses différentes fonctions, et les perspectives didactiques qu'elles permettent d'envisager. Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i2347 B/POI/1993 Livre IREM Salle Disponible