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
ANALYSIS AND DEVELOPMENT OF THE SERIES EXPANSION METHODS IN THRESHOLD DETECTOR ACTIVATION DATA HANDLING
Category

Documents

ANALYSIS AND DEVELOPMENT OF THE SERIES EXPANSION METHODS IN THRESHOLD DETECTOR ACTIVATION DATA HANDLING

Joint Research Centre

ANALYSIS AND DEVELOPMENT OF THE SERIES EXPANSION METHODS IN THRESHOLD DETECTOR ACTIVATION DATA HANDLING Alternate Text
Category

Documents

Sciences formelles

ANALYSIS AND DEVELOPMENT OF THE SERIES EXPANSION METHODS IN THRESHOLD DETECTOR ACTIVATION DATA HANDLING

Joint Research Centre

Book

28 pages

Flag

English

CHEMICAL ANALYSIS OF AIRBORNE PARTICULATES. INTERCOMPARISON AND EVALUATION OF ANALYTICAL TECHNIQUES.. 8-9 July 1974
Category

Documents

CHEMICAL ANALYSIS OF AIRBORNE PARTICULATES. INTERCOMPARISON AND EVALUATION OF ANALYTICAL TECHNIQUES.. 8-9 July 1974

Joint Research Centre

CHEMICAL ANALYSIS OF AIRBORNE PARTICULATES. INTERCOMPARISON AND EVALUATION OF ANALYTICAL TECHNIQUES.. 8-9 July 1974 Alternate Text
Category

Documents

Sciences formelles

CHEMICAL ANALYSIS OF AIRBORNE PARTICULATES. INTERCOMPARISON AND EVALUATION OF ANALYTICAL TECHNIQUES.. 8-9 July 1974

Joint Research Centre

Book

534 pages

Flag

English

THE CONNECTION BETWEEN THE TIME-MOMENTS AND THE FUNDAMENTAL DECAY CONSTANT OF A THERMALIZED NEUTRON PULSE
Category

Documents

THE CONNECTION BETWEEN THE TIME-MOMENTS AND THE FUNDAMENTAL DECAY CONSTANT OF A THERMALIZED NEUTRON PULSE

Joint Research Centre

THE CONNECTION BETWEEN THE TIME-MOMENTS AND THE FUNDAMENTAL DECAY CONSTANT OF A THERMALIZED NEUTRON PULSE Alternate Text
Category

Documents

Sciences formelles

THE CONNECTION BETWEEN THE TIME-MOMENTS AND THE FUNDAMENTAL DECAY CONSTANT OF A THERMALIZED NEUTRON PULSE

Joint Research Centre

Book

20 pages

Flag

English

A RADIOACTIVE TRACER TECHNIQUE TO STUDY THE HYDRODYNAMIC BEHAVIOUR OF AN EFFLUENT DECONTAMINATION PLANT
Category

Documents

A RADIOACTIVE TRACER TECHNIQUE TO STUDY THE HYDRODYNAMIC BEHAVIOUR OF AN EFFLUENT DECONTAMINATION PLANT

Joint Research Centre

A RADIOACTIVE TRACER TECHNIQUE TO STUDY THE HYDRODYNAMIC BEHAVIOUR OF AN EFFLUENT DECONTAMINATION PLANT Alternate Text
Category

Documents

Sciences formelles

A RADIOACTIVE TRACER TECHNIQUE TO STUDY THE HYDRODYNAMIC BEHAVIOUR OF AN EFFLUENT DECONTAMINATION PLANT

Joint Research Centre

Book

26 pages

Flag

English

Machine Vision in Remote Sensing A Future R&D Strategy for Europe. Report of the Research Strategy Meeting of the European Concerted Action "MAVIRIC" held in Leuven, Belgium, 26-28 October 1998
Category

Documents

Machine Vision in Remote Sensing A Future R&D Strategy for Europe. Report of the Research Strategy Meeting of the European Concerted Action "MAVIRIC" held in Leuven, Belgium, 26-28 October 1998

Joint Research Centre

Machine Vision in Remote Sensing A Future R&D Strategy for Europe. Report of the Research Strategy Meeting of the European Concerted Action "MAVIRIC" held in Leuven, Belgium, 26-28 October 1998 Alternate Text
Category

Documents

Sciences formelles

Machine Vision in Remote Sensing A Future R&D Strategy for Europe. Report of the Research Strategy Meeting of the European Concerted Action "MAVIRIC" held in Leuven, Belgium, 26-28 October 1998

Joint Research Centre

Book

68 pages

Flag

English

THE EFFECT OF NICOTINAMIDE ON X-IRRADIATED SUSPENSION CULTURES OF RAT BONE MARROW CELLS
Category

Documents

THE EFFECT OF NICOTINAMIDE ON X-IRRADIATED SUSPENSION CULTURES OF RAT BONE MARROW CELLS

Joint Research Centre

THE EFFECT OF NICOTINAMIDE ON X-IRRADIATED SUSPENSION CULTURES OF RAT BONE MARROW CELLS Alternate Text
Category

Documents

Sciences formelles

THE EFFECT OF NICOTINAMIDE ON X-IRRADIATED SUSPENSION CULTURES OF RAT BONE MARROW CELLS

Joint Research Centre

Book

22 pages

Flag

English

Deuxième conférence sur les bases scientifiques de la réglementation sur l environnement «Santé-Environnement»
Category

Documents

Deuxième conférence sur les bases scientifiques de la réglementation sur l'environnement «Santé-Environnement»

Directorate-General For Translation European Commission

Deuxième conférence sur les bases scientifiques de la réglementation sur l environnement «Santé-Environnement» Alternate Text
Category

Documents

Sciences formelles

Deuxième conférence sur les bases scientifiques de la réglementation sur l'environnement «Santé-Environnement»

Directorate-General For Translation European Commission

Book

356 pages

Flag

Français

A LOOK AT THE HOMOGENEITY OF POWDERED MATERIALS FROM A THEORETICAL AND EXPERIMENTAL STANDPOINT
Category

Documents

A LOOK AT THE HOMOGENEITY OF POWDERED MATERIALS FROM A THEORETICAL AND EXPERIMENTAL STANDPOINT

Directorate-General For Translation European Commission

A LOOK AT THE HOMOGENEITY OF POWDERED MATERIALS FROM A THEORETICAL AND EXPERIMENTAL STANDPOINT Alternate Text
Category

Documents

Sciences formelles

A LOOK AT THE HOMOGENEITY OF POWDERED MATERIALS FROM A THEORETICAL AND EXPERIMENTAL STANDPOINT

Directorate-General For Translation European Commission

Book

32 pages

Flag

English

GRAVIMETRIC DETERMINATION OF THE SUM OF URANIUM AND PLUTONIUM IN PRODUCTS OF THE URANIUM-PLUTONIUM-CARBIDE FABRICATION
Category

Documents

GRAVIMETRIC DETERMINATION OF THE SUM OF URANIUM AND PLUTONIUM IN PRODUCTS OF THE URANIUM-PLUTONIUM-CARBIDE FABRICATION

Joint Research Centre

GRAVIMETRIC DETERMINATION OF THE SUM OF URANIUM AND PLUTONIUM IN PRODUCTS OF THE URANIUM-PLUTONIUM-CARBIDE FABRICATION Alternate Text
Category

Documents

Sciences formelles

GRAVIMETRIC DETERMINATION OF THE SUM OF URANIUM AND PLUTONIUM IN PRODUCTS OF THE URANIUM-PLUTONIUM-CARBIDE FABRICATION

Joint Research Centre

Book

20 pages

Flag

English

Characterisation of Engine Exhaust Particulate Fingerprints and the Contribution to Air Quality. PARFIN-Project
Category

Documents

Characterisation of Engine Exhaust Particulate Fingerprints and the Contribution to Air Quality. PARFIN-Project

Joint Research Centre

Characterisation of Engine Exhaust Particulate Fingerprints and the Contribution to Air Quality. PARFIN-Project Alternate Text
Category

Documents

Sciences formelles

Characterisation of Engine Exhaust Particulate Fingerprints and the Contribution to Air Quality. PARFIN-Project

Joint Research Centre

Book

70 pages

Flag

English

Mock-up Design of Reinforced Concrete Bridge Piers for PsD Testing at the ELSA Laboratory. (Vulnerability Assessment of Bridges Project)
Category

Documents

Mock-up Design of Reinforced Concrete Bridge Piers for PsD Testing at the ELSA Laboratory. (Vulnerability Assessment of Bridges Project)

Joint Research Centre

Mock-up Design of Reinforced Concrete Bridge Piers for PsD Testing at the ELSA Laboratory. (Vulnerability Assessment of Bridges Project) Alternate Text
Category

Documents

Sciences formelles

Mock-up Design of Reinforced Concrete Bridge Piers for PsD Testing at the ELSA Laboratory. (Vulnerability Assessment of Bridges Project)

Joint Research Centre

Book

46 pages

Flag

English

Investigators  final report - Proceedings of the SAR-580. Investigators  workshop — Volume 1
Category

Documents

Investigators' final report - Proceedings of the SAR-580. Investigators' workshop — Volume 1

Joint Research Centre

Investigators  final report - Proceedings of the SAR-580. Investigators  workshop — Volume 1 Alternate Text
Category

Documents

Sciences formelles

Investigators' final report - Proceedings of the SAR-580. Investigators' workshop — Volume 1

Joint Research Centre

Book

182 pages

Flag

English

A COMPILATION OF THE NEWEST VALUES OF THE PHYSICAL PROPERTIES OF OM2 FOR HEAT TRANSFER PURPOSES
Category

Documents

A COMPILATION OF THE NEWEST VALUES OF THE PHYSICAL PROPERTIES OF OM2 FOR HEAT TRANSFER PURPOSES

Joint Research Centre

A COMPILATION OF THE NEWEST VALUES OF THE PHYSICAL PROPERTIES OF OM2 FOR HEAT TRANSFER PURPOSES Alternate Text
Category

Documents

Sciences formelles

A COMPILATION OF THE NEWEST VALUES OF THE PHYSICAL PROPERTIES OF OM2 FOR HEAT TRANSFER PURPOSES

Joint Research Centre

Book

24 pages

Flag

English

SPECTRUM EFFECTS ON LONG TERM REACTIVITY CALCULATIONS FOR D20 - MODERATED, ORGANIC COOLED REACTORS
Category

Documents

SPECTRUM EFFECTS ON LONG TERM REACTIVITY CALCULATIONS FOR D20 - MODERATED, ORGANIC COOLED REACTORS

Joint Research Centre

SPECTRUM EFFECTS ON LONG TERM REACTIVITY CALCULATIONS FOR D20 - MODERATED, ORGANIC COOLED REACTORS Alternate Text
Category

Documents

Sciences formelles

SPECTRUM EFFECTS ON LONG TERM REACTIVITY CALCULATIONS FOR D20 - MODERATED, ORGANIC COOLED REACTORS

Joint Research Centre

Book

18 pages

Flag

English

VISUALIZATION OF BUBBLE FORMATION AT ATMOSPHERIC PRESSURE AND RELATED MEASUREMENT OF THE WALL TEMPERATURE VARIATIONS
Category

Documents

VISUALIZATION OF BUBBLE FORMATION AT ATMOSPHERIC PRESSURE AND RELATED MEASUREMENT OF THE WALL TEMPERATURE VARIATIONS

Joint Research Centre

VISUALIZATION OF BUBBLE FORMATION AT ATMOSPHERIC PRESSURE AND RELATED MEASUREMENT OF THE WALL TEMPERATURE VARIATIONS Alternate Text
Category

Documents

Sciences formelles

VISUALIZATION OF BUBBLE FORMATION AT ATMOSPHERIC PRESSURE AND RELATED MEASUREMENT OF THE WALL TEMPERATURE VARIATIONS

Joint Research Centre

Book

32 pages

Flag

English

List of reference materials for non-destructive assay of U, Th and Pu isotopes
Category

Documents

List of reference materials for non-destructive assay of U, Th and Pu isotopes

Joint Research Centre

List of reference materials for non-destructive assay of U, Th and Pu isotopes Alternate Text
Category

Documents

Sciences formelles

List of reference materials for non-destructive assay of U, Th and Pu isotopes

Joint Research Centre

Book

20 pages

Flag

English

Renewable sources of energy and village water supply in the developing countries
Category

Documents

Renewable sources of energy and village water supply in the developing countries

European Commission Directorate-General For The Information Society And Media

Renewable sources of energy and village water supply in the developing countries Alternate Text
Category

Documents

Sciences formelles

Renewable sources of energy and village water supply in the developing countries

European Commission Directorate-General For The Information Society And Media

Book

92 pages

Flag

English

The certification of the catalytic concentration of alanine aminotransferase (ALT) (EC 2.6.1.2.) from pig heart in a reconstituted lyophilized material CRM 426
Category

Documents

The certification of the catalytic concentration of alanine aminotransferase (ALT) (EC 2.6.1.2.) from pig heart in a reconstituted lyophilized material CRM 426

European Commission Directorate-General For The Information Society And Media

The certification of the catalytic concentration of alanine aminotransferase (ALT) (EC 2.6.1.2.) from pig heart in a reconstituted lyophilized material CRM 426 Alternate Text
Category

Documents

Sciences formelles

The certification of the catalytic concentration of alanine aminotransferase (ALT) (EC 2.6.1.2.) from pig heart in a reconstituted lyophilized material CRM 426

European Commission Directorate-General For The Information Society And Media

Book

63 pages

Flag

中文

FOUR COMPUTER CODES FOR DYNAMIC PROCESS INVENTORY DETERMINATION APPLICATION IN SAFEGUARDS
Category

Documents

FOUR COMPUTER CODES FOR DYNAMIC PROCESS INVENTORY DETERMINATION APPLICATION IN SAFEGUARDS

Joint Research Centre

FOUR COMPUTER CODES FOR DYNAMIC PROCESS INVENTORY DETERMINATION APPLICATION IN SAFEGUARDS Alternate Text
Category

Documents

Sciences formelles

FOUR COMPUTER CODES FOR DYNAMIC PROCESS INVENTORY DETERMINATION APPLICATION IN SAFEGUARDS

Joint Research Centre

Book

112 pages

Flag

English

DETERMINATION OF CALCIUM, STRONTIUM AND BARIUM IN SINGLE CRYSTALS OF ALKALI HALIDES BY NEUTRON ACTIVATION
Category

Documents

DETERMINATION OF CALCIUM, STRONTIUM AND BARIUM IN SINGLE CRYSTALS OF ALKALI HALIDES BY NEUTRON ACTIVATION

Joint Research Centre

DETERMINATION OF CALCIUM, STRONTIUM AND BARIUM IN SINGLE CRYSTALS OF ALKALI HALIDES BY NEUTRON ACTIVATION Alternate Text
Category

Documents

Sciences formelles

DETERMINATION OF CALCIUM, STRONTIUM AND BARIUM IN SINGLE CRYSTALS OF ALKALI HALIDES BY NEUTRON ACTIVATION

Joint Research Centre

Book

20 pages

Flag

English

European Collaborative Programme workshop on Remote Sensing for Forestry Applications
Category

Documents

European Collaborative Programme workshop on Remote Sensing for Forestry Applications

Joint Research Centre

European Collaborative Programme workshop on Remote Sensing for Forestry Applications Alternate Text
Category

Documents

Sciences formelles

European Collaborative Programme workshop on Remote Sensing for Forestry Applications

Joint Research Centre

Book

298 pages

Flag

English

Determination of common wheat in pasta products dried at elevated temperatures
Category

Documents

Determination of common wheat in pasta products dried at elevated temperatures

Directorate-General For The Information Society And Media European Commission

Determination of common wheat in pasta products dried at elevated temperatures Alternate Text
Category

Documents

Sciences formelles

Determination of common wheat in pasta products dried at elevated temperatures

Directorate-General For The Information Society And Media European Commission

Book

102 pages

Flag

English

Extension of existing models to enable strand deformations to be calculated over several roll pitches in continuous casting machines
Category

Documents

Extension of existing models to enable strand deformations to be calculated over several roll pitches in continuous casting machines

European Union

Extension of existing models to enable strand deformations to be calculated over several roll pitches in continuous casting machines Alternate Text
Category

Documents

Sciences formelles

Extension of existing models to enable strand deformations to be calculated over several roll pitches in continuous casting machines

European Union

Book

62 pages

Flag

English

Biological indicators and first lesions after irradiation. Annual Report July 1965 - July 1966
Category

Documents

Biological indicators and first lesions after irradiation. Annual Report July 1965 - July 1966

European Union

Biological indicators and first lesions after irradiation. Annual Report July 1965 - July 1966 Alternate Text
Category

Documents

Sciences formelles

Biological indicators and first lesions after irradiation. Annual Report July 1965 - July 1966

European Union

Book

22 pages

Flag

English

The analysis of coefficient data relating to the EEC 100 MM orifice plates
Category

Documents

The analysis of coefficient data relating to the EEC 100 MM orifice plates

European Union

The analysis of coefficient data relating to the EEC 100 MM orifice plates Alternate Text
Category

Documents

Sciences formelles

The analysis of coefficient data relating to the EEC 100 MM orifice plates

European Union

Book

42 pages

Flag

English

Allometric Relationships of Selected European Tree Species. Parametrizations of tree architecture for the purpose of 3-D canopy reflectance models used in the interpretation of remote sensing data.
Category

Documents

Allometric Relationships of Selected European Tree Species. Parametrizations of tree architecture for the purpose of 3-D canopy reflectance models used in the interpretation of remote sensing data.

Joint Research Centre

Allometric Relationships of Selected European Tree Species. Parametrizations of tree architecture for the purpose of 3-D canopy reflectance models used in the interpretation of remote sensing data. Alternate Text
Category

Documents

Sciences formelles

Allometric Relationships of Selected European Tree Species. Parametrizations of tree architecture for the purpose of 3-D canopy reflectance models used in the interpretation of remote sensing data.

Joint Research Centre

Book

74 pages

Flag

English

STUDIES OF MAGNETIC TAPE INSTRUMENTATION FOR ON-LINE RECORDING AND OFF-LINE ANALYSIS OF DATA FROM MULTIPARAMETER NUCLEAR EXPERIMENTS
Category

Documents

STUDIES OF MAGNETIC TAPE INSTRUMENTATION FOR ON-LINE RECORDING AND OFF-LINE ANALYSIS OF DATA FROM MULTIPARAMETER NUCLEAR EXPERIMENTS

Joint Research Centre

STUDIES OF MAGNETIC TAPE INSTRUMENTATION FOR ON-LINE RECORDING AND OFF-LINE ANALYSIS OF DATA FROM MULTIPARAMETER NUCLEAR EXPERIMENTS Alternate Text
Category

Documents

Sciences formelles

STUDIES OF MAGNETIC TAPE INSTRUMENTATION FOR ON-LINE RECORDING AND OFF-LINE ANALYSIS OF DATA FROM MULTIPARAMETER NUCLEAR EXPERIMENTS

Joint Research Centre

Book

26 pages

Flag

English

Effect of Thermal Vibrations on the Anomalous Transmission of X-Rays in Zinc Crystals. Reprinted from IL Nuovo Cimènto Serie X, Vol. 35 - 1965
Category

Documents

Effect of Thermal Vibrations on the Anomalous Transmission of X-Rays in Zinc Crystals. Reprinted from IL Nuovo Cimènto Serie X, Vol. 35 - 1965

Joint Research Centre

Effect of Thermal Vibrations on the Anomalous Transmission of X-Rays in Zinc Crystals. Reprinted from IL Nuovo Cimènto Serie X, Vol. 35 - 1965 Alternate Text
Category

Documents

Sciences formelles

Effect of Thermal Vibrations on the Anomalous Transmission of X-Rays in Zinc Crystals. Reprinted from IL Nuovo Cimènto Serie X, Vol. 35 - 1965

Joint Research Centre

Book

20 pages

Flag

English

Design and operation of the data acquisition and reduction system used in the applied mechanics division for mechanical tests and the post-accident heat removal experiments
Category

Documents

Design and operation of the data acquisition and reduction system used in the applied mechanics division for mechanical tests and the post-accident heat removal experiments

Joint Research Centre

Design and operation of the data acquisition and reduction system used in the applied mechanics division for mechanical tests and the post-accident heat removal experiments Alternate Text
Category

Documents

Sciences formelles

Design and operation of the data acquisition and reduction system used in the applied mechanics division for mechanical tests and the post-accident heat removal experiments

Joint Research Centre

Book

40 pages

Flag

English

A MEASUREMENT OF THE HYPERFINE STRUCTURE OF THE THERMAL FLUX DISTRIBUTION IN THE UC CLUSTERED FUEL ELEMENT ESSOR C-2- ?
Category

Documents

A MEASUREMENT OF THE HYPERFINE STRUCTURE OF THE THERMAL FLUX DISTRIBUTION IN THE UC CLUSTERED FUEL ELEMENT ESSOR C-2- ?

Joint Research Centre

A MEASUREMENT OF THE HYPERFINE STRUCTURE OF THE THERMAL FLUX DISTRIBUTION IN THE UC CLUSTERED FUEL ELEMENT ESSOR C-2- ? Alternate Text
Category

Documents

Sciences formelles

A MEASUREMENT OF THE HYPERFINE STRUCTURE OF THE THERMAL FLUX DISTRIBUTION IN THE UC CLUSTERED FUEL ELEMENT ESSOR C-2- ?

Joint Research Centre

Book

52 pages

Flag

English

Alternate Text