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
FOLD A CALIBRATION PROGRAM FOR THE ANALYSIS OF QUASI-ELASTIC NEUTRON SCATTERING DATA
Category

Documents

FOLD A CALIBRATION PROGRAM FOR THE ANALYSIS OF QUASI-ELASTIC NEUTRON SCATTERING DATA

Joint Research Centre

FOLD A CALIBRATION PROGRAM FOR THE ANALYSIS OF QUASI-ELASTIC NEUTRON SCATTERING DATA Alternate Text
Category

Documents

Sciences formelles

FOLD A CALIBRATION PROGRAM FOR THE ANALYSIS OF QUASI-ELASTIC NEUTRON SCATTERING DATA

Joint Research Centre

Book

38 pages

Flag

English

The development of recommendations for the design of welded joints between steel structural hollow sections or between steel structural hollow sections and H-sections
Category

Documents

The development of recommendations for the design of welded joints between steel structural hollow sections or between steel structural hollow sections and H-sections

Directorate-General For Translation European Commission

The development of recommendations for the design of welded joints between steel structural hollow sections or between steel structural hollow sections and H-sections Alternate Text
Category

Documents

Sciences formelles

The development of recommendations for the design of welded joints between steel structural hollow sections or between steel structural hollow sections and H-sections

Directorate-General For Translation European Commission

Book

256 pages

Flag

English

THE MICROGRAPHY OF THE CARBONACEOUS MESOPHASE FORMED IN THE HEAT TREATMENT OF GRAPHITIZABLE ORGANIC MATERIALS
Category

Documents

THE MICROGRAPHY OF THE CARBONACEOUS MESOPHASE FORMED IN THE HEAT TREATMENT OF GRAPHITIZABLE ORGANIC MATERIALS

Joint Research Centre

THE MICROGRAPHY OF THE CARBONACEOUS MESOPHASE FORMED IN THE HEAT TREATMENT OF GRAPHITIZABLE ORGANIC MATERIALS Alternate Text
Category

Documents

Sciences formelles

THE MICROGRAPHY OF THE CARBONACEOUS MESOPHASE FORMED IN THE HEAT TREATMENT OF GRAPHITIZABLE ORGANIC MATERIALS

Joint Research Centre

Book

34 pages

Flag

English

INVESTIGATION OF PNC EFFECTS IN THE RADIATIVE CAPTURE OF POLARIZED NEUTRONS THE CASE OF H2 (n,Y) AND Cd113 (n, ?)
Category

Documents

INVESTIGATION OF PNC EFFECTS IN THE RADIATIVE CAPTURE OF POLARIZED NEUTRONS THE CASE OF H2 (n,Y) AND Cd113 (n, ?)

Joint Research Centre

INVESTIGATION OF PNC EFFECTS IN THE RADIATIVE CAPTURE OF POLARIZED NEUTRONS THE CASE OF H2 (n,Y) AND Cd113 (n, ?) Alternate Text
Category

Documents

Sciences formelles

INVESTIGATION OF PNC EFFECTS IN THE RADIATIVE CAPTURE OF POLARIZED NEUTRONS THE CASE OF H2 (n,Y) AND Cd113 (n, ?)

Joint Research Centre

Book

24 pages

Flag

English

LOW FREQUENCY VIBRATIONS OF CRYSTALLINE BIPHENYL. Reprinted from "Journal of Chemical Physics", Vol. 40, No 12 - June 1964
Category

Documents

LOW FREQUENCY VIBRATIONS OF CRYSTALLINE BIPHENYL. Reprinted from "Journal of Chemical Physics", Vol. 40, No 12 - June 1964

Joint Research Centre

LOW FREQUENCY VIBRATIONS OF CRYSTALLINE BIPHENYL. Reprinted from "Journal of Chemical Physics", Vol. 40, No 12 - June 1964 Alternate Text
Category

Documents

Sciences formelles

LOW FREQUENCY VIBRATIONS OF CRYSTALLINE BIPHENYL. Reprinted from "Journal of Chemical Physics", Vol. 40, No 12 - June 1964

Joint Research Centre

Book

14 pages

Flag

English

Soil Geographical Database for Eurasia & The Mediterranean: Instructions Guide for Elaboration at scale 1:1,000,000, Version 4.0
Category

Documents

Soil Geographical Database for Eurasia & The Mediterranean: Instructions Guide for Elaboration at scale 1:1,000,000, Version 4.0

Joint Research Centre

Soil Geographical Database for Eurasia & The Mediterranean: Instructions Guide for Elaboration at scale 1:1,000,000, Version 4.0 Alternate Text
Category

Documents

Sciences formelles

Soil Geographical Database for Eurasia & The Mediterranean: Instructions Guide for Elaboration at scale 1:1,000,000, Version 4.0

Joint Research Centre

Book

74 pages

Flag

English

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January-June 1977
Category

Documents

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January-June 1977

Joint Research Centre

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January-June 1977 Alternate Text
Category

Documents

Sciences formelles

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January-June 1977

Joint Research Centre

Book

16 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

150 pages

Flag

Vietnamese

THERMAL NEUTRON ABSORPTION CROSS SECTION OF BORON. Reprinted from Reactor Science and Technology, (Journal of Nuclear Energy Parts A/B) - Vol. 17, 1963
Category

Documents

THERMAL NEUTRON ABSORPTION CROSS SECTION OF BORON. Reprinted from Reactor Science and Technology, (Journal of Nuclear Energy Parts A/B) - Vol. 17, 1963

Joint Research Centre

THERMAL NEUTRON ABSORPTION CROSS SECTION OF BORON. Reprinted from Reactor Science and Technology, (Journal of Nuclear Energy Parts A/B) - Vol. 17, 1963 Alternate Text
Category

Documents

Sciences formelles

THERMAL NEUTRON ABSORPTION CROSS SECTION OF BORON. Reprinted from Reactor Science and Technology, (Journal of Nuclear Energy Parts A/B) - Vol. 17, 1963

Joint Research Centre

Book

12 pages

Flag

English

Service and Support Activities. PROGRAMME PROGRESS REPORT January-June 1978
Category

Documents

Service and Support Activities. PROGRAMME PROGRESS REPORT January-June 1978

Joint Research Centre

Service and Support Activities. PROGRAMME PROGRESS REPORT January-June 1978 Alternate Text
Category

Documents

Sciences formelles

Service and Support Activities. PROGRAMME PROGRESS REPORT January-June 1978

Joint Research Centre

Book

28 pages

Flag

English

Minutes and Conclusions of the Workshop for EU Candidate Countries  measuring close to the legal limits . Geel, Belgium, 17-18 March 2003
Category

Documents

Minutes and Conclusions of the Workshop for EU Candidate Countries 'measuring close to the legal limits'. Geel, Belgium, 17-18 March 2003

Joint Research Centre

Minutes and Conclusions of the Workshop for EU Candidate Countries  measuring close to the legal limits . Geel, Belgium, 17-18 March 2003 Alternate Text
Category

Documents

Sciences formelles

Minutes and Conclusions of the Workshop for EU Candidate Countries 'measuring close to the legal limits'. Geel, Belgium, 17-18 March 2003

Joint Research Centre

Book

38 pages

Flag

English

THE KINETIC THEORY OF A FAST REACTOR PERIODICALLY PULSED BY REACTIVITY VARIATIONS
Category

Documents

THE KINETIC THEORY OF A FAST REACTOR PERIODICALLY PULSED BY REACTIVITY VARIATIONS

Joint Research Centre

THE KINETIC THEORY OF A FAST REACTOR PERIODICALLY PULSED BY REACTIVITY VARIATIONS Alternate Text
Category

Documents

Sciences formelles

THE KINETIC THEORY OF A FAST REACTOR PERIODICALLY PULSED BY REACTIVITY VARIATIONS

Joint Research Centre

Book

26 pages

Flag

English

THE EFFECT OF VARYING THE ENVIRONMENTAL CALCIUM AND PHOSPHATE CONCENTRATIONS ON NUCLEAR DAMAGE IN X-IRRADIATED CULTURES OF BONE MARROW AND THYMUS
Category

Documents

THE EFFECT OF VARYING THE ENVIRONMENTAL CALCIUM AND PHOSPHATE CONCENTRATIONS ON NUCLEAR DAMAGE IN X-IRRADIATED CULTURES OF BONE MARROW AND THYMUS

Joint Research Centre

THE EFFECT OF VARYING THE ENVIRONMENTAL CALCIUM AND PHOSPHATE CONCENTRATIONS ON NUCLEAR DAMAGE IN X-IRRADIATED CULTURES OF BONE MARROW AND THYMUS Alternate Text
Category

Documents

Sciences formelles

THE EFFECT OF VARYING THE ENVIRONMENTAL CALCIUM AND PHOSPHATE CONCENTRATIONS ON NUCLEAR DAMAGE IN X-IRRADIATED CULTURES OF BONE MARROW AND THYMUS

Joint Research Centre

Book

16 pages

Flag

English

A DIGITAL SYSTEM FOR SPEED AND PHASE CONTROL OF PHASED NEUTRON CHOPPER ARRAYS
Category

Documents

A DIGITAL SYSTEM FOR SPEED AND PHASE CONTROL OF PHASED NEUTRON CHOPPER ARRAYS

Joint Research Centre

A DIGITAL SYSTEM FOR SPEED AND PHASE CONTROL OF PHASED NEUTRON CHOPPER ARRAYS Alternate Text
Category

Documents

Sciences formelles

A DIGITAL SYSTEM FOR SPEED AND PHASE CONTROL OF PHASED NEUTRON CHOPPER ARRAYS

Joint Research Centre

Book

34 pages

Flag

English

MODEL OF A STRATEGY FOR EUROPE S ENERGY SUPPLY BASED ON METHANE AS THE PRIME ENERGY CARRIER
Category

Documents

MODEL OF A STRATEGY FOR EUROPE'S ENERGY SUPPLY BASED ON METHANE AS THE PRIME ENERGY CARRIER

Joint Research Centre

MODEL OF A STRATEGY FOR EUROPE S ENERGY SUPPLY BASED ON METHANE AS THE PRIME ENERGY CARRIER Alternate Text
Category

Documents

Sciences formelles

MODEL OF A STRATEGY FOR EUROPE'S ENERGY SUPPLY BASED ON METHANE AS THE PRIME ENERGY CARRIER

Joint Research Centre

Book

38 pages

Flag

English

Securing Internet Payments - The potential of Public Key Cryptography, Public Key Infrastructure and Digital Signatures. Background Paper No. 6 Electronic Payment Systems Observatory (ePSO) January 2002
Category

Documents

Securing Internet Payments - The potential of Public Key Cryptography, Public Key Infrastructure and Digital Signatures. Background Paper No. 6 Electronic Payment Systems Observatory (ePSO) January 2002

Joint Research Centre

Securing Internet Payments - The potential of Public Key Cryptography, Public Key Infrastructure and Digital Signatures. Background Paper No. 6 Electronic Payment Systems Observatory (ePSO) January 2002 Alternate Text
Category

Documents

Sciences formelles

Securing Internet Payments - The potential of Public Key Cryptography, Public Key Infrastructure and Digital Signatures. Background Paper No. 6 Electronic Payment Systems Observatory (ePSO) January 2002

Joint Research Centre

Book

58 pages

Flag

English

On the Presence of Polychlorinated Organic Compounds in the Liao River and Yangtse River in Eastern China. Pilot-sampling campaign - Final report
Category

Documents

On the Presence of Polychlorinated Organic Compounds in the Liao River and Yangtse River in Eastern China. Pilot-sampling campaign - Final report

Joint Research Centre

On the Presence of Polychlorinated Organic Compounds in the Liao River and Yangtse River in Eastern China. Pilot-sampling campaign - Final report Alternate Text
Category

Documents

Sciences formelles

On the Presence of Polychlorinated Organic Compounds in the Liao River and Yangtse River in Eastern China. Pilot-sampling campaign - Final report

Joint Research Centre

Book

168 pages

Flag

English

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January - June 1979
Category

Documents

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January - June 1979

Joint Research Centre

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January - June 1979 Alternate Text
Category

Documents

Sciences formelles

Management of Nuclear Materials and Radioactive Waste. SUMMARY PROGRAMME PROGRESS REPORT January - June 1979

Joint Research Centre

Book

20 pages

Flag

English

Service and Support Activities. PROGRAM PROGRESS REPORT July - December 1979
Category

Documents

Service and Support Activities. PROGRAM PROGRESS REPORT July - December 1979

Joint Research Centre

Service and Support Activities. PROGRAM PROGRESS REPORT July - December 1979 Alternate Text
Category

Documents

Sciences formelles

Service and Support Activities. PROGRAM PROGRESS REPORT July - December 1979

Joint Research Centre

Book

40 pages

Flag

English

THE PRESSURIZED AND BOILING WATER LOOP OF THE TECHNOLOGY DIVISION AT ISPRA
Category

Documents

THE PRESSURIZED AND BOILING WATER LOOP OF THE TECHNOLOGY DIVISION AT ISPRA

Joint Research Centre

THE PRESSURIZED AND BOILING WATER LOOP OF THE TECHNOLOGY DIVISION AT ISPRA Alternate Text
Category

Documents

Sciences formelles

THE PRESSURIZED AND BOILING WATER LOOP OF THE TECHNOLOGY DIVISION AT ISPRA

Joint Research Centre

Book

42 pages

Flag

English

? ? R C ? HIGH TEMPERATURE REACTOR FOR CHEMICAL PURPOSES. An application for the steel-making industry
Category

Documents

? ? R C ? HIGH TEMPERATURE REACTOR FOR CHEMICAL PURPOSES. An application for the steel-making industry

Joint Research Centre

? ? R C ? HIGH TEMPERATURE REACTOR FOR CHEMICAL PURPOSES. An application for the steel-making industry Alternate Text
Category

Documents

Sciences formelles

? ? R C ? HIGH TEMPERATURE REACTOR FOR CHEMICAL PURPOSES. An application for the steel-making industry

Joint Research Centre

Book

82 pages

Flag

English

Service and Support Activities. SUMMARY PROGRAMME PROGRESS REPORT July-December 1978
Category

Documents

Service and Support Activities. SUMMARY PROGRAMME PROGRESS REPORT July-December 1978

Joint Research Centre

Service and Support Activities. SUMMARY PROGRAMME PROGRESS REPORT July-December 1978 Alternate Text
Category

Documents

Sciences formelles

Service and Support Activities. SUMMARY PROGRAMME PROGRESS REPORT July-December 1978

Joint Research Centre

Book

36 pages

Flag

English

Investigators  final report. Volume 2 Proceedings of the SAR-580 investigators  workshop
Category

Documents

Investigators' final report. Volume 2 Proceedings of the SAR-580 investigators' workshop

Joint Research Centre

Investigators  final report. Volume 2 Proceedings of the SAR-580 investigators  workshop Alternate Text
Category

Documents

Sciences formelles

Investigators' final report. Volume 2 Proceedings of the SAR-580 investigators' workshop

Joint Research Centre

Book

618 pages

Flag

English

Second technical meeting on the nuclear transmutation of actinides. PROCEEDINGS Ispra, Italy April 21-24, 1980
Category

Documents

Second technical meeting on the nuclear transmutation of actinides. PROCEEDINGS Ispra, Italy April 21-24, 1980

Joint Research Centre

Second technical meeting on the nuclear transmutation of actinides. PROCEEDINGS Ispra, Italy April 21-24, 1980 Alternate Text
Category

Documents

Sciences formelles

Second technical meeting on the nuclear transmutation of actinides. PROCEEDINGS Ispra, Italy April 21-24, 1980

Joint Research Centre

Book

542 pages

Flag

English

Prediction for the high-level alpha-active waste to be generated by nuclear power stations in the Member States of the European Communities
Category

Documents

Prediction for the high-level alpha-active waste to be generated by nuclear power stations in the Member States of the European Communities

Joint Research Centre

Prediction for the high-level alpha-active waste to be generated by nuclear power stations in the Member States of the European Communities Alternate Text
Category

Documents

Sciences formelles

Prediction for the high-level alpha-active waste to be generated by nuclear power stations in the Member States of the European Communities

Joint Research Centre

Book

28 pages

Flag

English

SOME CHEMICAL PROCEDURES FOR THE RADIOLOGICAL MONITORING OF THE ENVIRONMENT
Category

Documents

SOME CHEMICAL PROCEDURES FOR THE RADIOLOGICAL MONITORING OF THE ENVIRONMENT

Joint Research Centre

SOME CHEMICAL PROCEDURES FOR THE RADIOLOGICAL MONITORING OF THE ENVIRONMENT Alternate Text
Category

Documents

Sciences formelles

SOME CHEMICAL PROCEDURES FOR THE RADIOLOGICAL MONITORING OF THE ENVIRONMENT

Joint Research Centre

Book

64 pages

Flag

English

Thermonuclear Fusion Technology. PROGRAMME PROGRESS REPORT January - June 1979
Category

Documents

Thermonuclear Fusion Technology. PROGRAMME PROGRESS REPORT January - June 1979

Joint Research Centre

Thermonuclear Fusion Technology. PROGRAMME PROGRESS REPORT January - June 1979 Alternate Text
Category

Documents

Sciences formelles

Thermonuclear Fusion Technology. PROGRAMME PROGRESS REPORT January - June 1979

Joint Research Centre

Book

44 pages

Flag

English

Thermonuclear Fusion Technology. SUMMARY PROGRAMME PROGRESS REPORT January -June 1979
Category

Documents

Thermonuclear Fusion Technology. SUMMARY PROGRAMME PROGRESS REPORT January -June 1979

Joint Research Centre

Thermonuclear Fusion Technology. SUMMARY PROGRAMME PROGRESS REPORT January -June 1979 Alternate Text
Category

Documents

Sciences formelles

Thermonuclear Fusion Technology. SUMMARY PROGRAMME PROGRESS REPORT January -June 1979

Joint Research Centre

Book

16 pages

Flag

English

THE BEHAVIOUR OF STEELS IN ATMOSPHERES CONTAINING CO AND H2 AND THE EFFECT OF PRETREATMENT AND GASEOUS ADDITIVES
Category

Documents

THE BEHAVIOUR OF STEELS IN ATMOSPHERES CONTAINING CO AND H2 AND THE EFFECT OF PRETREATMENT AND GASEOUS ADDITIVES

Joint Research Centre

THE BEHAVIOUR OF STEELS IN ATMOSPHERES CONTAINING CO AND H2 AND THE EFFECT OF PRETREATMENT AND GASEOUS ADDITIVES Alternate Text
Category

Documents

Sciences formelles

THE BEHAVIOUR OF STEELS IN ATMOSPHERES CONTAINING CO AND H2 AND THE EFFECT OF PRETREATMENT AND GASEOUS ADDITIVES

Joint Research Centre

Book

32 pages

Flag

English

RTD Evaluation Toolbox. Assessing the Socio-Economic Impact of RTD-Policies
Category

Documents

RTD Evaluation Toolbox. Assessing the Socio-Economic Impact of RTD-Policies

Joint Research Centre

RTD Evaluation Toolbox. Assessing the Socio-Economic Impact of RTD-Policies Alternate Text
Category

Documents

Sciences formelles

RTD Evaluation Toolbox. Assessing the Socio-Economic Impact of RTD-Policies

Joint Research Centre

Book

298 pages

Flag

English

Alternate Text