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
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

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

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

Intelligence économique ou   économie d intelligence
Category

Documents

Intelligence économique ou économie d'intelligence

Mathevon

Intelligence économique ou   économie d intelligence Alternate Text
Category

Documents

Sciences formelles

Intelligence économique ou économie d'intelligence

Mathevon

Book

4 pages

Flag

Français

Modélisation et résolutions numérique et symbolique   de problèmes via  les logiciels Maple et MATLAB
Category

Documents

Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB

Stef Graillat & Mohab Safey El Din

Modélisation et résolutions numérique et symbolique   de problèmes via  les logiciels Maple et MATLAB Alternate Text
Category

Documents

Sciences formelles

Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB

Stef Graillat & Mohab Safey El Din

Book

38 pages

Flag

English

Datation de la bioapatite de restes osseux d origine marine : application à des sites du Makran (Pakistan) - article ; n°1 ; vol.31, pg 70-73
Category

Documents

Datation de la bioapatite de restes osseux d'origine marine : application à des sites du Makran (Pakistan) - article ; n°1 ; vol.31, pg 70-73

Desse-Berset N., Desse J., Saliege J.-F.

Datation de la bioapatite de restes osseux d origine marine : application à des sites du Makran (Pakistan) - article ; n°1 ; vol.31, pg 70-73 Alternate Text
Category

Documents

Sciences formelles

Datation de la bioapatite de restes osseux d'origine marine : application à des sites du Makran (Pakistan) - article ; n°1 ; vol.31, pg 70-73

Desse-Berset N., Desse J., Saliege J.-F.

Book

5 pages

Flag

Français

Integral migration and source-term experiments on cement and bitumen waste forms. Report
Category

Documents

Integral migration and source-term experiments on cement and bitumen waste forms. Report

Directorate-General For Research And Innovation

Integral migration and source-term experiments on cement and bitumen waste forms. Report Alternate Text
Category

Documents

Sciences formelles

Integral migration and source-term experiments on cement and bitumen waste forms. Report

Directorate-General For Research And Innovation

Book

56 pages

Flag

English

Use of ultrasonic techniques for reducing the environmental impact of the pickling operation for carbon, low alloy and stainless steels
Category

Documents

Use of ultrasonic techniques for reducing the environmental impact of the pickling operation for carbon, low alloy and stainless steels

Directorate-General For Research And Innovation European Commission

Use of ultrasonic techniques for reducing the environmental impact of the pickling operation for carbon, low alloy and stainless steels Alternate Text
Category

Documents

Sciences formelles

Use of ultrasonic techniques for reducing the environmental impact of the pickling operation for carbon, low alloy and stainless steels

Directorate-General For Research And Innovation European Commission

Book

48 pages

Flag

English

Development of a model for radionuclide transport by colloids in the geosphere
Category

Documents

Development of a model for radionuclide transport by colloids in the geosphere

Directorate-General For Research And Innovation European Commission

Development of a model for radionuclide transport by colloids in the geosphere Alternate Text
Category

Documents

Sciences formelles

Development of a model for radionuclide transport by colloids in the geosphere

Directorate-General For Research And Innovation European Commission

Book

290 pages

Flag

English

Cours de traitement des signaux audio
Category

Documents

Cours de traitement des signaux audio

Cours de traitement des signaux audio Alternate Text
Category

Documents

Sciences formelles

Cours de traitement des signaux audio

Book

58 pages

Flag

Français

CORDIS focus
Category

Documents

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

Book

28 pages

Flag

Español

Cours complet sur les suites de reels - Bacamaths
Category

Documents

Cours complet sur les suites de reels - Bacamaths

Costantini

Cours complet sur les suites de reels - Bacamaths Alternate Text
Category

Documents

Sciences formelles

Cours complet sur les suites de reels - Bacamaths

Costantini

Book

25 pages

Flag

Français

Comment on An improved fractal equation for the soil water retention  curve by E. Perfect et al.
Category

Documents

Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.

Edmond Perrier, Edith; Rieu, Michel; Sposito, G.; Marsily, G. De

Comment on An improved fractal equation for the soil water retention  curve by E. Perfect et al. Alternate Text
Category

Documents

Sciences formelles

Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.

Edmond Perrier, Edith; Rieu, Michel; Sposito, G.; Marsily, G. De

Book

5 pages

Flag

English

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995
Category

Documents

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995

European Commission Eurostat

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995 Alternate Text
Category

Documents

Sciences formelles

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995

European Commission Eurostat

Book

16 pages

Flag

Serbian

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

31 pages

Flag

Français

Titre court de l étude
Category

Documents

Titre court de l'étude

Nom De L'Auteur

Titre court de l étude Alternate Text
Category

Documents

Sciences formelles

Titre court de l'étude

Nom De L'Auteur

Book

19 pages

Flag

Français

Developments of thin-gauge materials
Category

Documents

Developments of thin-gauge materials

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

Developments of thin-gauge materials Alternate Text
Category

Documents

Sciences formelles

Developments of thin-gauge materials

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

Book

164 pages

Flag

English

Contribution à l étude des mouvements d air dans le bâtiment à l aide d un code de champ
Category

Documents

Contribution à l'étude des mouvements d'air dans le bâtiment à l'aide d'un code de champ

Regard, Muriel

Contribution à l étude des mouvements d air dans le bâtiment à l aide d un code de champ Alternate Text
Category

Documents

Sciences formelles

Contribution à l'étude des mouvements d'air dans le bâtiment à l'aide d'un code de champ

Regard, Muriel

Book

5 pages

Flag

Serbian

Etude de l impact sur pale d hélicoptère
Category

Documents

Etude de l'impact sur pale d'hélicoptère

Barrau J.J. Ferrero J.F. Lemaire S. Rivallant S. Tawk I.

Etude de l impact sur pale d hélicoptère Alternate Text
Category

Documents

Sciences formelles

Etude de l'impact sur pale d'hélicoptère

Barrau J.J. Ferrero J.F. Lemaire S. Rivallant S. Tawk I.

Book

8 pages

Flag

Français

Evaluation of the mutagenicity of some chemical compounds
Category

Documents

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Evaluation of the mutagenicity of some chemical compounds Alternate Text
Category

Documents

Sciences formelles

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Book

194 pages

Flag

English

telecharger - L ÉTUDE STATISTIQUE DES DESSINS D ENFANTS
Category

Documents

Telecharger - L'ÉTUDE STATISTIQUE DES DESSINS D'ENFANTS

telecharger - L ÉTUDE STATISTIQUE DES DESSINS D ENFANTS Alternate Text
Category

Documents

Sciences formelles

Telecharger - L'ÉTUDE STATISTIQUE DES DESSINS D'ENFANTS

Book

20 pages

Flag

Français

Etude en radiofréquences de transistors à effet de champ MOS partiellement désertés en technologie
Category

Documents

Etude en radiofréquences de transistors à effet de champ MOS partiellement désertés en technologie

Daviot Renaud

Etude en radiofréquences de transistors à effet de champ MOS partiellement désertés en technologie Alternate Text
Category

Documents

Sciences formelles

Etude en radiofréquences de transistors à effet de champ MOS partiellement désertés en technologie

Daviot Renaud

Book

37 pages

Flag

Français

gauchi-33-tutorial
Category

Documents

Gauchi-33-tutorial

gauchi-33-tutorial Alternate Text
Category

Documents

Sciences formelles

Gauchi-33-tutorial

Book

24 pages

Flag

Français

Cours-Udine-Puel-Mod1-06-04
Category

Documents

Cours-Udine-Puel-Mod1-06-04

Cours-Udine-Puel-Mod1-06-04 Alternate Text
Category

Documents

Sciences formelles

Cours-Udine-Puel-Mod1-06-04

Book

31 pages

Flag

English

On a partition calculus of partial orders
Category

Documents

On a partition calculus of partial orders

Mátrai Tamás Highland Park

On a partition calculus of partial orders Alternate Text
Category

Documents

Sciences formelles

On a partition calculus of partial orders

Mátrai Tamás Highland Park

Book

65 pages

Flag

English

cours-006-H2002
Category

Documents

Cours-006-H2002

cours-006-H2002 Alternate Text
Category

Documents

Sciences formelles

Cours-006-H2002

Book

7 pages

Flag

Français

suites-cours
Category

Documents

Suites-cours

suites-cours Alternate Text
Category

Documents

Sciences formelles

Suites-cours

Book

12 pages

Flag

Français

Alternate Text