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
Comment on Arradillas-Lopez and Tamer
Category

Documents

Comment on Arradillas-Lopez and Tamer

Comment on Arradillas-Lopez and Tamer Alternate Text
Category

Documents

Sciences formelles

Comment on Arradillas-Lopez and Tamer

Book

15 pages

Flag

English

Mathématique et Cryptographie - Cours no. 1
Category

Documents

Mathématique et Cryptographie - Cours no. 1

Jean-Sébastien Coron

Mathématique et Cryptographie - Cours no. 1 Alternate Text
Category

Documents

Sciences formelles

Mathématique et Cryptographie - Cours no. 1

Jean-Sébastien Coron

Book

13 pages

Flag

Français

Cours de trigonométrie : Chapitre 20
Category

Documents

Cours de trigonométrie : Chapitre 20

Cours de trigonométrie : Chapitre 20 Alternate Text
Category

Documents

Sciences formelles

Cours de trigonométrie : Chapitre 20

Book

6 pages

Flag

Français

The Calculation of Hydrodynamic Shocks by Numerical Methods - A  Tutorial
Category

Documents

The Calculation of Hydrodynamic Shocks by Numerical Methods - A Tutorial

Prosent

The Calculation of Hydrodynamic Shocks by Numerical Methods - A  Tutorial Alternate Text
Category

Documents

Sciences formelles

The Calculation of Hydrodynamic Shocks by Numerical Methods - A Tutorial

Prosent

Book

43 pages

Flag

English

AIMMS Tutorial for Professionals - Data Management
Category

Documents

AIMMS Tutorial for Professionals - Data Management

J.J. Bisschop And J.B.J. Heerink

AIMMS Tutorial for Professionals - Data Management Alternate Text
Category

Documents

Sciences formelles

AIMMS Tutorial for Professionals - Data Management

J.J. Bisschop And J.B.J. Heerink

Book

17 pages

Flag

English

partition
Category

Documents

Partition

partition Alternate Text
Category

Documents

Sciences formelles

Partition

Book

18 pages

Flag

English

CORDIS focus
Category

Documents

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

Book

28 pages

Flag

Deutsch

RAPPORT DE LA CINQUIÈME RÉUNION DU COMITÉ DE L INFORMATION POUR LE ...
Category

Documents

RAPPORT DE LA CINQUIÈME RÉUNION DU COMITÉ DE L'INFORMATION POUR LE ...

Super Admin

RAPPORT DE LA CINQUIÈME RÉUNION DU COMITÉ DE L INFORMATION POUR LE ... Alternate Text
Category

Documents

Sciences formelles

RAPPORT DE LA CINQUIÈME RÉUNION DU COMITÉ DE L'INFORMATION POUR LE ...

Super Admin

Book

49 pages

Flag

Français

Quantitative Analysis of Multimedia Audit Trails
Category

Documents

Quantitative Analysis of Multimedia Audit Trails

Graeme Salter

Quantitative Analysis of Multimedia Audit Trails Alternate Text
Category

Documents

Sciences formelles

Quantitative Analysis of Multimedia Audit Trails

Graeme Salter

Book

7 pages

Flag

English

Partition Dependence in Subjective Probability Judgment
Category

Documents

Partition Dependence in Subjective Probability Judgment

Bob Clemen

Partition Dependence in Subjective Probability Judgment Alternate Text
Category

Documents

Sciences formelles

Partition Dependence in Subjective Probability Judgment

Bob Clemen

Book

40 pages

Flag

English

PROCEEDINGS OF THE 1984 INTERNATIONAL CONFERENCE ON PLASMA PHYSICS. Lausanne, 27 June - 3 July 1984 Volume I Volume II
Category

Documents

PROCEEDINGS OF THE 1984 INTERNATIONAL CONFERENCE ON PLASMA PHYSICS. Lausanne, 27 June - 3 July 1984 Volume I Volume II

Directorate-General For Research And Innovation

PROCEEDINGS OF THE 1984 INTERNATIONAL CONFERENCE ON PLASMA PHYSICS. Lausanne, 27 June - 3 July 1984 Volume I Volume II Alternate Text
Category

Documents

Sciences formelles

PROCEEDINGS OF THE 1984 INTERNATIONAL CONFERENCE ON PLASMA PHYSICS. Lausanne, 27 June - 3 July 1984 Volume I Volume II

Directorate-General For Research And Innovation

Book

620 pages

Flag

English

numis-tutorial
Category

Documents

Numis-tutorial

Iris Instruments

numis-tutorial Alternate Text
Category

Documents

Sciences formelles

Numis-tutorial

Iris Instruments

Book

9 pages

Flag

English

Cahier de l’élève (2) Cours théorique
Category

Documents

Cahier de l’élève (2) Cours théorique

Oqre

Cahier de l’élève (2) Cours théorique Alternate Text
Category

Documents

Sciences formelles

Cahier de l’élève (2) Cours théorique

Oqre

Book

10 pages

Flag

Français

Sur la répartition des valeurs de la fonction d‘Euler
Category

Documents

Sur la répartition des valeurs de la fonction d‘Euler

Michel Balazard And GÉRald Tenenbaum

Sur la répartition des valeurs de la fonction d‘Euler Alternate Text
Category

Documents

Sciences formelles

Sur la répartition des valeurs de la fonction d‘Euler

Michel Balazard And GÉRald Tenenbaum

Book

12 pages

Flag

Catalan

Mise en place du «Club Chine»
Category

Documents

Mise en place du «Club Chine»

Mise en place du «Club Chine» Alternate Text
Category

Documents

Sciences formelles

Mise en place du «Club Chine»

Book

2 pages

Flag

Français

Cours-MM005
Category

Documents

Cours-MM005

Cours-MM005 Alternate Text
Category

Documents

Sciences formelles

Cours-MM005

Book

95 pages

Flag

English

Benchmark Assessment
Category

Documents

Benchmark Assessment

Professional Workstation

Benchmark Assessment Alternate Text
Category

Documents

Sciences formelles

Benchmark Assessment

Professional Workstation

Book

7 pages

Flag

English

The use of plasma torches for auxiliary heating in an electric arc furnace
Category

Documents

The use of plasma torches for auxiliary heating in an electric arc furnace

Directorate-General For Research And Innovation

The use of plasma torches for auxiliary heating in an electric arc furnace Alternate Text
Category

Documents

Sciences formelles

The use of plasma torches for auxiliary heating in an electric arc furnace

Directorate-General For Research And Innovation

Book

86 pages

Flag

English

[tel-00137866, v1] Étude et implantation de quelques algorithmes en  algèbre différentielle
Category

Documents

[tel-00137866, v1] Étude et implantation de quelques algorithmes en algèbre différentielle

Boulier, Thierry François

[tel-00137866, v1] Étude et implantation de quelques algorithmes en  algèbre différentielle Alternate Text
Category

Documents

Sciences formelles

[tel-00137866, v1] Étude et implantation de quelques algorithmes en algèbre différentielle

Boulier, Thierry François

Book

123 pages

Flag

Español

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques
Category

Documents

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques

Sing-Ténière, Christelle

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques Alternate Text
Category

Documents

Sciences formelles

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques

Sing-Ténière, Christelle

Book

12 pages

Flag

Français

(Etude exp  351rimentale de l   351lectrolyse)
Category

Documents

(Etude exp 351rimentale de l' 351lectrolyse)

Cyrus

(Etude exp  351rimentale de l   351lectrolyse) Alternate Text
Category

Documents

Sciences formelles

(Etude exp 351rimentale de l' 351lectrolyse)

Cyrus

Book

5 pages

Flag

Français

Etude expérimentale de la rupture des polymères amorphes
Category

Documents

Etude expérimentale de la rupture des polymères amorphes

Saad Gouider Nesrine

Etude expérimentale de la rupture des polymères amorphes Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale de la rupture des polymères amorphes

Saad Gouider Nesrine

Book

3 pages

Flag

Français

Un manuel de logique organisé par Jean Chortasménos et destiné à l enseignement (catalogage du manuscrit) - article ; n°1 ; vol.54, pg 67-106
Category

Documents

Un manuel de logique organisé par Jean Chortasménos et destiné à l'enseignement (catalogage du manuscrit) - article ; n°1 ; vol.54, pg 67-106

Michel Cacouros

Un manuel de logique organisé par Jean Chortasménos et destiné à l enseignement (catalogage du manuscrit) - article ; n°1 ; vol.54, pg 67-106 Alternate Text
Category

Documents

Sciences formelles

Un manuel de logique organisé par Jean Chortasménos et destiné à l'enseignement (catalogage du manuscrit) - article ; n°1 ; vol.54, pg 67-106

Michel Cacouros

Book

41 pages

Flag

Français

TITRE COURS
Category

Documents

TITRE COURS

Abc

TITRE COURS Alternate Text
Category

Documents

Sciences formelles

TITRE COURS

Abc

Book

6 pages

Flag

Français

cours Proba
Category

Documents

Cours Proba

Dhaouadi

cours Proba Alternate Text
Category

Documents

Sciences formelles

Cours Proba

Dhaouadi

Book

11 pages

Flag

Français

European wind turbine standards
Category

Documents

European wind turbine standards

Directorate-General For Research And Innovation European Commission

European wind turbine standards Alternate Text
Category

Documents

Sciences formelles

European wind turbine standards

Directorate-General For Research And Innovation European Commission

Book

686 pages

Flag

English

Matlab  Basics  Tutorial for ELEC Students-2004
Category

Documents

Matlab Basics Tutorial for ELEC Students-2004

Matlab  Basics  Tutorial for ELEC Students-2004 Alternate Text
Category

Documents

Sciences formelles

Matlab Basics Tutorial for ELEC Students-2004

Book

23 pages

Flag

English

Trial storage of high-level waste in the Asse II salt mine. Report
Category

Documents

Trial storage of high-level waste in the Asse II salt mine. Report

Directorate-General For Research And Innovation

Trial storage of high-level waste in the Asse II salt mine. Report Alternate Text
Category

Documents

Sciences formelles

Trial storage of high-level waste in the Asse II salt mine. Report

Directorate-General For Research And Innovation

Book

300 pages

Flag

English

Cours sur les probabilités
Category

Documents

Cours sur les probabilités

Costantini

Cours sur les probabilités Alternate Text
Category

Documents

Sciences formelles

Cours sur les probabilités

Costantini

Book

7 pages

Flag

Français

IN101 - cours 13 - 17 de19 ecembre 2010
Category

Documents

IN101 - cours 13 - 17 de19 ecembre 2010

Matthieu Finiasz

IN101 - cours 13 - 17 de19 ecembre 2010 Alternate Text
Category

Documents

Sciences formelles

IN101 - cours 13 - 17 de19 ecembre 2010

Matthieu Finiasz

Book

20 pages

Flag

Français

Alternate Text