Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les recherches... |
Détail du congrès
Congrès: Centre de recherche scientifique. Colloques internationaux (70; 26 septembre - 1 octobre 1955; Institut Henri Poincaré, Paris)
Documents disponibles provenant de ce congrès
Faire une suggestion Affiner la rechercheLe raisonnement en mathématiques et en sciences expérimentales / Centre de recherche scientifique. Colloques internationaux (70; 26 septembre - 1 octobre 1955; Institut Henri Poincaré, Paris)
Titre : Le raisonnement en mathématiques et en sciences expérimentales Type de document : texte imprimé Congrès : Centre de recherche scientifique. Colloques internationaux (70; 26 septembre - 1 octobre 1955; Institut Henri Poincaré, Paris), Auteur Editeur : Paris : Centre national de la recherche scientifique Année de publication : 1958 Importance : 140 p. Présentation : il. Format : 24 cm Note générale : Bibliogr. en fin de contributions Langues : Français (fre) Mots-clés : Logique mathématique -- Actes de congrès Index. décimale : 51 Mathématiques Note de contenu : Au sommaire :
1. Une relativisation des notions mathématiques fondamentales
2. Quelques observations sur les méthodes non-finitistes en mathématiques
3. Sur l'algèbre des prédicats
4. Remarques concernant les questions de réduction dans le problème de la décision pour la logique élémentaire
5. Sur une extension de la polyrelation et des parentés tirant son origine du calcul des relations du k-ème ordre
6. Hypothèse de la théorie des relations qui permettraient d'associer un bon ardre défini sans ambiguïté de l'ensemble de ses parties
7. Un procédé maniable de décision pour la logique propositionnelle intuitionniste
8. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles
9. Construction sémantique de la logique intuitionniste
10. La théorie élémentaire de l'intégration en mathématiques intuitionnistes
11. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel
12. Sur la méthodologie des recherches sur les fondements des mathématiques
13. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé
14. Recherches sur les logiques modales
15. Remarques sur certains aspect logiques des théories physiquesLe raisonnement en mathématiques et en sciences expérimentales [texte imprimé] / Centre de recherche scientifique. Colloques internationaux (70; 26 septembre - 1 octobre 1955; Institut Henri Poincaré, Paris), Auteur . - Paris : Centre national de la recherche scientifique, 1958 . - 140 p. : il. ; 24 cm.
Bibliogr. en fin de contributions
Langues : Français (fre)
Mots-clés : Logique mathématique -- Actes de congrès Index. décimale : 51 Mathématiques Note de contenu : Au sommaire :
1. Une relativisation des notions mathématiques fondamentales
2. Quelques observations sur les méthodes non-finitistes en mathématiques
3. Sur l'algèbre des prédicats
4. Remarques concernant les questions de réduction dans le problème de la décision pour la logique élémentaire
5. Sur une extension de la polyrelation et des parentés tirant son origine du calcul des relations du k-ème ordre
6. Hypothèse de la théorie des relations qui permettraient d'associer un bon ardre défini sans ambiguïté de l'ensemble de ses parties
7. Un procédé maniable de décision pour la logique propositionnelle intuitionniste
8. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles
9. Construction sémantique de la logique intuitionniste
10. La théorie élémentaire de l'intégration en mathématiques intuitionnistes
11. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel
12. Sur la méthodologie des recherches sur les fondements des mathématiques
13. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé
14. Recherches sur les logiques modales
15. Remarques sur certains aspect logiques des théories physiquesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 015709 51 CEN Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place