Cours de logique mathématique, Tome 1. Relation et formule logique / Roland Fraïssé (1971)

Public ISBD 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 mathematical Index. 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 relation Cours 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 mathematical Index. 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 relation

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Etat_Exemplaire	Cote	Support	Localisation	Section	Disponibilité
015990	517.11 FRA	Papier	Bibliothèque Centrale	Mathématiques	Disponible	Consultation sur place

Cours de logique mathématiques (1983)

Public ISBD 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	Etat_Exemplaire	Cote	Support	Localisation	Section	Disponibilité
028218	517 COU	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état

Introduction a la logique mathématique / Petr Sergeevich Novikov (1964)

Public ISBD 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ématique Index. 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ématique Index. décimale : 517.11 Introduction à l'analyse mathématique

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Etat_Exemplaire	Cote	Support	Localisation	Section	Disponibilité
008908	517.11 NOV	Papier	Bibliothèque Annexe	Mathématiques	Disponible	Consultation sur place

Logique moderne / Grize, Jean-Blaise (1972)

Public ISBD 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	Etat_Exemplaire	Cote	Support	Localisation	Section	Disponibilité
019593	517.11 GRI	Papier	Bibliothèque Centrale	Mathématiques	Disponible	Consultation sur place

Logique et technologie / Lucien Géminard (1970)

Public ISBD 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	Etat_Exemplaire	Cote	Support	Localisation	Section	Disponibilité
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