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
GAMMA RAY BUILDUP FACTORS FOR MATERIALS WITH VERY LOW ATOMIC NUMBERS. VOLUME 1 NUMBER 3 1979
Category

Documents

GAMMA RAY BUILDUP FACTORS FOR MATERIALS WITH VERY LOW ATOMIC NUMBERS. VOLUME 1 NUMBER 3 1979

Joint Research Centre

GAMMA RAY BUILDUP FACTORS FOR MATERIALS WITH VERY LOW ATOMIC NUMBERS. VOLUME 1 NUMBER 3 1979 Alternate Text
Category

Documents

Sciences formelles

GAMMA RAY BUILDUP FACTORS FOR MATERIALS WITH VERY LOW ATOMIC NUMBERS. VOLUME 1 NUMBER 3 1979

Joint Research Centre

Book

22 pages

Flag

English

THE EFFECT OF VARIOUS IMPURITIES ON THE ELECTRICAL CONDUCTIVITY OF ORGANIC COOLANT LIQUIDS
Category

Documents

THE EFFECT OF VARIOUS IMPURITIES ON THE ELECTRICAL CONDUCTIVITY OF ORGANIC COOLANT LIQUIDS

Joint Research Centre

THE EFFECT OF VARIOUS IMPURITIES ON THE ELECTRICAL CONDUCTIVITY OF ORGANIC COOLANT LIQUIDS Alternate Text
Category

Documents

Sciences formelles

THE EFFECT OF VARIOUS IMPURITIES ON THE ELECTRICAL CONDUCTIVITY OF ORGANIC COOLANT LIQUIDS

Joint Research Centre

Book

30 pages

Flag

English

THE COMPILATION AND PROCESSING OF IBM 1401 PROGRAMS ON IBM 7090. VOL. III : THE SIMULATOR PROGRAM
Category

Documents

THE COMPILATION AND PROCESSING OF IBM 1401 PROGRAMS ON IBM 7090. VOL. III : THE SIMULATOR PROGRAM

Joint Research Centre

THE COMPILATION AND PROCESSING OF IBM 1401 PROGRAMS ON IBM 7090. VOL. III : THE SIMULATOR PROGRAM Alternate Text
Category

Documents

Sciences formelles

THE COMPILATION AND PROCESSING OF IBM 1401 PROGRAMS ON IBM 7090. VOL. III : THE SIMULATOR PROGRAM

Joint Research Centre

Book

68 pages

Flag

English

STATISTICAL TECHNIQUES AND ANALYSIS IN CORROSION MEASUREMENTS OF Zr ALLOYS IN TERPHENYLS
Category

Documents

STATISTICAL TECHNIQUES AND ANALYSIS IN CORROSION MEASUREMENTS OF Zr ALLOYS IN TERPHENYLS

Joint Research Centre

STATISTICAL TECHNIQUES AND ANALYSIS IN CORROSION MEASUREMENTS OF Zr ALLOYS IN TERPHENYLS Alternate Text
Category

Documents

Sciences formelles

STATISTICAL TECHNIQUES AND ANALYSIS IN CORROSION MEASUREMENTS OF Zr ALLOYS IN TERPHENYLS

Joint Research Centre

Book

24 pages

Flag

English

ISOTOPIC ANALYSIS OF IRRADIATED FUEL AND TRANSPLUTONIUM ELEMENTS. 1. Objectives and Methods
Category

Documents

ISOTOPIC ANALYSIS OF IRRADIATED FUEL AND TRANSPLUTONIUM ELEMENTS. 1. Objectives and Methods

Joint Research Centre

ISOTOPIC ANALYSIS OF IRRADIATED FUEL AND TRANSPLUTONIUM ELEMENTS. 1. Objectives and Methods Alternate Text
Category

Documents

Sciences formelles

ISOTOPIC ANALYSIS OF IRRADIATED FUEL AND TRANSPLUTONIUM ELEMENTS. 1. Objectives and Methods

Joint Research Centre

Book

32 pages

Flag

English

Inventory of on-going high-temperature materials research activities in Europe
Category

Documents

Inventory of on-going high-temperature materials research activities in Europe

Joint Research Centre

Inventory of on-going high-temperature materials research activities in Europe Alternate Text
Category

Documents

Sciences formelles

Inventory of on-going high-temperature materials research activities in Europe

Joint Research Centre

Book

144 pages

Flag

English

AN APPLICATION OF HETEROGENEOUS REACTOR THEORY TO SUBSTITUTION EXPERIMENTS
Category

Documents

AN APPLICATION OF HETEROGENEOUS REACTOR THEORY TO SUBSTITUTION EXPERIMENTS

Joint Research Centre

AN APPLICATION OF HETEROGENEOUS REACTOR THEORY TO SUBSTITUTION EXPERIMENTS Alternate Text
Category

Documents

Sciences formelles

AN APPLICATION OF HETEROGENEOUS REACTOR THEORY TO SUBSTITUTION EXPERIMENTS

Joint Research Centre

Book

18 pages

Flag

English

CODE FIRST I IBM 7090 FORTRAN II CODE FOR THE CALCULATION OF A NEUTRON SPECTRUM FOR A HETEROGENEOUS LATTICE
Category

Documents

CODE FIRST I IBM 7090 FORTRAN II CODE FOR THE CALCULATION OF A NEUTRON SPECTRUM FOR A HETEROGENEOUS LATTICE

Joint Research Centre

CODE FIRST I IBM 7090 FORTRAN II CODE FOR THE CALCULATION OF A NEUTRON SPECTRUM FOR A HETEROGENEOUS LATTICE Alternate Text
Category

Documents

Sciences formelles

CODE FIRST I IBM 7090 FORTRAN II CODE FOR THE CALCULATION OF A NEUTRON SPECTRUM FOR A HETEROGENEOUS LATTICE

Joint Research Centre

Book

30 pages

Flag

English

Recent improvements of the non-linear transient dynamic structural computer programs EURDYN
Category

Documents

Recent improvements of the non-linear transient dynamic structural computer programs EURDYN

Joint Research Centre

Recent improvements of the non-linear transient dynamic structural computer programs EURDYN Alternate Text
Category

Documents

Sciences formelles

Recent improvements of the non-linear transient dynamic structural computer programs EURDYN

Joint Research Centre

Book

40 pages

Flag

English

Fissile materials control and management. PROGRAMME PROGRESS REPORT January - June 1980
Category

Documents

Fissile materials control and management. PROGRAMME PROGRESS REPORT January - June 1980

Joint Research Centre

Fissile materials control and management. PROGRAMME PROGRESS REPORT January - June 1980 Alternate Text
Category

Documents

Sciences formelles

Fissile materials control and management. PROGRAMME PROGRESS REPORT January - June 1980

Joint Research Centre

Book

32 pages

Flag

English

MOSIF A DATA ACQUISITION SYSTEM FOR THE STUDY OF SOLIDS MOTION IN FLUIDIZED BEDS
Category

Documents

MOSIF A DATA ACQUISITION SYSTEM FOR THE STUDY OF SOLIDS MOTION IN FLUIDIZED BEDS

Joint Research Centre

MOSIF A DATA ACQUISITION SYSTEM FOR THE STUDY OF SOLIDS MOTION IN FLUIDIZED BEDS Alternate Text
Category

Documents

Sciences formelles

MOSIF A DATA ACQUISITION SYSTEM FOR THE STUDY OF SOLIDS MOTION IN FLUIDIZED BEDS

Joint Research Centre

Book

50 pages

Flag

English

ABSOLUTE DETERMINATION OF THE U-235/U-238 RATIO WITH AN OPTICAL INTERFEROMETER (HYPEAC)
Category

Documents

ABSOLUTE DETERMINATION OF THE U-235/U-238 RATIO WITH AN OPTICAL INTERFEROMETER (HYPEAC)

Joint Research Centre

ABSOLUTE DETERMINATION OF THE U-235/U-238 RATIO WITH AN OPTICAL INTERFEROMETER (HYPEAC) Alternate Text
Category

Documents

Sciences formelles

ABSOLUTE DETERMINATION OF THE U-235/U-238 RATIO WITH AN OPTICAL INTERFEROMETER (HYPEAC)

Joint Research Centre

Book

32 pages

Flag

English

A STUDY OF SOME NIOBIUM-BEARING MINERALS OF THE LUESHE CARBONATITE DEPOSIT (KIVU, REPUBLIC OF CONGO)
Category

Documents

A STUDY OF SOME NIOBIUM-BEARING MINERALS OF THE LUESHE CARBONATITE DEPOSIT (KIVU, REPUBLIC OF CONGO)

Joint Research Centre

A STUDY OF SOME NIOBIUM-BEARING MINERALS OF THE LUESHE CARBONATITE DEPOSIT (KIVU, REPUBLIC OF CONGO) Alternate Text
Category

Documents

Sciences formelles

A STUDY OF SOME NIOBIUM-BEARING MINERALS OF THE LUESHE CARBONATITE DEPOSIT (KIVU, REPUBLIC OF CONGO)

Joint Research Centre

Book

38 pages

Flag

English

DISAPPEARANCE OF A LOW FREQUENCY KH2P04 MODE UPON TRANSITION TO THE FERROELECTRIC PHASE
Category

Documents

DISAPPEARANCE OF A LOW FREQUENCY KH2P04 MODE UPON TRANSITION TO THE FERROELECTRIC PHASE

Joint Research Centre

DISAPPEARANCE OF A LOW FREQUENCY KH2P04 MODE UPON TRANSITION TO THE FERROELECTRIC PHASE Alternate Text
Category

Documents

Sciences formelles

DISAPPEARANCE OF A LOW FREQUENCY KH2P04 MODE UPON TRANSITION TO THE FERROELECTRIC PHASE

Joint Research Centre

Book

24 pages

Flag

English

A NUMERICAL SOLUTION OF THE GAMMA TRANSPORT EQUATION APPLIED TO CONCRETE SLABS
Category

Documents

A NUMERICAL SOLUTION OF THE GAMMA TRANSPORT EQUATION APPLIED TO CONCRETE SLABS

Joint Research Centre

A NUMERICAL SOLUTION OF THE GAMMA TRANSPORT EQUATION APPLIED TO CONCRETE SLABS Alternate Text
Category

Documents

Sciences formelles

A NUMERICAL SOLUTION OF THE GAMMA TRANSPORT EQUATION APPLIED TO CONCRETE SLABS

Joint Research Centre

Book

22 pages

Flag

English

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry. Petten (Holland), September 22-26, 1975
Category

Documents

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry. Petten (Holland), September 22-26, 1975

Joint Research Centre

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry. Petten (Holland), September 22-26, 1975 Alternate Text
Category

Documents

Sciences formelles

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry. Petten (Holland), September 22-26, 1975

Joint Research Centre

Book

116 pages

Flag

English

MATERIAL FOR MAKING RESILIENT LIGHT PIPES TO BE MOUNTED WITHOUT SILICON GREASE
Category

Documents

MATERIAL FOR MAKING RESILIENT LIGHT PIPES TO BE MOUNTED WITHOUT SILICON GREASE

Joint Research Centre

MATERIAL FOR MAKING RESILIENT LIGHT PIPES TO BE MOUNTED WITHOUT SILICON GREASE Alternate Text
Category

Documents

Sciences formelles

MATERIAL FOR MAKING RESILIENT LIGHT PIPES TO BE MOUNTED WITHOUT SILICON GREASE

Joint Research Centre

Book

8 pages

Flag

English

Plutonium Fuels and Actinide Research. SUMMARY PROGRAMME PROGRESS REPORT July - December 1978
Category

Documents

Plutonium Fuels and Actinide Research. SUMMARY PROGRAMME PROGRESS REPORT July - December 1978

Joint Research Centre

Plutonium Fuels and Actinide Research. SUMMARY PROGRAMME PROGRESS REPORT July - December 1978 Alternate Text
Category

Documents

Sciences formelles

Plutonium Fuels and Actinide Research. SUMMARY PROGRAMME PROGRESS REPORT July - December 1978

Joint Research Centre

Book

20 pages

Flag

English

INELASTIC SCATTERING OF COLD NEUTRONS BY LOCALISED MODES IN VANADIUM HYDRIDE SYSTEMS
Category

Documents

INELASTIC SCATTERING OF COLD NEUTRONS BY LOCALISED MODES IN VANADIUM HYDRIDE SYSTEMS

Joint Research Centre

INELASTIC SCATTERING OF COLD NEUTRONS BY LOCALISED MODES IN VANADIUM HYDRIDE SYSTEMS Alternate Text
Category

Documents

Sciences formelles

INELASTIC SCATTERING OF COLD NEUTRONS BY LOCALISED MODES IN VANADIUM HYDRIDE SYSTEMS

Joint Research Centre

Book

10 pages

Flag

English

INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION
Category

Documents

INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION

Joint Research Centre

INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION Alternate Text
Category

Documents

Sciences formelles

INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION

Joint Research Centre

Book

32 pages

Flag

English

Building Security and Consumer Trust in Internet Payments - The potential of "soft" measures -. Background Paper No. 7 Electronic Payment Systems Observatory (ePSO) April 2002
Category

Documents

Building Security and Consumer Trust in Internet Payments - The potential of "soft" measures -. Background Paper No. 7 Electronic Payment Systems Observatory (ePSO) April 2002

Joint Research Centre

Building Security and Consumer Trust in Internet Payments - The potential of "soft" measures -. Background Paper No. 7 Electronic Payment Systems Observatory (ePSO) April 2002 Alternate Text
Category

Documents

Sciences formelles

Building Security and Consumer Trust in Internet Payments - The potential of "soft" measures -. Background Paper No. 7 Electronic Payment Systems Observatory (ePSO) April 2002

Joint Research Centre

Book

50 pages

Flag

English

Scenarios for co-existence of genetically modified, conventional and organic crops in European agriculture. May 2002
Category

Documents

Scenarios for co-existence of genetically modified, conventional and organic crops in European agriculture. May 2002

Joint Research Centre

Scenarios for co-existence of genetically modified, conventional and organic crops in European agriculture. May 2002 Alternate Text
Category

Documents

Sciences formelles

Scenarios for co-existence of genetically modified, conventional and organic crops in European agriculture. May 2002

Joint Research Centre

Book

150 pages

Flag

English

European Workshop on Analytical Methods for the Determination of Acrylamide in Food Products. REPORT
Category

Documents

European Workshop on Analytical Methods for the Determination of Acrylamide in Food Products. REPORT

Joint Research Centre

European Workshop on Analytical Methods for the Determination of Acrylamide in Food Products. REPORT Alternate Text
Category

Documents

Sciences formelles

European Workshop on Analytical Methods for the Determination of Acrylamide in Food Products. REPORT

Joint Research Centre

Book

40 pages

Flag

English

COLLECTRONS, SELF-POWERED NEUTRON FLUX DETECTORS. Part I : Theoretical considerations
Category

Documents

COLLECTRONS, SELF-POWERED NEUTRON FLUX DETECTORS. Part I : Theoretical considerations

Joint Research Centre

COLLECTRONS, SELF-POWERED NEUTRON FLUX DETECTORS. Part I : Theoretical considerations Alternate Text
Category

Documents

Sciences formelles

COLLECTRONS, SELF-POWERED NEUTRON FLUX DETECTORS. Part I : Theoretical considerations

Joint Research Centre

Book

44 pages

Flag

English

PRELIMINARY RESULTS ON TIMING WITH PHOTOMULTIPLIERS AND SOLID STATE DETECTORS
Category

Documents

PRELIMINARY RESULTS ON TIMING WITH PHOTOMULTIPLIERS AND SOLID STATE DETECTORS

Joint Research Centre

PRELIMINARY RESULTS ON TIMING WITH PHOTOMULTIPLIERS AND SOLID STATE DETECTORS Alternate Text
Category

Documents

Sciences formelles

PRELIMINARY RESULTS ON TIMING WITH PHOTOMULTIPLIERS AND SOLID STATE DETECTORS

Joint Research Centre

Book

62 pages

Flag

English

AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER
Category

Documents

AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER

Joint Research Centre

AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER Alternate Text
Category

Documents

Sciences formelles

AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER

Joint Research Centre

Book

220 pages

Flag

Serbian

DETERMINATION OF PLUTONIUM CONCENTRATION AND DISTRIBUTION IN URANIUM-PLUTONIUM MIXED OXIDE FUEL BY AUTORADIOGRAPHY AND MICRODENSITOMETRY
Category

Documents

DETERMINATION OF PLUTONIUM CONCENTRATION AND DISTRIBUTION IN URANIUM-PLUTONIUM MIXED OXIDE FUEL BY AUTORADIOGRAPHY AND MICRODENSITOMETRY

Joint Research Centre

DETERMINATION OF PLUTONIUM CONCENTRATION AND DISTRIBUTION IN URANIUM-PLUTONIUM MIXED OXIDE FUEL BY AUTORADIOGRAPHY AND MICRODENSITOMETRY Alternate Text
Category

Documents

Sciences formelles

DETERMINATION OF PLUTONIUM CONCENTRATION AND DISTRIBUTION IN URANIUM-PLUTONIUM MIXED OXIDE FUEL BY AUTORADIOGRAPHY AND MICRODENSITOMETRY

Joint Research Centre

Book

34 pages

Flag

English

INVESTIGATIONS ON RADIOACTIVE FISSION PRODUCT CORRELATIONS : GAMMA SPECTROMETRY MEASUREMENTS ON SPENT FUEL ASSEMBLIES OF THE GARIGLIANO REACTOR
Category

Documents

INVESTIGATIONS ON RADIOACTIVE FISSION PRODUCT CORRELATIONS : GAMMA SPECTROMETRY MEASUREMENTS ON SPENT FUEL ASSEMBLIES OF THE GARIGLIANO REACTOR

Joint Research Centre

INVESTIGATIONS ON RADIOACTIVE FISSION PRODUCT CORRELATIONS : GAMMA SPECTROMETRY MEASUREMENTS ON SPENT FUEL ASSEMBLIES OF THE GARIGLIANO REACTOR Alternate Text
Category

Documents

Sciences formelles

INVESTIGATIONS ON RADIOACTIVE FISSION PRODUCT CORRELATIONS : GAMMA SPECTROMETRY MEASUREMENTS ON SPENT FUEL ASSEMBLIES OF THE GARIGLIANO REACTOR

Joint Research Centre

Book

46 pages

Flag

English

Measurements, Standards and Reference Techniques (METRE). PROGRAMME PROGRESS REPORT July - December 1978
Category

Documents

Measurements, Standards and Reference Techniques (METRE). PROGRAMME PROGRESS REPORT July - December 1978

Joint Research Centre

Measurements, Standards and Reference Techniques (METRE). PROGRAMME PROGRESS REPORT July - December 1978 Alternate Text
Category

Documents

Sciences formelles

Measurements, Standards and Reference Techniques (METRE). PROGRAMME PROGRESS REPORT July - December 1978

Joint Research Centre

Book

164 pages

Flag

English

THE RADIOLYTIC AND PYROLYTIC DECOMPOSITION OF ORGANIC COOLANTS VII. THE PYROLYSIS OF HIGH BOILING RESIDUE
Category

Documents

THE RADIOLYTIC AND PYROLYTIC DECOMPOSITION OF ORGANIC COOLANTS VII. THE PYROLYSIS OF HIGH BOILING RESIDUE

Joint Research Centre

THE RADIOLYTIC AND PYROLYTIC DECOMPOSITION OF ORGANIC COOLANTS VII. THE PYROLYSIS OF HIGH BOILING RESIDUE Alternate Text
Category

Documents

Sciences formelles

THE RADIOLYTIC AND PYROLYTIC DECOMPOSITION OF ORGANIC COOLANTS VII. THE PYROLYSIS OF HIGH BOILING RESIDUE

Joint Research Centre

Book

24 pages

Flag

English

Alternate Text