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
Cours - Polynomes
Category

Documents

Cours - Polynomes

Cours - Polynomes Alternate Text
Category

Documents

Sciences formelles

Cours - Polynomes

Book

20 pages

Flag

Français

Cours sur les fonctions en classe de seconde - Bacamaths
Category

Documents

Cours sur les fonctions en classe de seconde - Bacamaths

Costantini

Cours sur les fonctions en classe de seconde - Bacamaths Alternate Text
Category

Documents

Sciences formelles

Cours sur les fonctions en classe de seconde - Bacamaths

Costantini

Book

11 pages

Flag

Français

bottou-NIPS-07-tutorial
Category

Documents

Bottou-NIPS-07-tutorial

bottou-NIPS-07-tutorial Alternate Text
Category

Documents

Sciences formelles

Bottou-NIPS-07-tutorial

Book

60 pages

Flag

English

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990
Category

Documents

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990

Directorate-General For Research And Innovation

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990 Alternate Text
Category

Documents

Sciences formelles

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990

Directorate-General For Research And Innovation

Book

382 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

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

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

Cours 2010-2011
Category

Documents

Cours 2010-2011

Didier.Breton

Cours 2010-2011 Alternate Text
Category

Documents

Sciences formelles

Cours 2010-2011

Didier.Breton

Book

72 pages

Flag

Français

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

24 pages

Flag

Français

La construction et l estimation de petits modèles macro-économiques - article ; n°5 ; vol.106, pg 51-59
Category

Documents

La construction et l'estimation de petits modèles macro-économiques - article ; n°5 ; vol.106, pg 51-59

Teun Kloek

La construction et l estimation de petits modèles macro-économiques - article ; n°5 ; vol.106, pg 51-59 Alternate Text
Category

Documents

Sciences formelles

La construction et l'estimation de petits modèles macro-économiques - article ; n°5 ; vol.106, pg 51-59

Teun Kloek

Book

11 pages

Flag

Français

Fourth framework programme
Category

Documents

Fourth framework programme

European Commission Directorate-General For Mobility And Transport

Fourth framework programme Alternate Text
Category

Documents

Sciences formelles

Fourth framework programme

European Commission Directorate-General For Mobility And Transport

Book

408 pages

Flag

English

Development of a methodology for the establishment of a system to determine solid waste composition
Category

Documents

Development of a methodology for the establishment of a system to determine solid waste composition

European Commission Directorate-General For Research And Innovation

Development of a methodology for the establishment of a system to determine solid waste composition Alternate Text
Category

Documents

Sciences formelles

Development of a methodology for the establishment of a system to determine solid waste composition

European Commission Directorate-General For Research And Innovation

Book

194 pages

Flag

English

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)
Category

Documents

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)

Maiso, Jordi

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009) Alternate Text
Category

Documents

Sciences formelles

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)

Maiso, Jordi

Book

5 pages

Flag

Español

Fast positioning and data acquisition device for profile recording
Category

Documents

Fast positioning and data acquisition device for profile recording

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

Fast positioning and data acquisition device for profile recording Alternate Text
Category

Documents

Sciences formelles

Fast positioning and data acquisition device for profile recording

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

Book

40 pages

Flag

English

Cours de calculs topometriques
Category

Documents

Cours de calculs topometriques

Jean-Marc Desmedt

Cours de calculs topometriques Alternate Text
Category

Documents

Sciences formelles

Cours de calculs topometriques

Jean-Marc Desmedt

Book

5 pages

Flag

Français

Definition of thermomechanical and thermophysical properties to provide a database for the development of new light alloys
Category

Documents

Definition of thermomechanical and thermophysical properties to provide a database for the development of new light alloys

European Co-Operation In The Field Of Scientific And Technical Research

Definition of thermomechanical and thermophysical properties to provide a database for the development of new light alloys Alternate Text
Category

Documents

Sciences formelles

Definition of thermomechanical and thermophysical properties to provide a database for the development of new light alloys

European Co-Operation In The Field Of Scientific And Technical Research

Book

216 pages

Flag

English

A NEW BENCHMARK QUALITY SOLUTION FOR THE BUOYANCY-DRIVEN CAVITY BY DISCRETE SINGULAR CONVOLUTION
Category

Documents

A NEW BENCHMARK QUALITY SOLUTION FOR THE BUOYANCY-DRIVEN CAVITY BY DISCRETE SINGULAR CONVOLUTION

A NEW BENCHMARK QUALITY SOLUTION FOR THE BUOYANCY-DRIVEN CAVITY BY DISCRETE SINGULAR CONVOLUTION Alternate Text
Category

Documents

Sciences formelles

A NEW BENCHMARK QUALITY SOLUTION FOR THE BUOYANCY-DRIVEN CAVITY BY DISCRETE SINGULAR CONVOLUTION

Book

30 pages

Flag

English

LOGIQUE DE LA DÉTERMINATION D OBJETS (LDO) : UNE LOGIQUE POUR L ...
Category

Documents

LOGIQUE DE LA DÉTERMINATION D'OBJETS (LDO) : UNE LOGIQUE POUR L ...

Petrut

LOGIQUE DE LA DÉTERMINATION D OBJETS (LDO) : UNE LOGIQUE POUR L ... Alternate Text
Category

Documents

Sciences formelles

LOGIQUE DE LA DÉTERMINATION D'OBJETS (LDO) : UNE LOGIQUE POUR L ...

Petrut

Book

41 pages

Flag

Français

Support de Cours- 2010
Category

Documents

Support de Cours- 2010

Umr7043

Support de Cours- 2010 Alternate Text
Category

Documents

Sciences formelles

Support de Cours- 2010

Umr7043

Book

23 pages

Flag

Français

THE CERTIFICATION OF OPAL GLASS CRM 406. Report
Category

Documents

THE CERTIFICATION OF OPAL GLASS CRM 406. Report

Directorate-General For Research And Innovation

THE CERTIFICATION OF OPAL GLASS CRM 406. Report Alternate Text
Category

Documents

Sciences formelles

THE CERTIFICATION OF OPAL GLASS CRM 406. Report

Directorate-General For Research And Innovation

Book

68 pages

Flag

English

Sequence Components (Tutorial)
Category

Documents

Sequence Components (Tutorial)

S. A. Soman Department Of Electrical Engineering, Iit Bombay

Sequence Components (Tutorial) Alternate Text
Category

Documents

Sciences formelles

Sequence Components (Tutorial)

S. A. Soman Department Of Electrical Engineering, Iit Bombay

Book

13 pages

Flag

Norwegian

Réseaux - Cours 2 - Couches Physique et Liaison de Données
Category

Documents

Réseaux - Cours 2 - Couches Physique et Liaison de Données

Cyril Pain-Barre

Réseaux - Cours 2 - Couches Physique et Liaison de Données Alternate Text
Category

Documents

Sciences formelles

Réseaux - Cours 2 - Couches Physique et Liaison de Données

Cyril Pain-Barre

Book

44 pages

Flag

Français

Alternate Text