Sciences formelles

Alternate Text

Mathématiques, logiques, informatiques (tous nos livres et books informatiques sur cette page), algèbre ou encore géométrie sont une partie particulière des sciences. Il s’agit, effectivement, de sciences formelles ou sciences logico-formelles. Ces dernières vont explorer les systèmes axiomatiques.


Des sciences basées sur les chiffres


Particularité des sciences formelles, elles sont basées sur les chiffres et les montres. Il est donc important de bien maîtriser ces notions, si l’on désire comprendre les différentes sciences formelles.


Autre particularité des mathématiques, logiques, informatiques, algèbres ou géométrie, elles sont souvent utilisées dans d’autres sciences. Par exemple, la physique utilise souvent les mathématiques. C’est aussi le cas pour les sciences économiques, qui ne peut fonctionner sans statistique mathématique.


Aujourd’hui, encore plus qu’il y a quelques dizaines d’années, la plupart des gens utilisent ces sciences logico-formelles dans leur vie de tout le jour, parfois même sans s’en rendre compte. En effet, lorsque vous faites un simple calcul, vous utilisez des mathématiques, lorsque vous utilisez un ordinateur, un smartphone ou une tablette vous utilisez (ou votre machine) l’informatique sans le savoir.


Un large choix de documents sur les sciences


Pour mieux comprendre ses différentes sciences formelles, vous trouverez sur notre site un large choix de documents et de publications sur ces disciplines. N’hésitez donc pas à les parcourir en ligne, à les télécharger ou à les télécharger.


Parmi les publications qui pourraient être intéressante, il y a nos cours sur l’informatique ou encore nos documents sur l’algorithmique.

Voir Alternate Text
Qu est ce que le vide ?
Category

Ebooks

Qu'est ce que le vide ?

Franck Close, Yves Sacquin

Qu est ce que le vide ? Alternate Text
Category

Ebooks

Sciences formelles

Qu'est ce que le vide ?

Franck Close, Yves Sacquin

Book

118 pages

Flag

Français

icon play Lire
icon play Infos
Principes de chimie redox en écologie microbienne
Category

Ebooks

Principes de chimie redox en écologie microbienne

Alejandro Pidello

Principes de chimie redox en écologie microbienne Alternate Text
Category

Ebooks

Sciences formelles

Principes de chimie redox en écologie microbienne

Alejandro Pidello

Book

147 pages

Flag

Français

icon play Lire
icon play Infos
Le Verrier
Category

Ebooks

Le Verrier

Lequeux James

Le Verrier Alternate Text
Category

Ebooks

Sciences formelles

Le Verrier

Lequeux James

Book

298 pages

Flag

Français

icon play Lire
icon play Infos
Physique des solitons
Category

Ebooks

Physique des solitons

Thierry Dauxois, Michel Peyrard

Physique des solitons Alternate Text
Category

Ebooks

Sciences formelles

Physique des solitons

Thierry Dauxois, Michel Peyrard

Book

340 pages

Flag

Français

icon play Lire
icon play Infos
Hippolyte Fizeau
Category

Ebooks

Hippolyte Fizeau

Lequeux James

Hippolyte Fizeau Alternate Text
Category

Ebooks

Sciences formelles

Hippolyte Fizeau

Lequeux James

Book

105 pages

Flag

Français

icon play Lire
icon play Infos
Aux origines de la masse
Category

Ebooks

Aux origines de la masse

Jean Iliopoulos

Aux origines de la masse Alternate Text
Category

Ebooks

Sciences formelles

Aux origines de la masse

Jean Iliopoulos

Book

85 pages

Flag

Français

icon play Lire
icon play Infos
La recherche spatiale française
Category

Ebooks

La recherche spatiale française

La recherche spatiale française Alternate Text
Category

Ebooks

Sciences formelles

La recherche spatiale française

Book

106 pages

Flag

Français

icon play Lire
icon play Infos
Équations différentielles : 2e édition revue et augmentée
Category

Ebooks

Équations différentielles : 2e édition revue et augmentée

Mario Lefebvre

Équations différentielles : 2e édition revue et augmentée Alternate Text
Category

Ebooks

Sciences formelles

Équations différentielles : 2e édition revue et augmentée

Mario Lefebvre

Book

371 pages

Flag

Français

icon play Lire
icon play Infos
Future Quantum Physics Developments
Category

Ebooks

Future Quantum Physics Developments

Professor Sanjay Rout

Future Quantum Physics Developments Alternate Text
Category

Ebooks

Sciences formelles

Future Quantum Physics Developments

Professor Sanjay Rout

Book

80 pages

Flag

English

icon play Lire
icon play Infos
La guerre des watts
Category

Ebooks

La guerre des watts

Jean-Christian Lhomme

La guerre des watts Alternate Text
Category

Ebooks

Sciences formelles

La guerre des watts

Jean-Christian Lhomme

Book

178 pages

Flag

Français

icon play Lire
icon play Infos
La formule du savoir
Category

Ebooks

La formule du savoir

Lê Nguyên HOANG

La formule du savoir Alternate Text
Category

Ebooks

Sciences formelles

La formule du savoir

Lê Nguyên HOANG

Book

403 pages

Flag

Français

icon play Lire
icon play Infos
Des équations différentielles aux systèmes dynamiques II
Category

Ebooks

Des équations différentielles aux systèmes dynamiques II

Jean Roux, Robert Roussarie

Des équations différentielles aux systèmes dynamiques II Alternate Text
Category

Ebooks

Sciences formelles

Des équations différentielles aux systèmes dynamiques II

Jean Roux, Robert Roussarie

Book

329 pages

Flag

Français

icon play Lire
icon play Infos
Logique floue, principes, aide à la décision
Category

Ebooks

Logique floue, principes, aide à la décision

Jean-Charles Pomerol, Christophe Marsala, Bernard Dubuisson, Henri Maître, Bernadette Bouchon-Meunier

Logique floue, principes, aide à la décision Alternate Text
Category

Ebooks

Sciences formelles

Logique floue, principes, aide à la décision

Jean-Charles Pomerol, Christophe Marsala, Bernard Dubuisson, Henri Maître, Bernadette Bouchon-Meunier

Book

248 pages

Flag

Français

icon play Lire
icon play Infos
Optimisation en sciences de l’ingénieur  : Métaheuristiques, méthodes stochastiques et aide à la décision
Category

Ebooks

Optimisation en sciences de l’ingénieur : Métaheuristiques, méthodes stochastiques et aide à la décision

Dumitru Popescu, Pierre Borne, Dan Stefanoiu, Florin-Gheorghe Filip, Abdel El Kamel

Optimisation en sciences de l’ingénieur  : Métaheuristiques, méthodes stochastiques et aide à la décision Alternate Text
Category

Ebooks

Sciences formelles

Optimisation en sciences de l’ingénieur : Métaheuristiques, méthodes stochastiques et aide à la décision

Dumitru Popescu, Pierre Borne, Dan Stefanoiu, Florin-Gheorghe Filip, Abdel El Kamel

Book

398 pages

Flag

Français

icon play Lire
icon play Infos
Problèmes d analyse I - Nombres réels, suites et séries
Category

Ebooks

Problèmes d'analyse I - Nombres réels, suites et séries

Maria T. Nowak, Wieslawa J. Kaczor

Problèmes d analyse I - Nombres réels, suites et séries Alternate Text
Category

Ebooks

Sciences formelles

Problèmes d'analyse I - Nombres réels, suites et séries

Maria T. Nowak, Wieslawa J. Kaczor

Book

233 pages

Flag

Français

icon play Lire
icon play Infos
Théorie des systèmes dynamiques
Category

Ebooks

Théorie des systèmes dynamiques

Claudia Valls, Barreira Luis

Théorie des systèmes dynamiques Alternate Text
Category

Ebooks

Sciences formelles

Théorie des systèmes dynamiques

Claudia Valls, Barreira Luis

Book

163 pages

Flag

Français

icon play Lire
icon play Infos
Analyse dans les espaces métriques
Category

Ebooks

Analyse dans les espaces métriques

Emmanuel Russ, Hervé Pajot

Analyse dans les espaces métriques Alternate Text
Category

Ebooks

Sciences formelles

Analyse dans les espaces métriques

Emmanuel Russ, Hervé Pajot

Book

281 pages

Flag

Français

icon play Lire
icon play Infos
Trajectoires géodésiques et horocycliques
Category

Ebooks

Trajectoires géodésiques et horocycliques

Françoise Dal'Bo

Trajectoires géodésiques et horocycliques Alternate Text
Category

Ebooks

Sciences formelles

Trajectoires géodésiques et horocycliques

Françoise Dal'Bo

Book

203 pages

Flag

Français

icon play Lire
icon play Infos
Mathématiques des marchés financiers
Category

Ebooks

Mathématiques des marchés financiers

Arnaud Viricel, Mathieu Le Bellac

Mathématiques des marchés financiers Alternate Text
Category

Ebooks

Sciences formelles

Mathématiques des marchés financiers

Arnaud Viricel, Mathieu Le Bellac

Book

117 pages

Flag

Français

icon play Lire
icon play Infos
Des équations différentielles aux systèmes dynamiques II
Category

Ebooks

Des équations différentielles aux systèmes dynamiques II

Jean Roux, Robert Roussarie

Des équations différentielles aux systèmes dynamiques II Alternate Text
Category

Ebooks

Sciences formelles

Des équations différentielles aux systèmes dynamiques II

Jean Roux, Robert Roussarie

Book

242 pages

Flag

Français

icon play Lire
icon play Infos
Théorie des fonctions holomorphes de plusieurs variables
Category

Ebooks

Théorie des fonctions holomorphes de plusieurs variables

Christine Laurent-Thiébaut

Théorie des fonctions holomorphes de plusieurs variables Alternate Text
Category

Ebooks

Sciences formelles

Théorie des fonctions holomorphes de plusieurs variables

Christine Laurent-Thiébaut

Book

257 pages

Flag

Français

icon play Lire
icon play Infos
Cohomologie galoisienne
Category

Ebooks

Cohomologie galoisienne

David Harari

Cohomologie galoisienne Alternate Text
Category

Ebooks

Sciences formelles

Cohomologie galoisienne

David Harari

Book

351 pages

Flag

Français

icon play Lire
icon play Infos
Espaces fonctionnels
Category

Ebooks

Espaces fonctionnels

Gilbert Demengel, Françoise Demengel

Espaces fonctionnels Alternate Text
Category

Ebooks

Sciences formelles

Espaces fonctionnels

Gilbert Demengel, Françoise Demengel

Book

481 pages

Flag

Français

icon play Lire
icon play Infos
Trajectoires géodésiques et horocycliques
Category

Ebooks

Trajectoires géodésiques et horocycliques

Françoise Dal'Bo

Trajectoires géodésiques et horocycliques Alternate Text
Category

Ebooks

Sciences formelles

Trajectoires géodésiques et horocycliques

Françoise Dal'Bo

Book

175 pages

Flag

Français

icon play Lire
icon play Infos
Des équations différentielles aux systèmes dynamiques I
Category

Ebooks

Des équations différentielles aux systèmes dynamiques I

Jean Roux, Robert Roussarie

Des équations différentielles aux systèmes dynamiques I Alternate Text
Category

Ebooks

Sciences formelles

Des équations différentielles aux systèmes dynamiques I

Jean Roux, Robert Roussarie

Book

254 pages

Flag

Français

icon play Lire
icon play Infos
Optimisation et analyse convexe
Category

Ebooks

Optimisation et analyse convexe

Jean-Baptiste Hiriart-Urruty

Optimisation et analyse convexe Alternate Text
Category

Ebooks

Sciences formelles

Optimisation et analyse convexe

Jean-Baptiste Hiriart-Urruty

Book

345 pages

Flag

Français

icon play Lire
icon play Infos
Problèmes d analyse II - Continuité et dérivabilité
Category

Ebooks

Problèmes d'analyse II - Continuité et dérivabilité

Maria T. Nowak, Wieslawa J. Kaczor

Problèmes d analyse II - Continuité et dérivabilité Alternate Text
Category

Ebooks

Sciences formelles

Problèmes d'analyse II - Continuité et dérivabilité

Maria T. Nowak, Wieslawa J. Kaczor

Book

376 pages

Flag

Français

icon play Lire
icon play Infos
Théorie abstraite des graphes en vue d optimisations concrètes
Category

Ebooks

Théorie abstraite des graphes en vue d'optimisations concrètes

Khoan Vo Khac

Théorie abstraite des graphes en vue d optimisations concrètes Alternate Text
Category

Ebooks

Sciences formelles

Théorie abstraite des graphes en vue d'optimisations concrètes

Khoan Vo Khac

Book

84 pages

Flag

Français

icon play Lire
icon play Infos
Théorie de Morse et homologie de Floer
Category

Ebooks

Théorie de Morse et homologie de Floer

Mihai Damian, Michèle Audin

Théorie de Morse et homologie de Floer Alternate Text
Category

Ebooks

Sciences formelles

Théorie de Morse et homologie de Floer

Mihai Damian, Michèle Audin

Book

524 pages

Flag

Français

icon play Lire
icon play Infos
Voyage dans les mathématiques de l espace-temps
Category

Ebooks

Voyage dans les mathématiques de l'espace-temps

Stéphane Collion

Voyage dans les mathématiques de l espace-temps Alternate Text
Category

Ebooks

Sciences formelles

Voyage dans les mathématiques de l'espace-temps

Stéphane Collion

Book

203 pages

Flag

Français

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text