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
IN101 - cours 04 - 8 octobre 2010
Category

Documents

IN101 - cours 04 - 8 octobre 2010

Matthieu Finiasz

IN101 - cours 04 - 8 octobre 2010 Alternate Text
Category

Documents

Sciences formelles

IN101 - cours 04 - 8 octobre 2010

Matthieu Finiasz

Book

8 pages

Flag

Français

Solid oxide fuel cells
Category

Documents

Solid oxide fuel cells

European Commission Directorate-General For Research And Innovation

Solid oxide fuel cells Alternate Text
Category

Documents

Sciences formelles

Solid oxide fuel cells

European Commission Directorate-General For Research And Innovation

Book

872 pages

Flag

English

Euronorm 80-85
Category

Documents

Euronorm 80-85

Directorate-General For Translation European Commission

Euronorm 80-85 Alternate Text
Category

Documents

Sciences formelles

Euronorm 80-85

Directorate-General For Translation European Commission

Book

12 pages

Flag

Deutsch

Lamarckiens et Darwiniens : Discussion de quelques théories sur la formation des espèces/IV/XVI
Category

Documents

Lamarckiens et Darwiniens : Discussion de quelques théories sur la formation des espèces/IV/XVI

Lamarckiens et Darwiniens : Discussion de quelques théories sur la formation des espèces/IV/XVI Alternate Text
Category

Documents

Sciences formelles

Lamarckiens et Darwiniens : Discussion de quelques théories sur la formation des espèces/IV/XVI

Book

3 pages

Flag

Français

Sujet de cours 2006--2007
Category

Documents

Sujet de cours 2006--2007

Gwénaëlle Castellan

Sujet de cours 2006--2007 Alternate Text
Category

Documents

Sciences formelles

Sujet de cours 2006--2007

Gwénaëlle Castellan

Book

3 pages

Flag

Français

PLAN DU COURS
Category

Documents

PLAN DU COURS

Laboeco

PLAN DU COURS Alternate Text
Category

Documents

Sciences formelles

PLAN DU COURS

Laboeco

Book

3 pages

Flag

Catalan

Cours-Guillemet
Category

Documents

Cours-Guillemet

Cours-Guillemet Alternate Text
Category

Documents

Sciences formelles

Cours-Guillemet

Book

36 pages

Flag

Français

Preparatory studies for modelling steam condensation on soluble aerosols
Category

Documents

Preparatory studies for modelling steam condensation on soluble aerosols

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

Preparatory studies for modelling steam condensation on soluble aerosols Alternate Text
Category

Documents

Sciences formelles

Preparatory studies for modelling steam condensation on soluble aerosols

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

Book

60 pages

Flag

English

FTE INFO. JUNI 96 N°12
Category

Documents

FTE INFO. JUNI 96 N°12

Directorate-General For Research And Innovation

FTE INFO. JUNI 96 N°12 Alternate Text
Category

Documents

Sciences formelles

FTE INFO. JUNI 96 N°12

Directorate-General For Research And Innovation

Book

8 pages

Flag

Deutsch

Euronorm 80-85
Category

Documents

Euronorm 80-85

Directorate-General For Translation European Commission

Euronorm 80-85 Alternate Text
Category

Documents

Sciences formelles

Euronorm 80-85

Directorate-General For Translation European Commission

Book

12 pages

Flag

Français

Evaluation and improvement of the rapid multi-element determination of trace amounts of pollutants in the media and materials in the iron and steel industry by means of ICP mass spectrometry
Category

Documents

Evaluation and improvement of the rapid multi-element determination of trace amounts of pollutants in the media and materials in the iron and steel industry by means of ICP mass spectrometry

Directorate-General For Research And Innovation European Commission

Evaluation and improvement of the rapid multi-element determination of trace amounts of pollutants in the media and materials in the iron and steel industry by means of ICP mass spectrometry Alternate Text
Category

Documents

Sciences formelles

Evaluation and improvement of the rapid multi-element determination of trace amounts of pollutants in the media and materials in the iron and steel industry by means of ICP mass spectrometry

Directorate-General For Research And Innovation European Commission

Book

94 pages

Flag

English

Tutorial guide to laser trackers
Category

Documents

Tutorial guide to laser trackers

Tim Clarke

Tutorial guide to laser trackers Alternate Text
Category

Documents

Sciences formelles

Tutorial guide to laser trackers

Tim Clarke

Book

2 pages

Flag

English

COURS 04 05
Category

Documents

COURS 04 05

Stephane Stephane

COURS 04 05 Alternate Text
Category

Documents

Sciences formelles

COURS 04 05

Stephane Stephane

Book

6 pages

Flag

Français

cours-sl02
Category

Documents

Cours-sl02

Astauffe

cours-sl02 Alternate Text
Category

Documents

Sciences formelles

Cours-sl02

Astauffe

Book

22 pages

Flag

Français

Les théories sur la nature de la lumière au XVIIe siècle : les idées d Aristote dans l Optique du R.P. Ango* - article ; n°2 ; vol.27, pg 165-167
Category

Documents

Les théories sur la nature de la lumière au XVIIe siècle : les idées d'Aristote dans l'Optique du R.P. Ango* - article ; n°2 ; vol.27, pg 165-167

J. Rosmorduc

Les théories sur la nature de la lumière au XVIIe siècle : les idées d Aristote dans l Optique du R.P. Ango* - article ; n°2 ; vol.27, pg 165-167 Alternate Text
Category

Documents

Sciences formelles

Les théories sur la nature de la lumière au XVIIe siècle : les idées d'Aristote dans l'Optique du R.P. Ango* - article ; n°2 ; vol.27, pg 165-167

J. Rosmorduc

Book

4 pages

Flag

Français

Le site solutréen de plein-air des Maitreaux (Bossay-sur-Claise, Indre-et- Loire) : un faciès original de production lithique/The open-air Solutrean site of Les Maitreaux (Bossay-sur-Claise, Indre-et-Loire) : an original lithic production type - article ; n°1 ; vol.10, pg 163-184
Category

Documents

Le site solutréen de plein-air des Maitreaux (Bossay-sur-Claise, Indre-et- Loire) : un faciès original de production lithique/The open-air Solutrean site of Les Maitreaux (Bossay-sur-Claise, Indre-et-Loire) : an original lithic production type - article ; n°1 ; vol.10, pg 163-184

Hugues Plisson, Bertrand Walter, Emmanuel Robin, Mohammed Ben-Habdelhadi, Thierry Aubry

Le site solutréen de plein-air des Maitreaux (Bossay-sur-Claise, Indre-et- Loire) : un faciès original de production lithique/The open-air Solutrean site of Les Maitreaux (Bossay-sur-Claise, Indre-et-Loire) : an original lithic production type - article ; n°1 ; vol.10, pg 163-184 Alternate Text
Category

Documents

Sciences formelles

Le site solutréen de plein-air des Maitreaux (Bossay-sur-Claise, Indre-et- Loire) : un faciès original de production lithique/The open-air Solutrean site of Les Maitreaux (Bossay-sur-Claise, Indre-et-Loire) : an original lithic production type - article ; n°1 ; vol.10, pg 163-184

Hugues Plisson, Bertrand Walter, Emmanuel Robin, Mohammed Ben-Habdelhadi, Thierry Aubry

Book

24 pages

Flag

Français

Synthèse de filtre à bandes variables à moindre - Synthèse et ...
Category

Documents

Synthèse de filtre à bandes variables à moindre - Synthèse et ...

Burel

Synthèse de filtre à bandes variables à moindre - Synthèse et ... Alternate Text
Category

Documents

Sciences formelles

Synthèse de filtre à bandes variables à moindre - Synthèse et ...

Burel

Book

27 pages

Flag

Français

[tel-00001409, v1] Etude des distributions en impulsion transverse des dimuons produits dans les collisions
Category

Documents

[tel-00001409, v1] Etude des distributions en impulsion transverse des dimuons produits dans les collisions

Drapier, Nathalie Olivier

[tel-00001409, v1] Etude des distributions en impulsion transverse des dimuons produits dans les collisions Alternate Text
Category

Documents

Sciences formelles

[tel-00001409, v1] Etude des distributions en impulsion transverse des dimuons produits dans les collisions

Drapier, Nathalie Olivier

Book

91 pages

Flag

Español

Cristina VOLPE PRODUCTION SCIENTIFIQUE
Category

Documents

Cristina VOLPE PRODUCTION SCIENTIFIQUE

Cristina VOLPE PRODUCTION SCIENTIFIQUE Alternate Text
Category

Documents

Sciences formelles

Cristina VOLPE PRODUCTION SCIENTIFIQUE

Book

15 pages

Flag

Français

cours-Chap1-Nature et ecriture des nombres
Category

Documents

Cours-Chap1-Nature et ecriture des nombres

Olivier

cours-Chap1-Nature et ecriture des nombres Alternate Text
Category

Documents

Sciences formelles

Cours-Chap1-Nature et ecriture des nombres

Olivier

Book

4 pages

Flag

Français

Caractérisation spatio-temporelle par panneaux électriques 2D des  écoulements d’eau dans un sol
Category

Documents

Caractérisation spatio-temporelle par panneaux électriques 2D des écoulements d’eau dans un sol

Tabbagh

Caractérisation spatio-temporelle par panneaux électriques 2D des  écoulements d’eau dans un sol Alternate Text
Category

Documents

Sciences formelles

Caractérisation spatio-temporelle par panneaux électriques 2D des écoulements d’eau dans un sol

Tabbagh

Book

4 pages

Flag

Français

Etude des graphes aléatoires - Jean-Benoît Rossel
Category

Documents

Etude des graphes aléatoires - Jean-Benoît Rossel

Etude des graphes aléatoires - Jean-Benoît Rossel Alternate Text
Category

Documents

Sciences formelles

Etude des graphes aléatoires - Jean-Benoît Rossel

Book

35 pages

Flag

Français

Optimisation of the creep behaviour of welded components in modified 9% Cr
Category

Documents

Optimisation of the creep behaviour of welded components in modified 9% Cr

Directorate-General For Research And Innovation European Commission

Optimisation of the creep behaviour of welded components in modified 9% Cr Alternate Text
Category

Documents

Sciences formelles

Optimisation of the creep behaviour of welded components in modified 9% Cr

Directorate-General For Research And Innovation European Commission

Book

98 pages

Flag

English

Comment on On the original proof by reductio ad absurdum of the  Hohenberg-Kohn theorem for many-electron
Category

Documents

Comment on On the original proof by reductio ad absurdum of the Hohenberg-Kohn theorem for many-electron

Comment on On the original proof by reductio ad absurdum of the  Hohenberg-Kohn theorem for many-electron Alternate Text
Category

Documents

Sciences formelles

Comment on On the original proof by reductio ad absurdum of the Hohenberg-Kohn theorem for many-electron

Book

2 pages

Flag

English

Guidance on socio-economic analysis, restrictions
Category

Documents

Guidance on socio-economic analysis, restrictions

Echa — European Chemicals Agency

Guidance on socio-economic analysis, restrictions Alternate Text
Category

Documents

Sciences formelles

Guidance on socio-economic analysis, restrictions

Echa — European Chemicals Agency

Book

212 pages

Flag

English

De récentes découvertes archéologiques en Thaïlande
Category

Documents

De récentes découvertes archéologiques en Thaïlande

Isabelle

De récentes découvertes archéologiques en Thaïlande Alternate Text
Category

Documents

Sciences formelles

De récentes découvertes archéologiques en Thaïlande

Isabelle

Book

1 pages

Flag

Français

Analyse statistique des niveaux de risque et des seuils de qualité  microbiologique des eaux de baignade
Category

Documents

Analyse statistique des niveaux de risque et des seuils de qualité microbiologique des eaux de baignade

Afsse, Agence Française De Sécurité Sanitaire Environnementale

Analyse statistique des niveaux de risque et des seuils de qualité  microbiologique des eaux de baignade Alternate Text
Category

Documents

Sciences formelles

Analyse statistique des niveaux de risque et des seuils de qualité microbiologique des eaux de baignade

Afsse, Agence Française De Sécurité Sanitaire Environnementale

Book

7 pages

Flag

Français

AIMMS Tutorial for Beginners - Performing a What-If Run
Category

Documents

AIMMS Tutorial for Beginners - Performing a What-If Run

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

AIMMS Tutorial for Beginners - Performing a What-If Run Alternate Text
Category

Documents

Sciences formelles

AIMMS Tutorial for Beginners - Performing a What-If Run

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

Book

4 pages

Flag

English

[inria-00475863, v1] Comment battre la marche aléatoire en comptant ?
Category

Documents

[inria-00475863, v1] Comment battre la marche aléatoire en comptant ?

Hanusse, Nicolas Et Al

[inria-00475863, v1] Comment battre la marche aléatoire en comptant ? Alternate Text
Category

Documents

Sciences formelles

[inria-00475863, v1] Comment battre la marche aléatoire en comptant ?

Hanusse, Nicolas Et Al

Book

4 pages

Flag

English

A guidebook for effective analysis and presentation of risks and benefits in alternative energy systems
Category

Documents

A guidebook for effective analysis and presentation of risks and benefits in alternative energy systems

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

A guidebook for effective analysis and presentation of risks and benefits in alternative energy systems Alternate Text
Category

Documents

Sciences formelles

A guidebook for effective analysis and presentation of risks and benefits in alternative energy systems

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

Book

144 pages

Flag

English

Alternate Text