Sciences formelles
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.
Toutes les langues
Plus lus
Documents
Theoretical investigations of extrinsic defects in diamond-type solar material
Documents
Sciences formelles
Theoretical investigations of extrinsic defects in diamond-type solar material
44 pages
English
Lire
Infos
Documents
Study of rewetting and quench phenomena by single pin out-of-pile experiments with special emphasis on the effects of pin composition
Documents
Sciences formelles
Study of rewetting and quench phenomena by single pin out-of-pile experiments with special emphasis on the effects of pin composition
86 pages
English
Lire
Infos
Documents
Analysis of Zircaloy rewetting experiments and their implication for reactor fuel. Final report
Documents
Sciences formelles
Analysis of Zircaloy rewetting experiments and their implication for reactor fuel. Final report
92 pages
English
Lire
Infos
Documents
Production of hot gas for drying processes using fluidized bed combustion of coal
Documents
Sciences formelles
Production of hot gas for drying processes using fluidized bed combustion of coal
160 pages
English
Lire
Infos
Documents
Reduced reporting format for solar heating systems for projects with low level monitoring
Documents
Sciences formelles
Reduced reporting format for solar heating systems for projects with low level monitoring
20 pages
English
Lire
Infos
Documents
Reduced reporting format for solar heating systems for projects with low level monitoring
Documents
Sciences formelles
Reduced reporting format for solar heating systems for projects with low level monitoring
20 pages
English
Lire
Infos
Documents
Comparative programme on the reproducibility of friction measurements and selection of suitable reference materials for calibration purposes
Documents
Sciences formelles
Comparative programme on the reproducibility of friction measurements and selection of suitable reference materials for calibration purposes
90 pages
English
Lire
Infos
Documents
René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH
Documents
Sciences formelles
René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH
2 pages
English
Lire
Infos
Documents
INFORMATION TECHNOLOGY FOR NATIONAL AND INTERNATIONAL COOPERATION IN TRANSPLANTATION
Documents
Sciences formelles
INFORMATION TECHNOLOGY FOR NATIONAL AND INTERNATIONAL COOPERATION IN TRANSPLANTATION
1 pages
English
Lire
Infos
Documents
ECOCRAFT - PREDICTING IMPACT OF RISING CARBON DIOXIDE AND TEMPERATURE ON FOREST IN EUROPE AT STAND SCALE
Documents
Sciences formelles
ECOCRAFT - PREDICTING IMPACT OF RISING CARBON DIOXIDE AND TEMPERATURE ON FOREST IN EUROPE AT STAND SCALE
1 pages
English
Lire
Infos
Documents
On the adequacy of numerical codes for the simulation of vapour cloud explosions
Documents
Sciences formelles
On the adequacy of numerical codes for the simulation of vapour cloud explosions
108 pages
English
Lire
Infos
Documents
Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium
Documents
Sciences formelles
Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium
156 pages
English
Lire
Infos
Documents
The use of plasma torches for auxiliary heating in an electric arc furnace
Documents
Sciences formelles
The use of plasma torches for auxiliary heating in an electric arc furnace
86 pages
English
Lire
Infos
Documents
CRITICAL ASSESSMENT OF THE CHEMICAL METALLURGICAL DATA OF COMPOUNDS AND ALLOYS PERTINENT TO IRON AND STEELMAKING. Report
Documents
Sciences formelles
CRITICAL ASSESSMENT OF THE CHEMICAL METALLURGICAL DATA OF COMPOUNDS AND ALLOYS PERTINENT TO IRON AND STEELMAKING. Report
200 pages
English
Lire
Infos
Documents
Mechanical parameters and material properties conditioning arrest of unstable fracture
Documents
Sciences formelles
Mechanical parameters and material properties conditioning arrest of unstable fracture
252 pages
English
Lire
Infos
Documents
THIRD EUROPEAN MARINE SCIENCE AND TECHNOLOGY CONFERENCE. SESSION REPORT Seafloor characterisation 23 to 27 May 1998
Documents
Sciences formelles
THIRD EUROPEAN MARINE SCIENCE AND TECHNOLOGY CONFERENCE. SESSION REPORT Seafloor characterisation 23 to 27 May 1998
12 pages
English
Lire
Infos
Documents
THIRD EUROPEAN MARINE SCIENCE AND TECHNOLOGY CONFERENCE. SESSION REPORT Seafloor characterisation 23 to 27 May 1998
Documents
Sciences formelles
THIRD EUROPEAN MARINE SCIENCE AND TECHNOLOGY CONFERENCE. SESSION REPORT Seafloor characterisation 23 to 27 May 1998
16 pages
English
Lire
Infos
Documents
Deposition of radionuclides, their subsequent relocation in the environment and resulting implications. Report
Documents
Sciences formelles
Deposition of radionuclides, their subsequent relocation in the environment and resulting implications. Report
128 pages
English
Lire
Infos
Documents
THE MEASUREMENTS OF PARASITIC COMPONENTS IN THE IMGC, NPL, TNO, LNE AND PTB FORCE STANDARD MACHINES BY MEANS OF THE IMGC SIX COMPONENT 100 KN DYNAMOMETER. Applied Metrology Report
Documents
Sciences formelles
THE MEASUREMENTS OF PARASITIC COMPONENTS IN THE IMGC, NPL, TNO, LNE AND PTB FORCE STANDARD MACHINES BY MEANS OF THE IMGC SIX COMPONENT 100 KN DYNAMOMETER. Applied Metrology Report
54 pages
English
Lire
Infos
Documents
Calibration of ultrasonic transducer sensitivity and power by laser interferometry
Documents
Sciences formelles
Calibration of ultrasonic transducer sensitivity and power by laser interferometry
124 pages
English
Lire
Infos
Documents
Fluid dynamic effects in the fuel element top nozzle area during refilling and reflooding
Documents
Sciences formelles
Fluid dynamic effects in the fuel element top nozzle area during refilling and reflooding
316 pages
English
Lire
Infos
Documents
Mode of deterioration and ultimate failure of nickel containing electrolyser electrodes and diaphragms
Documents
Sciences formelles
Mode of deterioration and ultimate failure of nickel containing electrolyser electrodes and diaphragms
150 pages
English
Lire
Infos
Documents
Treatment of active concrete waste arising from the dismantling of nuclear facilities. Final Report
Documents
Sciences formelles
Treatment of active concrete waste arising from the dismantling of nuclear facilities. Final Report
120 pages
English
Lire
Infos
Documents
Corrosion behaviour of container materials for geological disposal of high-level waste. Joint annual progress report 1983
Documents
Sciences formelles
Corrosion behaviour of container materials for geological disposal of high-level waste. Joint annual progress report 1983
212 pages
English
Lire
Infos
Documents
Conditioning of cladding waste by press compaction and encapsulation in low-melting metal alloys. Final Report
Documents
Sciences formelles
Conditioning of cladding waste by press compaction and encapsulation in low-melting metal alloys. Final Report
100 pages
English
Lire
Infos
Documents
Qualification, training, licensing and retraining of operating shift personnel in nuclear power plants. Presentation of different procedures in the countries of the European Community, Spain, Sweden, Switzerland and the USA Final report
Documents
Sciences formelles
Qualification, training, licensing and retraining of operating shift personnel in nuclear power plants. Presentation of different procedures in the countries of the European Community, Spain, Sweden, Switzerland and the USA Final report
436 pages
English
Lire
Infos
Documents
BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991
Documents
Sciences formelles
BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991
98 pages
English
Lire
Infos
Documents
Feasibility study on the production of cereal grain "naturally contaminated"with insecticides. Report
Documents
Sciences formelles
Feasibility study on the production of cereal grain "naturally contaminated"with insecticides. Report
40 pages
English
Lire
Infos
Documents
SPECTROSCOPIC MEASUREMENTS OF STRUCTURAL CHANGES IN STARCH IN A HOSTILE ENVIRONMENT. Final Report
Documents
Sciences formelles
SPECTROSCOPIC MEASUREMENTS OF STRUCTURAL CHANGES IN STARCH IN A HOSTILE ENVIRONMENT. Final Report
76 pages
English
Lire
Infos
Documents
EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT
Documents
Sciences formelles
EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT
54 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
