Détail de l'indexation
Ouvrages de la bibliothèque en indexation 517.11 (5)



Titre de série : Cours de logique mathématique, Tome 1 Titre : Relation et formule logique Type de document : texte imprimé Auteurs : Roland Fraïssé, Auteur Mention d'édition : 2 éd. rev. et mod. Editeur : Paris : Gauthier-Villars Année de publication : 1971 Collection : Logique mathématique Sous-collection : Série A , monographies réunies Importance : XIV,197 p. Présentation : ill. Format : 24 cm Note générale : Bibliogr. p [185]-192. -Index Langues : Français (fre) Mots-clés : Mathématiques
Analyse
Logique mathématique
Logic mathematicalIndex. décimale : 517.11 Introduction à l'analyse mathématique Note de contenu : Au sommaire :
1. Mot, formule
2. Connections et formule connective
3. Relation, multirelation, opérateur et prédicat
4. Isomorphisme local; opérateur et formule libre
5. Formule, opérateur, classe et équivalence logique; théorème du modèle dénombrable
6. Théorèmes de complétude et d'interpolation
7. Interprétabilité entre relationCours de logique mathématique, Tome 1. Relation et formule logique [texte imprimé] / Roland Fraïssé, Auteur . - 2 éd. rev. et mod. . - Paris : Gauthier-Villars, 1971 . - XIV,197 p. : ill. ; 24 cm. - (Logique mathématique. Série A , monographies réunies) .
Bibliogr. p [185]-192. -Index
Langues : Français (fre)
Mots-clés : Mathématiques
Analyse
Logique mathématique
Logic mathematicalIndex. décimale : 517.11 Introduction à l'analyse mathématique Note de contenu : Au sommaire :
1. Mot, formule
2. Connections et formule connective
3. Relation, multirelation, opérateur et prédicat
4. Isomorphisme local; opérateur et formule libre
5. Formule, opérateur, classe et équivalence logique; théorème du modèle dénombrable
6. Théorèmes de complétude et d'interpolation
7. Interprétabilité entre relationRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 015990 517.11 FRA Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Cours de logique mathématiques (1983)
Titre : Cours de logique mathématiques Type de document : texte imprimé Mention d'édition : 2 éd. Editeur : Alger : Office des publications universitaires (OPU) Année de publication : 1983 Collection : Le cours de mathématique Importance : 143 p Format : 24 cm Langues : Français (fre) Mots-clés : Mathématiques Analyse normalisation calcul Index. décimale : 517.11 Introduction à l'analyse mathématique Cours de logique mathématiques [texte imprimé] . - 2 éd. . - Alger : Office des publications universitaires (OPU), 1983 . - 143 p ; 24 cm. - (Le cours de mathématique) .
Langues : Français (fre)
Mots-clés : Mathématiques Analyse normalisation calcul Index. décimale : 517.11 Introduction à l'analyse mathématique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 028218 517 COU Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Introduction a la logique mathématique Type de document : texte imprimé Auteurs : Petr Sergeevich Novikov, Auteur ; Charles Sarthou, Traducteur Editeur : Paris ; Malakoff : Dunod Année de publication : 1964 Collection : Collection universitaire de mathématiques Importance : VIII, 332 p. Format : 25 cm Note générale : Traduit du russe : "Elementi matematicheskoi logiki". - Index Langues : Français (fre) Mots-clés : Logic, Symbolic and mathematical
Logique mathématiqueIndex. décimale : 517.11 Introduction à l'analyse mathématique Introduction a la logique mathématique [texte imprimé] / Petr Sergeevich Novikov, Auteur ; Charles Sarthou, Traducteur . - Paris ; Malakoff : Dunod, 1964 . - VIII, 332 p. ; 25 cm. - (Collection universitaire de mathématiques) .
Traduit du russe : "Elementi matematicheskoi logiki". - Index
Langues : Français (fre)
Mots-clés : Logic, Symbolic and mathematical
Logique mathématiqueIndex. décimale : 517.11 Introduction à l'analyse mathématique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 008908 517.11 NOV Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place
Titre : Logique moderne : Logique des propositions et des prédicats déduction naturelle. Fascicule 1 Type de document : texte imprimé Auteurs : Grize, Jean-Blaise, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1972 Collection : Mathématiques et sciences de l'homme num. 10 Importance : 90 p. Présentation : ill. Format : 23 cm. Note générale : Bibliogr. p. 81-84. Langues : Français (fre) Mots-clés : Logique moderne Symboles mathématiques Index. décimale : 517.11 Introduction à l'analyse mathématique Résumé : L'ouvrage traité de la logique mathématique dans une perspective non algébrique.Il s'adresse, en effet, principalement aux étudiants et aux chercheurs en sciences humaines et non aux mathématiques... Note de contenu : Au sommaire:
1. Introduction.
2. La logique des propositions inanalysées.
3. La logique des prédicats du premier ordre.Logique moderne : Logique des propositions et des prédicats déduction naturelle. Fascicule 1 [texte imprimé] / Grize, Jean-Blaise, Auteur . - Paris : Gauthier-Villars, 1972 . - 90 p. : ill. ; 23 cm.. - (Mathématiques et sciences de l'homme; 10) .
Bibliogr. p. 81-84.
Langues : Français (fre)
Mots-clés : Logique moderne Symboles mathématiques Index. décimale : 517.11 Introduction à l'analyse mathématique Résumé : L'ouvrage traité de la logique mathématique dans une perspective non algébrique.Il s'adresse, en effet, principalement aux étudiants et aux chercheurs en sciences humaines et non aux mathématiques... Note de contenu : Au sommaire:
1. Introduction.
2. La logique des propositions inanalysées.
3. La logique des prédicats du premier ordre.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 019593 517.11 GRI Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place
Titre : Logique et technologie Type de document : texte imprimé Auteurs : Lucien Géminard, Auteur Editeur : Paris ; Malakoff : Dunod Année de publication : 1970 Importance : 220 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-04-003956-1 Langues : Français (fre) Mots-clés : Fonctions techniques Etudes de constructions Opérateurs techniques Index. décimale : 517.11 Introduction à l'analyse mathématique Résumé : Ce livre n'est pas un manuel scolaire. Ce n'est pas non plus un ouvrage sur la théorie des mécanismes quoiqu'il utilise continuellement l'étude de mécanismes. Il a été en pensant aux professeurs de l'enseignement du second degré et plus particulièrement à tous ceux qui auront à enseigner la technologie dans le premier et le second cycle. Note de contenu : Au sommaire:
1. Introduction.
2. l'objet technique et le milieu extérieur a l'objet.
3. les fonctions techniques.
4. Rappel de notions de mécanique et de physique.
5. Opérateurs techniques.
6. Etudes de constructions.Logique et technologie [texte imprimé] / Lucien Géminard, Auteur . - Paris ; Malakoff : Dunod, 1970 . - 220 p. : ill. ; 24 cm.
ISBN : 978-2-04-003956-1
Langues : Français (fre)
Mots-clés : Fonctions techniques Etudes de constructions Opérateurs techniques Index. décimale : 517.11 Introduction à l'analyse mathématique Résumé : Ce livre n'est pas un manuel scolaire. Ce n'est pas non plus un ouvrage sur la théorie des mécanismes quoiqu'il utilise continuellement l'étude de mécanismes. Il a été en pensant aux professeurs de l'enseignement du second degré et plus particulièrement à tous ceux qui auront à enseigner la technologie dans le premier et le second cycle. Note de contenu : Au sommaire:
1. Introduction.
2. l'objet technique et le milieu extérieur a l'objet.
3. les fonctions techniques.
4. Rappel de notions de mécanique et de physique.
5. Opérateurs techniques.
6. Etudes de constructions.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 019591 517.11 GEM Papier Bibliothèque Centrale Mathématiques Disponible En bon état 019592 517.11 GEM Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place