الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 510
Affiner la recherche Interroger des sources externes
3. Éléments de logique mathématique / Georg Kreisel
Titre : Éléments de logique mathématique : Théorie des modèles Type de document : texte imprimé Auteurs : Georg Kreisel (1923-2015), Auteur Editeur : Paris : Dunod Année de publication : 1967 Importance : vol. 3 (VIII-214 p.) Présentation : ill., couv. ill. en coul. Grena Format : 25*18 cm Prix : 58 F Note générale : ASIN : B0014UWFEY
Éditeur : Dunod (1 janvier 1967)
Reliure inconnue : 214 pagesLangues : Français (fre) Mots-clés : calcul propositionnel calcul des prédicats calcule des prédicat avec égalité élimination des quantificateurs calcul des prédicat à plusieurs types d'objets définissabilité modèles de formules infinies Index. décimale : 510 Résumé : Sommaire :
schémas fonctionnels
calcul propositionnel
calcul des prédicats
calcule des prédicat avec égalité
élimination des quantificateurs
calcul des prédicat à plusieurs types d'objets
définissabilité
modèles de formules infinies
Note de contenu : Monographies de la Société mathématique de France. 3 Éléments de logique mathématique : Théorie des modèles [texte imprimé] / Georg Kreisel (1923-2015), Auteur . - Paris : Dunod, 1967 . - vol. 3 (VIII-214 p.) : ill., couv. ill. en coul. Grena ; 25*18 cm.
58 F
ASIN : B0014UWFEY
Éditeur : Dunod (1 janvier 1967)
Reliure inconnue : 214 pages
Langues : Français (fre)
Mots-clés : calcul propositionnel calcul des prédicats calcule des prédicat avec égalité élimination des quantificateurs calcul des prédicat à plusieurs types d'objets définissabilité modèles de formules infinies Index. décimale : 510 Résumé : Sommaire :
schémas fonctionnels
calcul propositionnel
calcul des prédicats
calcule des prédicat avec égalité
élimination des quantificateurs
calcul des prédicat à plusieurs types d'objets
définissabilité
modèles de formules infinies
Note de contenu : Monographies de la Société mathématique de France. 3 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13054 510/04.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13055 510/04.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible 4. Cours de mathématiques supérieurs / Vladimir Ivanovič Smirnov
Titre : Cours de mathématiques supérieurs : tome iv premiére partie Type de document : texte imprimé Auteurs : Vladimir Ivanovič Smirnov (1887-197.?), Auteur Editeur : Moscou : Éditions Mir Année de publication : 1975 Importance : vol. 4 1er partie (341 p.) Présentation : ill. Format : 22 *15 cm Note générale : Éditeur : Mir (1 janvier 1989)
Langue : Français
Relié : 341 pages
ISBN-10 : 5030007091
ISBN-13 : 978-5030007090
Poids de l'article : 788 gLangues : Français (fre) Mots-clés : MATHÉMATIQUES SUPÉRIEURS équations intégrales calcul des variations espaces fonctionnels Cours de mathématiques supérieurs Index. décimale : 510 Résumé : introduction de la théorie de l'intégrale de lebesgue et de la classe de fonctions l2 de carré intégrable au sens de lebesgue dans le tome 2
l'objet du calcul des variations a été élargi le minimum d'une fonctionnelle quadratique est abordé sous un nouvel angle dans le chapitre 3.sommaire:équations intégrales-calcul des variations-complément à la théorie des espaces fonctionnels l1.etl2.dérivées distributionnelles.probléme du mininium d'une fonctionnelle quadratiqueNote de contenu : Cours de mathématiques supérieures. : Tome 4, 1ère partie (Français) Relié – 1 janvier 1989
de Vladimir Ivanovitch Smirnov (Auteur)Cours de mathématiques supérieurs : tome iv premiére partie [texte imprimé] / Vladimir Ivanovič Smirnov (1887-197.?), Auteur . - Moscou : Éditions Mir, 1975 . - vol. 4 1er partie (341 p.) : ill. ; 22 *15 cm.
Éditeur : Mir (1 janvier 1989)
Langue : Français
Relié : 341 pages
ISBN-10 : 5030007091
ISBN-13 : 978-5030007090
Poids de l'article : 788 g
Langues : Français (fre)
Mots-clés : MATHÉMATIQUES SUPÉRIEURS équations intégrales calcul des variations espaces fonctionnels Cours de mathématiques supérieurs Index. décimale : 510 Résumé : introduction de la théorie de l'intégrale de lebesgue et de la classe de fonctions l2 de carré intégrable au sens de lebesgue dans le tome 2
l'objet du calcul des variations a été élargi le minimum d'une fonctionnelle quadratique est abordé sous un nouvel angle dans le chapitre 3.sommaire:équations intégrales-calcul des variations-complément à la théorie des espaces fonctionnels l1.etl2.dérivées distributionnelles.probléme du mininium d'une fonctionnelle quadratiqueNote de contenu : Cours de mathématiques supérieures. : Tome 4, 1ère partie (Français) Relié – 1 janvier 1989
de Vladimir Ivanovitch Smirnov (Auteur)Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST14148 510/153.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST14149 510/153.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST14150 510/153.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible 8 années de sujets corrigés de mathématiques / Jean Franchini
Titre : 8 années de sujets corrigés de mathématiques : posés aux concours Centrale/Supélec, Mines/Ponts et CCP ; 2007-2014 ; filière MP Type de document : texte imprimé Auteurs : Jean Franchini (1953-....), Auteur ; Jean-Claude Jacquens, Auteur Editeur : Paris : Ellipses Année de publication : DL 2014 Collection : Les Épreuves corrigées des grandes écoles scientifiques, ISSN 0246-5507 Importance : 1 vol. (492 p.) Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-7298-9742-0 Prix : 25,50 EUR Note générale : Éditeur : ELLIPSES (15 juillet 2014)
Langue : Français
Broché : 492 pages
ISBN-10 : 2729897429
ISBN-13 : 978-2729897420
Poids de l'article : 840 g
Dimensions : 16.5 x 2.7 x 24 cmLangues : Français (fre) Mots-clés : Séries nombres polynômes arithmétique matrices espaces suites et séries équations différentielles espaces euclidiens algèbre intégration Index. décimale : 510 Résumé : sujets posés aux concours Centrale/Supélec, Mines/Ponts et CCP entre 2007 et 2014 filière MP/MP* corrigés et surtout adaptés aux nouveaux programmes
Sommaire :
Séries
nombres
polynômes
arithmétique
matrices
espaces
suites et séries
équations différentielles
espaces euclidiens
algèbre
intégration .SéRIES ENTIéRES NORMES DE MATRICES-POLYNOMES ARITHMéTIQUE DES POLYNOMES-MATRICES à COEFFICIENTS COMPLEXES RéDUCTION-APPLICATIONS CONTRACANTES ESPACES VECTORIELS NORMéS-SUITES ET SéRIES DE FONCTIONS éQUATIONS DIFFéRENTIELLES-ESPACES EUCLIDIENS,MATRICES SYMéTRIQUES-CALCUL DIFFéRENTIEL,SéRIES DE FOURIER SéRIES DE FOURIER-MATRICES SYMéTRIQUES POSITIVES GROUPE ORTHOGONAL,RéDUCTION-ESPACES EUCLIDIENS,FORMES BILINéAIRES DUALITé,RéDUCTION-ALGéBRE LINéAIRE ESPACES EUCLIDIENS-INTéGRATION,SéRIES ENTIéRES SéRIES DE FONCTIONS,SYSTéME DIFFéRENTIEL-CONIQUES,POLYNOMES,RéDUCTION DES MATRICES-ANNéE2012-INTéGRALES SUR UN INTERVALLE SUITES DE FONCTIONS,SéRIES DE FOURIER-ALGéBRE LINéAIRE,RéDUCTION DES MATRICES POLYNOMES D'ENDOMORPHISMES-POLYNOMES,ALGéBRE LINéAIRE ESPACES EUCLIDIENS-FONCTIONS DE PLUSIEURS VARIABLES CALCUL DIFFéRENTIEL-SéRIES DE FONCTIONS,INTéGRALE CURVILIGNE INTéGRATION SUR UN INTERVALLE,NORMES-ALGéBRE LINéAIRE,POLYNOME MINIMAL ARTHIMéTIQUE-ANNéE2011-POLYNOMES,INTéGRATION SéRIES NUMéRIQUES,SéRIES ENTIéRES-MATRICES SYMéTRIQUES ESPACES EUCLIDIENS-MATRICES,RéDUCTION,DUALITé-MATRICES,POLYNOMES INTéGRATION,DéRIVATION-INTéGRATION,SéRIES ENTIéRES éQUATIONS DIFFéRENTIELLES-MATRICES SYMéTRIQUE POSITIVES TRIGONALISATION-ANNéE2010-APPLICATIONS AFFINES SUITES ET SéRIES DE FONCTIONS-FORMES QUADRATIQUES-SUITES ET SéRIES DE FONCTIONS,INTéGRATION FONCTIONS DE PLUSIEURS VARIABLES-CALCUL MATRICIEL,SéRIES ENTIéRES INTéGRATION SUR UN INTERVALLE-FONCTIONS DE PLUSIEURS VARIABLES SéRIES DE FOURIER-EXPONENTIELLE DE MATRICE DIAGNOLISATION,PROJECTEURS-ANNéE2009-INTéGRATION SéRIES ENTIéRES,SéRIES DE FONCTIONS-ESPACES EUCLIDIENS ENDOMORPHISMES AUTOAJOINTS POSITIFS,SUITES-INTéGRATION-ESPACES EUCLIDIENS,ESPACES NORMéS DéTERMINANT,SUITES DE FONCTIONS,SéRIES NUMéRIQUES-INTéGRATION EQUATIONS DIFFéRENTIELLES,ESPACES DE BANACH-POLYNOMES DéTERMINANTS,VALEURS PROPRES-ANNEé2008-éQUATIONS DIFFéRENTIELLES,SéRIES DE FOURIER RELéVEMENT,ESPACES ¨PRéHILBERTIENS RéELS-CALCUL MATRICIEL,ESPACES EUCLIDIENS ESPACES VECTORIELS NORMéS-FORMES QUADRATIQUES,PERMUTATIONS-INTéGRALES DOUBLES,CIRCULATION INTéGRATION,SéRIES DE FOURIER-SéRIES NUMéRIQUES,SéRIES DE FOURIER INTéGRATION SUR UN INTERVALLE-CALCUL MATRICIEL,DéTERMINANTS ESPACES EUCLIDIENS-ANNéE2007-LONGUEUR D'UN ARC PARAMéTRé SUITES ET SéRIES DE FONCTIONS,SéRIES DE FOURIER-ENDOMORPHISMES SYMéTRIQUES ESPACES EUCLIDIENS-NOTIONS D'aRITHMéTIQUE NOTIONS DE SéRIES,ENTIéRES ET INTéGRALES-RéDUCTION DES ENDOMORPHISMES-DONCTIONS DE PLUSIEURS VARIABLES SUITES,SéRIES DE FONCTIONS,SéRIES DE FOURIER-ESPACES EUCLIDIENS,QUADRIQUESNote de contenu : La couv. porte en plus : "inclus sujets 2014". Index 8 années de sujets corrigés de mathématiques : posés aux concours Centrale/Supélec, Mines/Ponts et CCP ; 2007-2014 ; filière MP [texte imprimé] / Jean Franchini (1953-....), Auteur ; Jean-Claude Jacquens, Auteur . - Paris : Ellipses, DL 2014 . - 1 vol. (492 p.) : ill., couv. ill. en coul. ; 24*17 cm. - (Les Épreuves corrigées des grandes écoles scientifiques, ISSN 0246-5507) .
ISBN : 978-2-7298-9742-0 : 25,50 EUR
Éditeur : ELLIPSES (15 juillet 2014)
Langue : Français
Broché : 492 pages
ISBN-10 : 2729897429
ISBN-13 : 978-2729897420
Poids de l'article : 840 g
Dimensions : 16.5 x 2.7 x 24 cm
Langues : Français (fre)
Mots-clés : Séries nombres polynômes arithmétique matrices espaces suites et séries équations différentielles espaces euclidiens algèbre intégration Index. décimale : 510 Résumé : sujets posés aux concours Centrale/Supélec, Mines/Ponts et CCP entre 2007 et 2014 filière MP/MP* corrigés et surtout adaptés aux nouveaux programmes
Sommaire :
Séries
nombres
polynômes
arithmétique
matrices
espaces
suites et séries
équations différentielles
espaces euclidiens
algèbre
intégration .SéRIES ENTIéRES NORMES DE MATRICES-POLYNOMES ARITHMéTIQUE DES POLYNOMES-MATRICES à COEFFICIENTS COMPLEXES RéDUCTION-APPLICATIONS CONTRACANTES ESPACES VECTORIELS NORMéS-SUITES ET SéRIES DE FONCTIONS éQUATIONS DIFFéRENTIELLES-ESPACES EUCLIDIENS,MATRICES SYMéTRIQUES-CALCUL DIFFéRENTIEL,SéRIES DE FOURIER SéRIES DE FOURIER-MATRICES SYMéTRIQUES POSITIVES GROUPE ORTHOGONAL,RéDUCTION-ESPACES EUCLIDIENS,FORMES BILINéAIRES DUALITé,RéDUCTION-ALGéBRE LINéAIRE ESPACES EUCLIDIENS-INTéGRATION,SéRIES ENTIéRES SéRIES DE FONCTIONS,SYSTéME DIFFéRENTIEL-CONIQUES,POLYNOMES,RéDUCTION DES MATRICES-ANNéE2012-INTéGRALES SUR UN INTERVALLE SUITES DE FONCTIONS,SéRIES DE FOURIER-ALGéBRE LINéAIRE,RéDUCTION DES MATRICES POLYNOMES D'ENDOMORPHISMES-POLYNOMES,ALGéBRE LINéAIRE ESPACES EUCLIDIENS-FONCTIONS DE PLUSIEURS VARIABLES CALCUL DIFFéRENTIEL-SéRIES DE FONCTIONS,INTéGRALE CURVILIGNE INTéGRATION SUR UN INTERVALLE,NORMES-ALGéBRE LINéAIRE,POLYNOME MINIMAL ARTHIMéTIQUE-ANNéE2011-POLYNOMES,INTéGRATION SéRIES NUMéRIQUES,SéRIES ENTIéRES-MATRICES SYMéTRIQUES ESPACES EUCLIDIENS-MATRICES,RéDUCTION,DUALITé-MATRICES,POLYNOMES INTéGRATION,DéRIVATION-INTéGRATION,SéRIES ENTIéRES éQUATIONS DIFFéRENTIELLES-MATRICES SYMéTRIQUE POSITIVES TRIGONALISATION-ANNéE2010-APPLICATIONS AFFINES SUITES ET SéRIES DE FONCTIONS-FORMES QUADRATIQUES-SUITES ET SéRIES DE FONCTIONS,INTéGRATION FONCTIONS DE PLUSIEURS VARIABLES-CALCUL MATRICIEL,SéRIES ENTIéRES INTéGRATION SUR UN INTERVALLE-FONCTIONS DE PLUSIEURS VARIABLES SéRIES DE FOURIER-EXPONENTIELLE DE MATRICE DIAGNOLISATION,PROJECTEURS-ANNéE2009-INTéGRATION SéRIES ENTIéRES,SéRIES DE FONCTIONS-ESPACES EUCLIDIENS ENDOMORPHISMES AUTOAJOINTS POSITIFS,SUITES-INTéGRATION-ESPACES EUCLIDIENS,ESPACES NORMéS DéTERMINANT,SUITES DE FONCTIONS,SéRIES NUMéRIQUES-INTéGRATION EQUATIONS DIFFéRENTIELLES,ESPACES DE BANACH-POLYNOMES DéTERMINANTS,VALEURS PROPRES-ANNEé2008-éQUATIONS DIFFéRENTIELLES,SéRIES DE FOURIER RELéVEMENT,ESPACES ¨PRéHILBERTIENS RéELS-CALCUL MATRICIEL,ESPACES EUCLIDIENS ESPACES VECTORIELS NORMéS-FORMES QUADRATIQUES,PERMUTATIONS-INTéGRALES DOUBLES,CIRCULATION INTéGRATION,SéRIES DE FOURIER-SéRIES NUMéRIQUES,SéRIES DE FOURIER INTéGRATION SUR UN INTERVALLE-CALCUL MATRICIEL,DéTERMINANTS ESPACES EUCLIDIENS-ANNéE2007-LONGUEUR D'UN ARC PARAMéTRé SUITES ET SéRIES DE FONCTIONS,SéRIES DE FOURIER-ENDOMORPHISMES SYMéTRIQUES ESPACES EUCLIDIENS-NOTIONS D'aRITHMéTIQUE NOTIONS DE SéRIES,ENTIéRES ET INTéGRALES-RéDUCTION DES ENDOMORPHISMES-DONCTIONS DE PLUSIEURS VARIABLES SUITES,SéRIES DE FONCTIONS,SéRIES DE FOURIER-ESPACES EUCLIDIENS,QUADRIQUESNote de contenu : La couv. porte en plus : "inclus sujets 2014". Index Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST13309 510/122.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13310 510/122.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST13311 510/122.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Aide mémoire de Mathématique / I. N. Bronshteĭn
Titre : Aide mémoire de Mathématique : à l'usage des ingénieurs et des élèves des grandes écoles Type de document : texte imprimé Auteurs : I. N. Bronshteĭn, Auteur ; K. A. Semendiaev, Auteur ; Hanri Lefort, Traducteur Editeur : PARIS : Eyrolle (Paris) Année de publication : 1979 Importance : 935 p. Présentation : Ill. Format : 12*10 cm. ISBN/ISSN/EAN : 978-0-442-21171-4 Note générale : Titre Aide-mémoire de Mathématiques
Auteurs I.N. Bronstein
Éditeur Dunod, 2017
ISBN -
Longueur 935 pagesLangues : Anglais (eng) Mots-clés : tables et courbes représentatives mathématiques élémentaires géométrie analytique et différentielle éléments de l'analyse mathématique complément d'analyse Index. décimale : 510 Résumé : Sommaire :
tables et courbes représentatives
mathématiques élémentaires
géométrie analytique et différentielle
éléments de l'analyse mathématique
complément d'analyseNote de contenu : index Aide mémoire de Mathématique : à l'usage des ingénieurs et des élèves des grandes écoles [texte imprimé] / I. N. Bronshteĭn, Auteur ; K. A. Semendiaev, Auteur ; Hanri Lefort, Traducteur . - PARIS : Eyrolle (Paris), 1979 . - 935 p. : Ill. ; 12*10 cm.
ISBN : 978-0-442-21171-4
Titre Aide-mémoire de Mathématiques
Auteurs I.N. Bronstein
Éditeur Dunod, 2017
ISBN -
Longueur 935 pages
Langues : Anglais (eng)
Mots-clés : tables et courbes représentatives mathématiques élémentaires géométrie analytique et différentielle éléments de l'analyse mathématique complément d'analyse Index. décimale : 510 Résumé : Sommaire :
tables et courbes représentatives
mathématiques élémentaires
géométrie analytique et différentielle
éléments de l'analyse mathématique
complément d'analyseNote de contenu : index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13187 510/62.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt Aide-mémoire de mathématiques / Geneviève Pons
Titre : Aide-mémoire de mathématiques : classes préparatoires H.E.C. Type de document : texte imprimé Auteurs : Geneviève Pons (1946-....), Auteur ; Suzelle Roverato (1943-2019), Auteur Editeur : Paris : Ellipses Année de publication : 1993 Importance : 224 p. Présentation : graph., couv. ill. Format : 15*12cm ISBN/ISSN/EAN : 978-2-7298-4307-6 Prix : 80 F Note générale : Éditeur : ELLIPSES (1 décembre 1993)
Langue : Français
Broché : 224 pages
ISBN-10 : 2729843078
ISBN-13 : 978-2729843076
Poids de l'article : 505 gLangues : Français (fre) Mots-clés : algèbre analyse probabilités statistiques informatique méthodes Aide-mémoire de mathématiques classes préparatoires H.E.C. Index. décimale : 510 Résumé : Sommaire :
algèbre : corps polynôme espaces dimension calcul
analyse : suites fonctions limites équivalents dérivée intégration formules séries
probabilités - statistiques : dénombrement espaces de proba. variables vecteurs convergence statistique
informatique
méthodes.algébre-analyse-probabilités-statistiques-méthodesNote de contenu : Index Aide-mémoire de mathématiques : classes préparatoires H.E.C. [texte imprimé] / Geneviève Pons (1946-....), Auteur ; Suzelle Roverato (1943-2019), Auteur . - Paris : Ellipses, 1993 . - 224 p. : graph., couv. ill. ; 15*12cm.
ISBN : 978-2-7298-4307-6 : 80 F
Éditeur : ELLIPSES (1 décembre 1993)
Langue : Français
Broché : 224 pages
ISBN-10 : 2729843078
ISBN-13 : 978-2729843076
Poids de l'article : 505 g
Langues : Français (fre)
Mots-clés : algèbre analyse probabilités statistiques informatique méthodes Aide-mémoire de mathématiques classes préparatoires H.E.C. Index. décimale : 510 Résumé : Sommaire :
algèbre : corps polynôme espaces dimension calcul
analyse : suites fonctions limites équivalents dérivée intégration formules séries
probabilités - statistiques : dénombrement espaces de proba. variables vecteurs convergence statistique
informatique
méthodes.algébre-analyse-probabilités-statistiques-méthodesNote de contenu : Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13118 510/33.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt AIDE-MéMOIRE DE Mathématiques de l'ingénieur / Maurice Chossat
PermalinkAlgèbre, analyse, géométrie / François Dehame
PermalinkAnnales du B.E.P.C., N° 10. Mathématiques / S.A.
PermalinkAnnales du B.E.P.C., N° 11. Mathématiques / vuibert
PermalinkAnnales des concours MP
PermalinkAnnales des concours PC / puhaubert,vincent
PermalinkArithmétique / R.PERNET
PermalinkCommencement du temps et fin de la physique ? / Stephen Hawking
PermalinkLes Contre-exemples en mathématiques / Bertrand Hauchecorne
PermalinkCours de logique mathématique., 1. Cours de logique mathématique / Roland Fraïssé
Permalink