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
Materials research for advanced batteries
Category

Documents

Materials research for advanced batteries

Directorate-General For Translation European Commission

Materials research for advanced batteries Alternate Text
Category

Documents

Sciences formelles

Materials research for advanced batteries

Directorate-General For Translation European Commission

Book

38 pages

Flag

English

CREEP AND FATIGUE IN HIGH TEMPERATURE ALLOYS
Category

Documents

CREEP AND FATIGUE IN HIGH TEMPERATURE ALLOYS

Directorate-General For Translation European Commission

CREEP AND FATIGUE IN HIGH TEMPERATURE ALLOYS Alternate Text
Category

Documents

Sciences formelles

CREEP AND FATIGUE IN HIGH TEMPERATURE ALLOYS

Directorate-General For Translation European Commission

Book

212 pages

Flag

English

Properties of the retinal binding site in bacteriorhodopsin
Category

Documents

Properties of the retinal binding site in bacteriorhodopsin

Directorate-General For Translation European Commission

Properties of the retinal binding site in bacteriorhodopsin Alternate Text
Category

Documents

Sciences formelles

Properties of the retinal binding site in bacteriorhodopsin

Directorate-General For Translation European Commission

Book

32 pages

Flag

English

Fusion technology 1980
Category

Documents

Fusion technology 1980

Directorate-General For Translation European Commission

Fusion technology 1980 Alternate Text
Category

Documents

Sciences formelles

Fusion technology 1980

Directorate-General For Translation European Commission

Book

664 pages

Flag

English

Resistance spot welding of low carbon and high strength steels
Category

Documents

Resistance spot welding of low carbon and high strength steels

Directorate-General For Translation European Commission

Resistance spot welding of low carbon and high strength steels Alternate Text
Category

Documents

Sciences formelles

Resistance spot welding of low carbon and high strength steels

Directorate-General For Translation European Commission

Book

116 pages

Flag

English

Studies on the radioactive contamination of the sea
Category

Documents

Studies on the radioactive contamination of the sea

Directorate-General For Translation European Commission

Studies on the radioactive contamination of the sea Alternate Text
Category

Documents

Sciences formelles

Studies on the radioactive contamination of the sea

Directorate-General For Translation European Commission

Book

146 pages

Flag

English

Casting and Solidification of Steel: Volume 1
Category

Documents

Casting and Solidification of Steel: Volume 1

Directorate-General For Translation European Commission

Casting and Solidification of Steel: Volume 1 Alternate Text
Category

Documents

Sciences formelles

Casting and Solidification of Steel: Volume 1

Directorate-General For Translation European Commission

Book

372 pages

Flag

English

Measurements and control techniques in rolling, Luxembourg, 2-3/9/1981
Category

Documents

Measurements and control techniques in rolling, Luxembourg, 2-3/9/1981

Directorate-General For Translation European Commission

Measurements and control techniques in rolling, Luxembourg, 2-3/9/1981 Alternate Text
Category

Documents

Sciences formelles

Measurements and control techniques in rolling, Luxembourg, 2-3/9/1981

Directorate-General For Translation European Commission

Book

420 pages

Flag

English

Short reference year
Category

Documents

Short reference year

Directorate-General For Translation European Commission

Short reference year Alternate Text
Category

Documents

Sciences formelles

Short reference year

Directorate-General For Translation European Commission

Book

1 pages

Flag

中文

European modelling group for solar systems
Category

Documents

European modelling group for solar systems

Directorate-General For Translation European Commission

European modelling group for solar systems Alternate Text
Category

Documents

Sciences formelles

European modelling group for solar systems

Directorate-General For Translation European Commission

Book

442 pages

Flag

English

Photovoltaic Solar Energy Conference
Category

Documents

Photovoltaic Solar Energy Conference

Directorate-General For Translation European Commission

Photovoltaic Solar Energy Conference Alternate Text
Category

Documents

Sciences formelles

Photovoltaic Solar Energy Conference

Directorate-General For Translation European Commission

Book

1388 pages

Flag

English

DEMOLITION WASTE
Category

Documents

DEMOLITION WASTE

Directorate-General For Translation European Commission

DEMOLITION WASTE Alternate Text
Category

Documents

Sciences formelles

DEMOLITION WASTE

Directorate-General For Translation European Commission

Book

200 pages

Flag

English

European Communities oil and gas research and development projects
Category

Documents

European Communities oil and gas research and development projects

Directorate-General For Translation European Commission

European Communities oil and gas research and development projects Alternate Text
Category

Documents

Sciences formelles

European Communities oil and gas research and development projects

Directorate-General For Translation European Commission

Book

232 pages

Flag

English

Environmental effects in corrosion fatigue
Category

Documents

Environmental effects in corrosion fatigue

Directorate-General For Translation European Commission

Environmental effects in corrosion fatigue Alternate Text
Category

Documents

Sciences formelles

Environmental effects in corrosion fatigue

Directorate-General For Translation European Commission

Book

108 pages

Flag

English

Data on existing wind energy converters in Denmark
Category

Documents

Data on existing wind energy converters in Denmark

Directorate-General For Translation European Commission

Data on existing wind energy converters in Denmark Alternate Text
Category

Documents

Sciences formelles

Data on existing wind energy converters in Denmark

Directorate-General For Translation European Commission

Book

1 pages

Flag

中文

Black Holes in General Relativity
Category

Documents

Black Holes in General Relativity

Nathalie Deruelle

Black Holes in General Relativity Alternate Text
Category

Documents

Sciences formelles

Black Holes in General Relativity

Nathalie Deruelle

Book

140 pages

Flag

English

Random matrix theory
Category

Documents

Random matrix theory

Alan Edelman

Random matrix theory Alternate Text
Category

Documents

Sciences formelles

Random matrix theory

Alan Edelman

Book

65 pages

Flag

English

Recommender Systems
Category

Documents

Recommender Systems

Melville

Recommender Systems Alternate Text
Category

Documents

Sciences formelles

Recommender Systems

Melville

Book

9 pages

Flag

English

CAARMS11 Tutorial on Lagrangians
Category

Documents

CAARMS11 Tutorial on Lagrangians

Wmassey

CAARMS11 Tutorial on Lagrangians Alternate Text
Category

Documents

Sciences formelles

CAARMS11 Tutorial on Lagrangians

Wmassey

Book

28 pages

Flag

English

Tutorial  on  Differential Galois Theory II
Category

Documents

Tutorial on Differential Galois Theory II

T. Dyckerhoff

Tutorial  on  Differential Galois Theory II Alternate Text
Category

Documents

Sciences formelles

Tutorial on Differential Galois Theory II

T. Dyckerhoff

Book

69 pages

Flag

English

itp-tutorial
Category

Documents

Itp-tutorial

itp-tutorial Alternate Text
Category

Documents

Sciences formelles

Itp-tutorial

Book

15 pages

Flag

English

Entropy and set cardinality inequalities for partition-determined  functions
Category

Documents

Entropy and set cardinality inequalities for partition-determined functions

Entropy and set cardinality inequalities for partition-determined  functions Alternate Text
Category

Documents

Sciences formelles

Entropy and set cardinality inequalities for partition-determined functions

Book

22 pages

Flag

English

Error-Control Tutorial  96
Category

Documents

Error-Control Tutorial '96

Jay Jacobsmeyer

Error-Control Tutorial  96 Alternate Text
Category

Documents

Sciences formelles

Error-Control Tutorial '96

Jay Jacobsmeyer

Book

16 pages

Flag

English

af-cours
Category

Documents

Af-cours

af-cours Alternate Text
Category

Documents

Sciences formelles

Af-cours

Book

9 pages

Flag

Français

Logarithmes, cours, avancé
Category

Documents

Logarithmes, cours, avancé

Marcel Délèze

Logarithmes, cours, avancé Alternate Text
Category

Documents

Sciences formelles

Logarithmes, cours, avancé

Marcel Délèze

Book

15 pages

Flag

Français

JTEP Comment rev KS
Category

Documents

JTEP Comment rev KS

Ksmall

JTEP Comment rev KS Alternate Text
Category

Documents

Sciences formelles

JTEP Comment rev KS

Ksmall

Book

9 pages

Flag

English

Cours sur la théorie de galois
Category

Documents

Cours sur la théorie de galois

Cours sur la théorie de galois Alternate Text
Category

Documents

Sciences formelles

Cours sur la théorie de galois

Book

10 pages

Flag

Français

icdm-tutorial
Category

Documents

Icdm-tutorial

Administrator

icdm-tutorial Alternate Text
Category

Documents

Sciences formelles

Icdm-tutorial

Administrator

Book

60 pages

Flag

English

Huybers’ Comment and Our Reply
Category

Documents

Huybers’ Comment and Our Reply

Ross Mckitrick

Huybers’ Comment and Our Reply Alternate Text
Category

Documents

Sciences formelles

Huybers’ Comment and Our Reply

Ross Mckitrick

Book

4 pages

Flag

English

cours-x-08
Category

Documents

Cours-x-08

cours-x-08 Alternate Text
Category

Documents

Sciences formelles

Cours-x-08

Book

4 pages

Flag

Serbian

Alternate Text