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
Development of a reference material and reference method to provide a calibration of the instrument intensity scale for differential aes
Documents
Sciences formelles
Development of a reference material and reference method to provide a calibration of the instrument intensity scale for differential aes
38 pages
English
Lire
Infos
Documents
European study on applications of HTSC materials with particular reference to cables
Documents
Sciences formelles
European study on applications of HTSC materials with particular reference to cables
32 pages
English
Lire
Infos
Documents
Intercomparison of measurement methods of pressure exerted by medical stockings
Documents
Sciences formelles
Intercomparison of measurement methods of pressure exerted by medical stockings
92 pages
English
Lire
Infos
Documents
Sensible and latent heat fluxes and temperature gradients deduced from sonic anemometer, thermometer and radiometric data obtained during the fifth EEC campaign at Fos, France
Documents
Sciences formelles
Sensible and latent heat fluxes and temperature gradients deduced from sonic anemometer, thermometer and radiometric data obtained during the fifth EEC campaign at Fos, France
42 pages
English
Lire
Infos
Documents
An apparatus to measure the thermal conductivity of graphite near room temperature
Documents
Sciences formelles
An apparatus to measure the thermal conductivity of graphite near room temperature
26 pages
English
Lire
Infos
Documents
On the feasibility of integrated thermochemical processes for the decomposition of water in coal gasification
Documents
Sciences formelles
On the feasibility of integrated thermochemical processes for the decomposition of water in coal gasification
182 pages
English
Lire
Infos
Documents
Interlaboratory comparison of passive samplers for organic vapours with respect to their applicability to indoor air pollution monitoring
Documents
Sciences formelles
Interlaboratory comparison of passive samplers for organic vapours with respect to their applicability to indoor air pollution monitoring
78 pages
English
Lire
Infos
Documents
Pore volume and pore size distribution of cement samples measured by a modified mercury intrusion porosimeter
Documents
Sciences formelles
Pore volume and pore size distribution of cement samples measured by a modified mercury intrusion porosimeter
26 pages
English
Lire
Infos
Documents
RARE GAS RELEASE FROM SOLIDS WITH SPECIAL ATTENTION TO NUCLEAR FUEL MATERIALS. Rare Gas Diffusion in Solids 14
Documents
Sciences formelles
RARE GAS RELEASE FROM SOLIDS WITH SPECIAL ATTENTION TO NUCLEAR FUEL MATERIALS. Rare Gas Diffusion in Solids 14
28 pages
English
Lire
Infos
Documents
Studies of straightening and levelling operations for plate and section products
Documents
Sciences formelles
Studies of straightening and levelling operations for plate and section products
2 pages
English
Lire
Infos
Documents
Facilities for testing hydrogenated amorphous silicon films in the JRC-Ispra
Documents
Sciences formelles
Facilities for testing hydrogenated amorphous silicon films in the JRC-Ispra
46 pages
English
Lire
Infos
Documents
Biological indicators and first lesions after irradiation. Annual report 1968
Documents
Sciences formelles
Biological indicators and first lesions after irradiation. Annual report 1968
30 pages
English
Lire
Infos
Documents
The influence of manufacturing variables of the wear characteristics of hardened steel rolls (works data)
Documents
Sciences formelles
The influence of manufacturing variables of the wear characteristics of hardened steel rolls (works data)
168 pages
English
Lire
Infos
Documents
An interlaboratory ring test on the oxidizing properties of chemical substances
Documents
Sciences formelles
An interlaboratory ring test on the oxidizing properties of chemical substances
84 pages
English
Lire
Infos
Documents
Basic properties of high intensity electric arcs used in steelmaking. Period 1st October 1973 to 30th September 1975 FINAL REPORT
Documents
Sciences formelles
Basic properties of high intensity electric arcs used in steelmaking. Period 1st October 1973 to 30th September 1975 FINAL REPORT
110 pages
English
Lire
Infos
Documents
Semiconductor electrodes in contact with aqueous redox electrolytes for photovoltaic solar energy conversion
Documents
Sciences formelles
Semiconductor electrodes in contact with aqueous redox electrolytes for photovoltaic solar energy conversion
48 pages
English
Lire
Infos
Documents
Evaluation of the effect of variations in the refractive index of air upon the uncertainty of industrial length measurements
Documents
Sciences formelles
Evaluation of the effect of variations in the refractive index of air upon the uncertainty of industrial length measurements
68 pages
English
Lire
Infos
Documents
Possible contributions by JRC to meet the needs of the Commission on Agri-Environmental Indicators
Documents
Sciences formelles
Possible contributions by JRC to meet the needs of the Commission on Agri-Environmental Indicators
42 pages
English
Lire
Infos
Documents
COMPUTERIZED SYSTEM FOR THE APPLICATION OF FISSION NEUTRON CORRELATION TECHNIQUES IN NUCLEAR SAFEGUARDS
Documents
Sciences formelles
COMPUTERIZED SYSTEM FOR THE APPLICATION OF FISSION NEUTRON CORRELATION TECHNIQUES IN NUCLEAR SAFEGUARDS
12 pages
English
Lire
Infos
Documents
VARIABLE DEAD TIME NEUTRON COUNTER FOR TAMPER RESISTANT MEASUREMENTS OF SPONTANEOUS FISSION NEUTRONS
Documents
Sciences formelles
VARIABLE DEAD TIME NEUTRON COUNTER FOR TAMPER RESISTANT MEASUREMENTS OF SPONTANEOUS FISSION NEUTRONS
14 pages
English
Lire
Infos
Documents
Inventory of projects with a European dimension, where Satellite Communications are used for Earth Observation applications
Documents
Sciences formelles
Inventory of projects with a European dimension, where Satellite Communications are used for Earth Observation applications
40 pages
English
Lire
Infos
Documents
THE STATUS OF LAKE VARESE IN 1994. One year of limnological investigation
Documents
Sciences formelles
THE STATUS OF LAKE VARESE IN 1994. One year of limnological investigation
48 pages
English
Lire
Infos
Documents
AMT-7 Radiometric Observations of the Sea Surface and Atmosphere (ROSSA) Cruise report and data summary.
Documents
Sciences formelles
AMT-7 Radiometric Observations of the Sea Surface and Atmosphere (ROSSA) Cruise report and data summary.
110 pages
English
Lire
Infos
Documents
Teleoperation: Numerical Simulation and Experimental Validation. COMPUTER AND INFORMATION SCIENCE VOLUME 4
Documents
Sciences formelles
Teleoperation: Numerical Simulation and Experimental Validation. COMPUTER AND INFORMATION SCIENCE VOLUME 4
284 pages
English
Lire
Infos
Documents
MULTICRITERIA APPROACH TO URBAN WASTE MANAGEMENT IN LISBON. FP 4 "Environmental and Climate " Programme MARCH 1999 Decision Support & Integrated Assessment Sector SAIA/ISIS
Documents
Sciences formelles
MULTICRITERIA APPROACH TO URBAN WASTE MANAGEMENT IN LISBON. FP 4 "Environmental and Climate " Programme MARCH 1999 Decision Support & Integrated Assessment Sector SAIA/ISIS
108 pages
English
Lire
Infos
Documents
CAMAC A modular instrumentation system for data handling. Specification of amplitude analogue signals within a 50 ? system
Documents
Sciences formelles
CAMAC A modular instrumentation system for data handling. Specification of amplitude analogue signals within a 50 ? system
24 pages
English
Lire
Infos
Documents
The certification of oxygen in non-ferrous metals. Oxygen in titanium-aluminium-vanadium alloy (Ti 6AI 4V) (BCR - No 59)
Documents
Sciences formelles
The certification of oxygen in non-ferrous metals. Oxygen in titanium-aluminium-vanadium alloy (Ti 6AI 4V) (BCR - No 59)
28 pages
English
Lire
Infos
Documents
EXPERIMENTAL AND THEORETICAL DETERMINATION OF BURNUP AND HEAVY ISOTOPE CONTENT IN A FUEL ASSEMBLY IRRADIATED IN THE GARIGLIANO BOILING WATER REACTOR
Documents
Sciences formelles
EXPERIMENTAL AND THEORETICAL DETERMINATION OF BURNUP AND HEAVY ISOTOPE CONTENT IN A FUEL ASSEMBLY IRRADIATED IN THE GARIGLIANO BOILING WATER REACTOR
124 pages
English
Lire
Infos
Documents
TIMOC A GENERAL PURPOSE MONTE CARLO CODE FOR STATIONARY AND TIME DEPENDENT NEUTRON TRANSPORT
Documents
Sciences formelles
TIMOC A GENERAL PURPOSE MONTE CARLO CODE FOR STATIONARY AND TIME DEPENDENT NEUTRON TRANSPORT
240 pages
English
Lire
Infos
Documents
CODAC A FORTRAN IV Programme to Process a TIMOC Library from the ENDF/B File
Documents
Sciences formelles
CODAC A FORTRAN IV Programme to Process a TIMOC Library from the ENDF/B File
58 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
