Sciences formelles

icon subthematics

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
Rayonnement électromagnétique des convertisseurs à découpage
Category

Ebooks

Rayonnement électromagnétique des convertisseurs à découpage

Jean-Louis Cocquerelle, Christophe Pasquier

Rayonnement électromagnétique des convertisseurs à découpage Alternate Text
Category

Ebooks

Sciences formelles

Rayonnement électromagnétique des convertisseurs à découpage

Jean-Louis Cocquerelle, Christophe Pasquier

Book

125 pages

Flag

Français

L optique non linéaire et ses matériaux
Category

Ebooks

L'optique non linéaire et ses matériaux

L optique non linéaire et ses matériaux Alternate Text
Category

Ebooks

Sciences formelles

L'optique non linéaire et ses matériaux

Book

418 pages

Flag

Français

La chimie dans le sport
Category

Ebooks

La chimie dans le sport

Danièle Olivier, Constantin Agouridas, Paul Rigny, Jean-Claude Bernier

La chimie dans le sport Alternate Text
Category

Ebooks

Sciences formelles

La chimie dans le sport

Danièle Olivier, Constantin Agouridas, Paul Rigny, Jean-Claude Bernier

Book

120 pages

Flag

Français

Complexité et désordre
Category

Ebooks

Complexité et désordre

Complexité et désordre Alternate Text
Category

Ebooks

Sciences formelles

Complexité et désordre

Book

170 pages

Flag

Français

Énergie, entropie, information, cryptographie et cybersécurité
Category

Ebooks

Énergie, entropie, information, cryptographie et cybersécurité

Christian Ngô

Énergie, entropie, information, cryptographie et cybersécurité Alternate Text
Category

Ebooks

Sciences formelles

Énergie, entropie, information, cryptographie et cybersécurité

Christian Ngô

Book

290 pages

Flag

Français

The CoRoT Legacy Book
Category

Ebooks

The CoRoT Legacy Book

CoRot Team

The CoRoT Legacy Book Alternate Text
Category

Ebooks

Sciences formelles

The CoRoT Legacy Book

CoRot Team

Book

264 pages

Flag

English

Neutrons for Science
Category

Ebooks

Neutrons for Science

Bernard Jacrot

Neutrons for Science Alternate Text
Category

Ebooks

Sciences formelles

Neutrons for Science

Bernard Jacrot

Book

211 pages

Flag

English

Introduction aux éphémérides et phénomènes astronomiques
Category

Ebooks

Introduction aux éphémérides et phénomènes astronomiques

IMCCE - Institut de mécanique céleste et de calcul des éphémérides

Introduction aux éphémérides et phénomènes astronomiques Alternate Text
Category

Ebooks

Sciences formelles

Introduction aux éphémérides et phénomènes astronomiques

IMCCE - Institut de mécanique céleste et de calcul des éphémérides

Book

1061 pages

Flag

Français

Guide de données astronomiques 2017
Category

Ebooks

Guide de données astronomiques 2017

IMCCE - Institut de mécanique céleste et de calcul des éphémérides

Guide de données astronomiques 2017 Alternate Text
Category

Ebooks

Sciences formelles

Guide de données astronomiques 2017

IMCCE - Institut de mécanique céleste et de calcul des éphémérides

Book

396 pages

Flag

Français

Space Fault Tree Theory and System Reliability Analysis
Category

Ebooks

Space Fault Tree Theory and System Reliability Analysis

Shasha LI, Tiejun CUI

Space Fault Tree Theory and System Reliability Analysis Alternate Text
Category

Ebooks

Sciences formelles

Space Fault Tree Theory and System Reliability Analysis

Shasha LI, Tiejun CUI

Book

240 pages

Flag

English

Exercise book on Aromatic Nitrogen Heterocycles Chemistry
Category

Ebooks

Exercise book on Aromatic Nitrogen Heterocycles Chemistry

Sabine Chierici, Martine Demeunynck

Exercise book on Aromatic Nitrogen Heterocycles Chemistry Alternate Text
Category

Ebooks

Sciences formelles

Exercise book on Aromatic Nitrogen Heterocycles Chemistry

Sabine Chierici, Martine Demeunynck

Book

232 pages

Flag

English

Merveilleuses structures
Category

Ebooks

Merveilleuses structures

Yan Liang

Merveilleuses structures Alternate Text
Category

Ebooks

Sciences formelles

Merveilleuses structures

Yan Liang

Book

135 pages

Flag

Français

Synthèse et catalyse asymétriques
Category

Ebooks

Synthèse et catalyse asymétriques

Jacqueline Seyden-Penne

Synthèse et catalyse asymétriques Alternate Text
Category

Ebooks

Sciences formelles

Synthèse et catalyse asymétriques

Jacqueline Seyden-Penne

Book

560 pages

Flag

Français

Building and Sending Interstellar Probes
Category

Livres audio

Building and Sending Interstellar Probes

Martin K. Ettington

Building and Sending Interstellar Probes Alternate Text
Category

Livres audio

Sciences formelles

Building and Sending Interstellar Probes

Martin K. Ettington

Book

01:21:00

Flag

English

On the Origin of Species
Category

Livres audio

On the Origin of Species

Charles Darwin

On the Origin of Species Alternate Text
Category

Livres audio

Sciences formelles

On the Origin of Species

Charles Darwin

Book

05:52:30

Flag

English

Solar System For Kids (Speedy Study Guide)
Category

Ebooks

Solar System For Kids (Speedy Study Guide)

Speedy Publishing

Solar System For Kids (Speedy Study Guide) Alternate Text
Category

Ebooks

Sciences formelles

Solar System For Kids (Speedy Study Guide)

Speedy Publishing

Book

6 pages

Flag

English

Codici cifrati
Category

Ebooks

Codici cifrati

Beckman Bengt

Codici cifrati Alternate Text
Category

Ebooks

Sciences formelles

Codici cifrati

Beckman Bengt

Book

264 pages

Flag

Italiano

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

Dans le mix énergétique
Category

Ebooks

Dans le mix énergétique

Peb

Dans le mix énergétique Alternate Text
Category

Ebooks

Sciences formelles

Dans le mix énergétique

Peb

Book

72 pages

Flag

Français

Design of Observational Studies
Category

Ebooks

Design of Observational Studies

Paul R. Rosenbaum

Design of Observational Studies Alternate Text
Category

Ebooks

Sciences formelles

Design of Observational Studies

Paul R. Rosenbaum

Book

381 pages

Flag

English

Successfully Starting in Astronomical Spectroscopy
Category

Ebooks

Successfully Starting in Astronomical Spectroscopy

François Cochard

Successfully Starting in Astronomical Spectroscopy Alternate Text
Category

Ebooks

Sciences formelles

Successfully Starting in Astronomical Spectroscopy

François Cochard

Book

268 pages

Flag

English

Nuclear Reactor Systems
Category

Ebooks

Nuclear Reactor Systems

Bertrand Barré, Pascal Anzieu, Richarch Lenain, Jean-Baptiste Thomas

Nuclear Reactor Systems Alternate Text
Category

Ebooks

Sciences formelles

Nuclear Reactor Systems

Bertrand Barré, Pascal Anzieu, Richarch Lenain, Jean-Baptiste Thomas

Book

433 pages

Flag

English

Life through the Ages II
Category

Ebooks

Life through the Ages II

Mark P. Witton

Life through the Ages II Alternate Text
Category

Ebooks

Sciences formelles

Life through the Ages II

Mark P. Witton

Book

98 pages

Flag

English

For the Recorde
Category

Ebooks

For the Recorde

Gareth Ffowc Roberts

For the Recorde Alternate Text
Category

Ebooks

Sciences formelles

For the Recorde

Gareth Ffowc Roberts

Book

174 pages

Flag

English

La chimie et la sécurité
Category

Ebooks

La chimie et la sécurité

Constantin Agouridas, Jean-Claude Bernier, Danièle Olivier, Paul Rigny

La chimie et la sécurité Alternate Text
Category

Ebooks

Sciences formelles

La chimie et la sécurité

Constantin Agouridas, Jean-Claude Bernier, Danièle Olivier, Paul Rigny

Book

145 pages

Flag

Français

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Category

Ebooks

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

John L. Bell

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics Alternate Text
Category

Ebooks

Sciences formelles

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

John L. Bell

Book

278 pages

Flag

English

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

الجغرافيا الطبيعية
Category

Ebooks

الجغرافيا الطبيعية

نصري ذياب خاطر

الجغرافيا الطبيعية Alternate Text
Category

Ebooks

Sciences formelles

الجغرافيا الطبيعية

نصري ذياب خاطر

Book

261 pages

Flag

Arabic

L hydrogène vert
Category

Ebooks

L'hydrogène vert

Bernard Wiesenfeld

L hydrogène vert Alternate Text
Category

Ebooks

Sciences formelles

L'hydrogène vert

Bernard Wiesenfeld

Book

169 pages

Flag

Français

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
Category

Ebooks

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

Dirk Van Dalen

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher Alternate Text
Category

Ebooks

Sciences formelles

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

Dirk Van Dalen

Book

591 pages

Flag

English

Alternate Text