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
State-of-the-art review on technology for measuring and controlling very low level radioactivity in relation to the decommissioning of nuclear power plants. Final report
Category

Documents

State-of-the-art review on technology for measuring and controlling very low level radioactivity in relation to the decommissioning of nuclear power plants. Final report

Directorate-General For Research And Innovation

State-of-the-art review on technology for measuring and controlling very low level radioactivity in relation to the decommissioning of nuclear power plants. Final report Alternate Text
Category

Documents

Sciences formelles

State-of-the-art review on technology for measuring and controlling very low level radioactivity in relation to the decommissioning of nuclear power plants. Final report

Directorate-General For Research And Innovation

Book

140 pages

Flag

English

The comparison of european laboratories dealing with middle frequency accelerometer calibration
Category

Documents

The comparison of european laboratories dealing with middle frequency accelerometer calibration

Directorate-General For Research And Innovation

The comparison of european laboratories dealing with middle frequency accelerometer calibration Alternate Text
Category

Documents

Sciences formelles

The comparison of european laboratories dealing with middle frequency accelerometer calibration

Directorate-General For Research And Innovation

Book

88 pages

Flag

English

THE SELECTION OF AN ENERGY R & D PORTFOLIO FOR THE EUROPEAN COMMUNITY. Final report
Category

Documents

THE SELECTION OF AN ENERGY R & D PORTFOLIO FOR THE EUROPEAN COMMUNITY. Final report

Directorate-General For Research And Innovation

THE SELECTION OF AN ENERGY R & D PORTFOLIO FOR THE EUROPEAN COMMUNITY. Final report Alternate Text
Category

Documents

Sciences formelles

THE SELECTION OF AN ENERGY R & D PORTFOLIO FOR THE EUROPEAN COMMUNITY. Final report

Directorate-General For Research And Innovation

Book

68 pages

Flag

English

THE DEVELOPMENT OF SAMPLING PLANS FOR THE DETERMINATION OF AFLATOXIN B, IN ANIMAL FEEDINGSTUFFS. Final Report
Category

Documents

THE DEVELOPMENT OF SAMPLING PLANS FOR THE DETERMINATION OF AFLATOXIN B, IN ANIMAL FEEDINGSTUFFS. Final Report

Directorate-General For Research And Innovation

THE DEVELOPMENT OF SAMPLING PLANS FOR THE DETERMINATION OF AFLATOXIN B, IN ANIMAL FEEDINGSTUFFS. Final Report Alternate Text
Category

Documents

Sciences formelles

THE DEVELOPMENT OF SAMPLING PLANS FOR THE DETERMINATION OF AFLATOXIN B, IN ANIMAL FEEDINGSTUFFS. Final Report

Directorate-General For Research And Innovation

Book

98 pages

Flag

English

Consolidated report of activities 1985-92 Peoples  Republic of China. Final Report
Category

Documents

Consolidated report of activities 1985-92 Peoples' Republic of China. Final Report

Directorate-General For Research And Innovation

Consolidated report of activities 1985-92 Peoples  Republic of China. Final Report Alternate Text
Category

Documents

Sciences formelles

Consolidated report of activities 1985-92 Peoples' Republic of China. Final Report

Directorate-General For Research And Innovation

Book

264 pages

Flag

English

THE DESIGN AND PERFORMANCE OF SMALL AREA MEMBRANE HYDROPHONES FOR THE CHARACTERIZATION OF ULTRASONIC FIELDS WITH HIGH FREQUENCY COMPONENTS. APPLIED METROLOGY SYNTHESIS REPORT
Category

Documents

THE DESIGN AND PERFORMANCE OF SMALL AREA MEMBRANE HYDROPHONES FOR THE CHARACTERIZATION OF ULTRASONIC FIELDS WITH HIGH FREQUENCY COMPONENTS. APPLIED METROLOGY SYNTHESIS REPORT

Directorate-General For Research And Innovation

THE DESIGN AND PERFORMANCE OF SMALL AREA MEMBRANE HYDROPHONES FOR THE CHARACTERIZATION OF ULTRASONIC FIELDS WITH HIGH FREQUENCY COMPONENTS. APPLIED METROLOGY SYNTHESIS REPORT Alternate Text
Category

Documents

Sciences formelles

THE DESIGN AND PERFORMANCE OF SMALL AREA MEMBRANE HYDROPHONES FOR THE CHARACTERIZATION OF ULTRASONIC FIELDS WITH HIGH FREQUENCY COMPONENTS. APPLIED METROLOGY SYNTHESIS REPORT

Directorate-General For Research And Innovation

Book

46 pages

Flag

English

Solog — 1: an automatic data-logging system for the concentrated solar irradiation facility (Cosif)
Category

Documents

Solog — 1: an automatic data-logging system for the concentrated solar irradiation facility (Cosif)

Directorate-General For Translation European Commission

Solog — 1: an automatic data-logging system for the concentrated solar irradiation facility (Cosif) Alternate Text
Category

Documents

Sciences formelles

Solog — 1: an automatic data-logging system for the concentrated solar irradiation facility (Cosif)

Directorate-General For Translation European Commission

Book

36 pages

Flag

English

THE CERTIFICATION OF PROGESTERONE IN TWO LYOPHILIZED SERUM MATERIALS CRM 347 AND CRM 348. REFERENCE MATERIALS Report
Category

Documents

THE CERTIFICATION OF PROGESTERONE IN TWO LYOPHILIZED SERUM MATERIALS CRM 347 AND CRM 348. REFERENCE MATERIALS Report

Directorate-General For Research And Innovation

THE CERTIFICATION OF PROGESTERONE IN TWO LYOPHILIZED SERUM MATERIALS CRM 347 AND CRM 348. REFERENCE MATERIALS Report Alternate Text
Category

Documents

Sciences formelles

THE CERTIFICATION OF PROGESTERONE IN TWO LYOPHILIZED SERUM MATERIALS CRM 347 AND CRM 348. REFERENCE MATERIALS Report

Directorate-General For Research And Innovation

Book

72 pages

Flag

English

SURVEY OF THE EXISTING BUILDING STOCK TO ASSESS THE PASSIVE SOLAR POTENTIAL
Category

Documents

SURVEY OF THE EXISTING BUILDING STOCK TO ASSESS THE PASSIVE SOLAR POTENTIAL

Directorate-General For Translation European Commission

SURVEY OF THE EXISTING BUILDING STOCK TO ASSESS THE PASSIVE SOLAR POTENTIAL Alternate Text
Category

Documents

Sciences formelles

SURVEY OF THE EXISTING BUILDING STOCK TO ASSESS THE PASSIVE SOLAR POTENTIAL

Directorate-General For Translation European Commission

Book

126 pages

Flag

English

Steelmaking: THE DEVELOPMENT OF AN INTELLIGENT SYSTEM FOR AUTOMATIC POWDER ADDITIONS TO THE CONTINUOUS CASTING MOULD
Category

Documents

Steelmaking: THE DEVELOPMENT OF AN INTELLIGENT SYSTEM FOR AUTOMATIC POWDER ADDITIONS TO THE CONTINUOUS CASTING MOULD

Directorate-General For Translation European Commission

Steelmaking: THE DEVELOPMENT OF AN INTELLIGENT SYSTEM FOR AUTOMATIC POWDER ADDITIONS TO THE CONTINUOUS CASTING MOULD Alternate Text
Category

Documents

Sciences formelles

Steelmaking: THE DEVELOPMENT OF AN INTELLIGENT SYSTEM FOR AUTOMATIC POWDER ADDITIONS TO THE CONTINUOUS CASTING MOULD

Directorate-General For Translation European Commission

Book

122 pages

Flag

English

THE CERTIFICATION OF THE CONTENTS OF THE Cr(III), Cr(VI) SPECIES AND TOTAL Cr IN A LYOPHILISED SOLUTION CRM 544. Report
Category

Documents

THE CERTIFICATION OF THE CONTENTS OF THE Cr(III), Cr(VI) SPECIES AND TOTAL Cr IN A LYOPHILISED SOLUTION CRM 544. Report

Directorate-General For Research And Innovation

THE CERTIFICATION OF THE CONTENTS OF THE Cr(III), Cr(VI) SPECIES AND TOTAL Cr IN A LYOPHILISED SOLUTION CRM 544. Report Alternate Text
Category

Documents

Sciences formelles

THE CERTIFICATION OF THE CONTENTS OF THE Cr(III), Cr(VI) SPECIES AND TOTAL Cr IN A LYOPHILISED SOLUTION CRM 544. Report

Directorate-General For Research And Innovation

Book

42 pages

Flag

English

Interactive planning for integrated supervision and control in complex plant
Category

Documents

Interactive planning for integrated supervision and control in complex plant

European Commission Joint Research Centre

Interactive planning for integrated supervision and control in complex plant Alternate Text
Category

Documents

Sciences formelles

Interactive planning for integrated supervision and control in complex plant

European Commission Joint Research Centre

Book

88 pages

Flag

English

ODER-LISFLOOD. Assessment of the effects of engineering, land use and climate scenarios on flood risk in the Oder catchment
Category

Documents

ODER-LISFLOOD. Assessment of the effects of engineering, land use and climate scenarios on flood risk in the Oder catchment

Joint Research Centre European Commission

ODER-LISFLOOD. Assessment of the effects of engineering, land use and climate scenarios on flood risk in the Oder catchment Alternate Text
Category

Documents

Sciences formelles

ODER-LISFLOOD. Assessment of the effects of engineering, land use and climate scenarios on flood risk in the Oder catchment

Joint Research Centre European Commission

Book

110 pages

Flag

English

Scanning tunnelling microscopy methods for roughness and micro hardness measurements
Category

Documents

Scanning tunnelling microscopy methods for roughness and micro hardness measurements

Directorate-General For The Information Society And Media European Commission

Scanning tunnelling microscopy methods for roughness and micro hardness measurements Alternate Text
Category

Documents

Sciences formelles

Scanning tunnelling microscopy methods for roughness and micro hardness measurements

Directorate-General For The Information Society And Media European Commission

Book

128 pages

Flag

English

Les mines du plateau du Laurion
Category

Documents

Les mines du plateau du Laurion

Alain Faisant

Les mines du plateau du Laurion Alternate Text
Category

Documents

Sciences formelles

Les mines du plateau du Laurion

Alain Faisant

Book

18 pages

Flag

Français

Cooking With CBD Oil: Tips, Tricks, And Recipes To Get You Started
Category

Documents

Cooking With CBD Oil: Tips, Tricks, And Recipes To Get You Started

Jelle Jelle

Cooking With CBD Oil: Tips, Tricks, And Recipes To Get You Started Alternate Text
Category

Documents

Sciences formelles

Cooking With CBD Oil: Tips, Tricks, And Recipes To Get You Started

Jelle Jelle

Book

12 pages

Flag

English

Les sciences spatiales | Adapter la recherche française aux enjeux de l’Espace
Category

Documents

Les sciences spatiales | Adapter la recherche française aux enjeux de l’Espace

Jean-Loup Puget

Les sciences spatiales | Adapter la recherche française aux enjeux de l’Espace Alternate Text
Category

Documents

Sciences formelles

Les sciences spatiales | Adapter la recherche française aux enjeux de l’Espace

Jean-Loup Puget

Book

22 pages

Flag

Français

La recherche spatiale française
Category

Documents

La recherche spatiale française

Jean-Loup Puget

La recherche spatiale française Alternate Text
Category

Documents

Sciences formelles

La recherche spatiale française

Jean-Loup Puget

Book

22 pages

Flag

Français

Statistique descriptive - TCE
Category

Documents

Statistique descriptive - TCE

Berjaoui

Statistique descriptive - TCE Alternate Text
Category

Documents

Sciences formelles

Statistique descriptive - TCE

Berjaoui

Book

58 pages

Flag

Français

SC2005-tutorial
Category

Documents

SC2005-tutorial

SC2005-tutorial Alternate Text
Category

Documents

Sciences formelles

SC2005-tutorial

Book

9 pages

Flag

English

In addition to this study of cyclical behaviour, we test for the  presence of a long run trend relationship
Category

Documents

In addition to this study of cyclical behaviour, we test for the presence of a long run trend relationship

Abtest

In addition to this study of cyclical behaviour, we test for the  presence of a long run trend relationship Alternate Text
Category

Documents

Sciences formelles

In addition to this study of cyclical behaviour, we test for the presence of a long run trend relationship

Abtest

Book

6 pages

Flag

English

Cours de filtrage en temps discret - Filtre de Kalman
Category

Documents

Cours de filtrage en temps discret - Filtre de Kalman

Cours de filtrage en temps discret - Filtre de Kalman Alternate Text
Category

Documents

Sciences formelles

Cours de filtrage en temps discret - Filtre de Kalman

Book

75 pages

Flag

Français

bilan cours
Category

Documents

Bilan cours

Rectorat

bilan cours Alternate Text
Category

Documents

Sciences formelles

Bilan cours

Rectorat

Book

3 pages

Flag

Français

Support de cours Chimie Organique Filières SVI-STU
Category

Documents

Support de cours Chimie Organique Filières SVI-STU

Administrateur

Support de cours Chimie Organique Filières SVI-STU Alternate Text
Category

Documents

Sciences formelles

Support de cours Chimie Organique Filières SVI-STU

Administrateur

Book

40 pages

Flag

Catalan

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la
Category

Documents

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la

Ershad_Langroudi, Amir

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la Alternate Text
Category

Documents

Sciences formelles

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la

Ershad_Langroudi, Amir

Book

5 pages

Flag

Serbian

Cours sur la mécanique des milieux continus : Méthodes semi-inverses
Category

Documents

Cours sur la mécanique des milieux continus : Méthodes semi-inverses

Fortunie

Cours sur la mécanique des milieux continus : Méthodes semi-inverses Alternate Text
Category

Documents

Sciences formelles

Cours sur la mécanique des milieux continus : Méthodes semi-inverses

Fortunie

Book

12 pages

Flag

Latin

Etude du phénomène de branchement évolutif en dynamique adaptative
Category

Documents

Etude du phénomène de branchement évolutif en dynamique adaptative

Nicolas Champagnat

Etude du phénomène de branchement évolutif en dynamique adaptative Alternate Text
Category

Documents

Sciences formelles

Etude du phénomène de branchement évolutif en dynamique adaptative

Nicolas Champagnat

Book

35 pages

Flag

Français

Bernstein Tutorial @ CNS*09  Large-Scale Neuronal Network Models -  Principles and Practice
Category

Documents

Bernstein Tutorial @ CNS*09 Large-Scale Neuronal Network Models - Principles and Practice

Hans Ekkehard Plesser

Bernstein Tutorial @ CNS*09  Large-Scale Neuronal Network Models -  Principles and Practice Alternate Text
Category

Documents

Sciences formelles

Bernstein Tutorial @ CNS*09 Large-Scale Neuronal Network Models - Principles and Practice

Hans Ekkehard Plesser

Book

52 pages

Flag

English

Algebra I(H) Benchmark Calendar 0809a
Category

Documents

Algebra I(H) Benchmark Calendar 0809a

Thield

Algebra I(H) Benchmark Calendar 0809a Alternate Text
Category

Documents

Sciences formelles

Algebra I(H) Benchmark Calendar 0809a

Thield

Book

19 pages

Flag

English

Tutorial on High Performance Data Mining
Category

Documents

Tutorial on High Performance Data Mining

Mjoshi

Tutorial on High Performance Data Mining Alternate Text
Category

Documents

Sciences formelles

Tutorial on High Performance Data Mining

Mjoshi

Book

30 pages

Flag

English

Alternate Text