Bibliothèques de l’UTC

Le |théorème de GÉodel

Auteur(s) : Nagel, Ernest (1901-1985). Auteur | Newman, James R. (1907-1966). Auteur | GÉodel, Kurt (1906-1978). Auteur

Date de publication : DL 1989

Type de document : Livre

Source : SYRACUSE

Promenades mathématiques

histoire, fondements, applications

Auteur(s) : Laroche, Frédéric (19..-....). Auteur

Date de publication : DL 2003

Type de document : Livre

Source : SYRACUSE

Probabilités et statistique

avec applications en technologie et ingéniérie ; outils d'analyse et d'aide à la décision pour les sciences de l'ingénieur ; traitement de données avec Excel

Auteur(s) : Baillargeon, Gérald (1941-....). Auteur

Date de publication : C 2016

Type de document : Livre

Source : SYRACUSE

Cette nouvelle édition comporte les principaux outils statistiques et probabilistes appliqués aux nouvelles technologies (génie industriel, génie civil, génie mécanique, génie électrique, génie informatique, matériaux composites, ...

Finite elements

an introduction to the method and error estimation

Auteur(s) : Babuska, Ivo (1926-....). Auteur | Whiteman, John Robert (1938-....). Auteur | Strouboulis, Theofanis. Auteur

Edition : Oxford University Press |2011

Type de document : Livre

Source : SYRACUSE

Formulaire de maths

avec résumés de cours

Auteur(s) : Rodot, Olivier. Auteur | Rombaldi, Jean-Étienne (19..-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Enrichi par des résumés de cours, ce formulaire sera d'une aide précieuse pour l'étudiant souhaitant s'assurer de l'assimilation des nouveaux programmes de mathématiques des classes préparatoires aux grandes écoles comme ceux des...

Introduction au calcul tensoriel

Applications à la physique

Auteur(s) : Semay, Claude (19..-....). Auteur | Silvestre-Brac, Bernard (1948-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Les scalaires et les vecteurs ne peuvent pas représenter toutes les grandeurs physiques ; c est pourquoi de nouvelles entités mathématiques ont été développées : les tenseurs. Le calcul tensoriel, qui manipule ces grandeurs, est e...

Automatique des systèmes linéaires continus

licences, IUT, écoles d'ingénieurs ; exercices et méthodes

Auteur(s) : Granjon, Yves (1961-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Cet ouvrage propose aux étudiants des premières années d'études supérieures une méthode progressive et efficace pour comprendre et appliquer les concepts fondamentaux de l'automatique des systèmes linéaires continus. A la suite d...

Logique

fondements et applications

Auteur(s) : Le Barbenchon, Pierre. Auteur | Pinchinat, Sophie (1964-....). Auteur | Schwarzentruber, François (1982-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les u...

Introduction à la théorie analytique et proba...

Auteur(s) : Tenenbaum, Gérald (1952-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Solide initiation aux méthodes analytiques et probabilistes de l'arithmétique, ce livre constitue une base de référence autonome. Ne s'appuyant que sur les connaissances traditionnellement enseignées dans les deux premiers cylces ...

Introduction à la géométrie différentielle

Auteur(s) : Guedj, Vincent (19..-....) - mathématicien. Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Cet ouvrage est une introduction à la géométrie différentielle. Il explore certains invariants intrinsèques fondamentaux (longueur des courbes, distance, courbure de Gauss) qui permettent de comparer les objets géométriques selon ...