Sciences formelles

Alternate Text

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
Evaluation of the economic effects of the programmes EURAM, BRITE and BRITE-EURAM I.
Category

Documents

Evaluation of the economic effects of the programmes EURAM, BRITE and BRITE-EURAM I.

Directorate-General For Research And Innovation European Commission

Evaluation of the economic effects of the programmes EURAM, BRITE and BRITE-EURAM I. Alternate Text
Category

Documents

Sciences formelles

Evaluation of the economic effects of the programmes EURAM, BRITE and BRITE-EURAM I.

Directorate-General For Research And Innovation European Commission

Book

112 pages

Flag

English

icon play Lire
icon play Infos
Study and development of multi-nozzle oxygen lances for use in vacuum conditions in the VOD process
Category

Documents

Study and development of multi-nozzle oxygen lances for use in vacuum conditions in the VOD process

Directorate-General For Research And Innovation European Commission

Study and development of multi-nozzle oxygen lances for use in vacuum conditions in the VOD process Alternate Text
Category

Documents

Sciences formelles

Study and development of multi-nozzle oxygen lances for use in vacuum conditions in the VOD process

Directorate-General For Research And Innovation European Commission

Book

72 pages

Flag

English

icon play Lire
icon play Infos
Quantitative description of the gas flow pattern in the blast furnace throat area
Category

Documents

Quantitative description of the gas flow pattern in the blast furnace throat area

Directorate-General For Research And Innovation European Commission

Quantitative description of the gas flow pattern in the blast furnace throat area Alternate Text
Category

Documents

Sciences formelles

Quantitative description of the gas flow pattern in the blast furnace throat area

Directorate-General For Research And Innovation European Commission

Book

110 pages

Flag

English

icon play Lire
icon play Infos
Activity report of the COST ad hoc Technical Committee on Materials 1993-96
Category

Documents

Activity report of the COST ad hoc Technical Committee on Materials 1993-96

Directorate-General For Research And Innovation European Commission

Activity report of the COST ad hoc Technical Committee on Materials 1993-96 Alternate Text
Category

Documents

Sciences formelles

Activity report of the COST ad hoc Technical Committee on Materials 1993-96

Directorate-General For Research And Innovation European Commission

Book

52 pages

Flag

English

icon play Lire
icon play Infos
A pilot plant for steel strip coating by radial jet electrolysis at high current densities
Category

Documents

A pilot plant for steel strip coating by radial jet electrolysis at high current densities

Directorate-General For Research And Innovation European Commission

A pilot plant for steel strip coating by radial jet electrolysis at high current densities Alternate Text
Category

Documents

Sciences formelles

A pilot plant for steel strip coating by radial jet electrolysis at high current densities

Directorate-General For Research And Innovation European Commission

Book

44 pages

Flag

English

icon play Lire
icon play Infos
Fundamental studies related to the mechanisms of inclusion removal from steel
Category

Documents

Fundamental studies related to the mechanisms of inclusion removal from steel

Directorate-General For Research And Innovation European Commission

Fundamental studies related to the mechanisms of inclusion removal from steel Alternate Text
Category

Documents

Sciences formelles

Fundamental studies related to the mechanisms of inclusion removal from steel

Directorate-General For Research And Innovation European Commission

Book

206 pages

Flag

English

icon play Lire
icon play Infos
Study of the phenomenon of cracking during stress relief heat treatments in welded joints of quenched and tempered high-strength steels
Category

Documents

Study of the phenomenon of cracking during stress relief heat treatments in welded joints of quenched and tempered high-strength steels

Directorate-General For Research And Innovation European Commission

Study of the phenomenon of cracking during stress relief heat treatments in welded joints of quenched and tempered high-strength steels Alternate Text
Category

Documents

Sciences formelles

Study of the phenomenon of cracking during stress relief heat treatments in welded joints of quenched and tempered high-strength steels

Directorate-General For Research And Innovation European Commission

Book

100 pages

Flag

English

icon play Lire
icon play Infos
Production and properties of electrolytically deposited novel alloy coatings on steel
Category

Documents

Production and properties of electrolytically deposited novel alloy coatings on steel

Directorate-General For Research And Innovation European Commission

Production and properties of electrolytically deposited novel alloy coatings on steel Alternate Text
Category

Documents

Sciences formelles

Production and properties of electrolytically deposited novel alloy coatings on steel

Directorate-General For Research And Innovation European Commission

Book

114 pages

Flag

English

icon play Lire
icon play Infos
Tutorial MATLAB : Geometric Algebra
Category

Documents

Tutorial MATLAB : Geometric Algebra

Tutorial MATLAB : Geometric Algebra Alternate Text
Category

Documents

Sciences formelles

Tutorial MATLAB : Geometric Algebra

Book

59 pages

Flag

English

icon play Lire
icon play Infos
Developing a new protocol for the monitoring of lead in drinking water, contract SMT4-CT96-2112
Category

Documents

Developing a new protocol for the monitoring of lead in drinking water, contract SMT4-CT96-2112

Directorate-General For Research And Innovation European Commission

Developing a new protocol for the monitoring of lead in drinking water, contract SMT4-CT96-2112 Alternate Text
Category

Documents

Sciences formelles

Developing a new protocol for the monitoring of lead in drinking water, contract SMT4-CT96-2112

Directorate-General For Research And Innovation European Commission

Book

158 pages

Flag

English

icon play Lire
icon play Infos
The certification of the ash content and of the gross calorific value of three coalsGas coal CRM 180Coking coal CRM 181Steam coal CRM 182
Category

Documents

The certification of the ash content and of the gross calorific value of three coalsGas coal CRM 180Coking coal CRM 181Steam coal CRM 182

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

The certification of the ash content and of the gross calorific value of three coalsGas coal CRM 180Coking coal CRM 181Steam coal CRM 182 Alternate Text
Category

Documents

Sciences formelles

The certification of the ash content and of the gross calorific value of three coalsGas coal CRM 180Coking coal CRM 181Steam coal CRM 182

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

40 pages

Flag

English

icon play Lire
icon play Infos
A laboratory investigation into the interaction of recrystallization and radiation damage effects in polycrystalline salt rocks
Category

Documents

A laboratory investigation into the interaction of recrystallization and radiation damage effects in polycrystalline salt rocks

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

A laboratory investigation into the interaction of recrystallization and radiation damage effects in polycrystalline salt rocks Alternate Text
Category

Documents

Sciences formelles

A laboratory investigation into the interaction of recrystallization and radiation damage effects in polycrystalline salt rocks

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

136 pages

Flag

English

icon play Lire
icon play Infos
Certification report for a pyrex glass reference material for thermal conductivity between -75°C and 195°CCRM 039
Category

Documents

Certification report for a pyrex glass reference material for thermal conductivity between -75°C and 195°CCRM 039

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Certification report for a pyrex glass reference material for thermal conductivity between -75°C and 195°CCRM 039 Alternate Text
Category

Documents

Sciences formelles

Certification report for a pyrex glass reference material for thermal conductivity between -75°C and 195°CCRM 039

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

96 pages

Flag

English

icon play Lire
icon play Infos
The development of computer-aided design methods for steel-framed composite floored multi-storey buildings
Category

Documents

The development of computer-aided design methods for steel-framed composite floored multi-storey buildings

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

The development of computer-aided design methods for steel-framed composite floored multi-storey buildings Alternate Text
Category

Documents

Sciences formelles

The development of computer-aided design methods for steel-framed composite floored multi-storey buildings

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

280 pages

Flag

English

icon play Lire
icon play Infos
Techno-economic modelling of coal conversion process for liquid fuel production
Category

Documents

Techno-economic modelling of coal conversion process for liquid fuel production

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Techno-economic modelling of coal conversion process for liquid fuel production Alternate Text
Category

Documents

Sciences formelles

Techno-economic modelling of coal conversion process for liquid fuel production

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

416 pages

Flag

English

icon play Lire
icon play Infos
An appreciation of the events, models and data used for LMFBR radiological source term estimations
Category

Documents

An appreciation of the events, models and data used for LMFBR radiological source term estimations

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

An appreciation of the events, models and data used for LMFBR radiological source term estimations Alternate Text
Category

Documents

Sciences formelles

An appreciation of the events, models and data used for LMFBR radiological source term estimations

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

100 pages

Flag

English

icon play Lire
icon play Infos
Practical design tools for unprotected steel columns submitted to Iso-fire - Refao-III
Category

Documents

Practical design tools for unprotected steel columns submitted to Iso-fire - Refao-III

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Practical design tools for unprotected steel columns submitted to Iso-fire - Refao-III Alternate Text
Category

Documents

Sciences formelles

Practical design tools for unprotected steel columns submitted to Iso-fire - Refao-III

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

322 pages

Flag

English

icon play Lire
icon play Infos
LMFBR safety criteria and guidelines for consideration in the design of future plants
Category

Documents

LMFBR safety criteria and guidelines for consideration in the design of future plants

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

LMFBR safety criteria and guidelines for consideration in the design of future plants Alternate Text
Category

Documents

Sciences formelles

LMFBR safety criteria and guidelines for consideration in the design of future plants

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

56 pages

Flag

English

icon play Lire
icon play Infos
Development and production of electrode-diaphragm-electrode units - EDE - for cost reduction in alkaline water electrolysis
Category

Documents

Development and production of electrode-diaphragm-electrode units - EDE - for cost reduction in alkaline water electrolysis

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Development and production of electrode-diaphragm-electrode units - EDE - for cost reduction in alkaline water electrolysis Alternate Text
Category

Documents

Sciences formelles

Development and production of electrode-diaphragm-electrode units - EDE - for cost reduction in alkaline water electrolysis

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

44 pages

Flag

English

icon play Lire
icon play Infos
Calculation of groundwater flow and particle tracking for the Gorleben site with Metropol
Category

Documents

Calculation of groundwater flow and particle tracking for the Gorleben site with Metropol

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Calculation of groundwater flow and particle tracking for the Gorleben site with Metropol Alternate Text
Category

Documents

Sciences formelles

Calculation of groundwater flow and particle tracking for the Gorleben site with Metropol

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

92 pages

Flag

English

icon play Lire
icon play Infos
The development of selective work roll coolant control for improved shape and profile control in hot rolling
Category

Documents

The development of selective work roll coolant control for improved shape and profile control in hot rolling

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

The development of selective work roll coolant control for improved shape and profile control in hot rolling Alternate Text
Category

Documents

Sciences formelles

The development of selective work roll coolant control for improved shape and profile control in hot rolling

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

56 pages

Flag

English

icon play Lire
icon play Infos
Investigation to decrease the influence of measuring equipment and data processing on the results of automated tensile testing
Category

Documents

Investigation to decrease the influence of measuring equipment and data processing on the results of automated tensile testing

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Investigation to decrease the influence of measuring equipment and data processing on the results of automated tensile testing Alternate Text
Category

Documents

Sciences formelles

Investigation to decrease the influence of measuring equipment and data processing on the results of automated tensile testing

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

248 pages

Flag

English

icon play Lire
icon play Infos
Development of techniques for the determination of the platinum-group elements in ultramafic rock complexes of potential economic significance
Category

Documents

Development of techniques for the determination of the platinum-group elements in ultramafic rock complexes of potential economic significance

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Development of techniques for the determination of the platinum-group elements in ultramafic rock complexes of potential economic significance Alternate Text
Category

Documents

Sciences formelles

Development of techniques for the determination of the platinum-group elements in ultramafic rock complexes of potential economic significance

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

176 pages

Flag

English

icon play Lire
icon play Infos
Certification of a plutonium dioxide reference material for elemental analyses (EC-NRM 210)
Category

Documents

Certification of a plutonium dioxide reference material for elemental analyses (EC-NRM 210)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Certification of a plutonium dioxide reference material for elemental analyses (EC-NRM 210) Alternate Text
Category

Documents

Sciences formelles

Certification of a plutonium dioxide reference material for elemental analyses (EC-NRM 210)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

44 pages

Flag

English

icon play Lire
icon play Infos
Certification of an aluminium metal reference material for neutron dosimetry (EC nuclear reference material 523)
Category

Documents

Certification of an aluminium metal reference material for neutron dosimetry (EC nuclear reference material 523)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Certification of an aluminium metal reference material for neutron dosimetry (EC nuclear reference material 523) Alternate Text
Category

Documents

Sciences formelles

Certification of an aluminium metal reference material for neutron dosimetry (EC nuclear reference material 523)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

26 pages

Flag

English

icon play Lire
icon play Infos
Investigation of the stability of the spectral responsivity of silicon photodiodes
Category

Documents

Investigation of the stability of the spectral responsivity of silicon photodiodes

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Investigation of the stability of the spectral responsivity of silicon photodiodes Alternate Text
Category

Documents

Sciences formelles

Investigation of the stability of the spectral responsivity of silicon photodiodes

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

76 pages

Flag

English

icon play Lire
icon play Infos
The certification of the oil, moisture and volatiles content (mass fraction) in three rapeseeds (colza)
Category

Documents

The certification of the oil, moisture and volatiles content (mass fraction) in three rapeseeds (colza)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

The certification of the oil, moisture and volatiles content (mass fraction) in three rapeseeds (colza) Alternate Text
Category

Documents

Sciences formelles

The certification of the oil, moisture and volatiles content (mass fraction) in three rapeseeds (colza)

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

72 pages

Flag

English

icon play Lire
icon play Infos
The certification of the second reference material for rabbit thromboplastinCRM 149R
Category

Documents

The certification of the second reference material for rabbit thromboplastinCRM 149R

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

The certification of the second reference material for rabbit thromboplastinCRM 149R Alternate Text
Category

Documents

Sciences formelles

The certification of the second reference material for rabbit thromboplastinCRM 149R

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

76 pages

Flag

English

icon play Lire
icon play Infos
Evaluation of anti-knock quality of gasolines by the "energetic criterion"
Category

Documents

Evaluation of anti-knock quality of gasolines by the "energetic criterion"

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Evaluation of anti-knock quality of gasolines by the "energetic criterion" Alternate Text
Category

Documents

Sciences formelles

Evaluation of anti-knock quality of gasolines by the "energetic criterion"

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

80 pages

Flag

English

icon play Lire
icon play Infos
Influence of the degree and mode of forming strain on the cyclic stress-strain and strain-life behaviour of high-strength sheet gauge formable steels
Category

Documents

Influence of the degree and mode of forming strain on the cyclic stress-strain and strain-life behaviour of high-strength sheet gauge formable steels

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Influence of the degree and mode of forming strain on the cyclic stress-strain and strain-life behaviour of high-strength sheet gauge formable steels Alternate Text
Category

Documents

Sciences formelles

Influence of the degree and mode of forming strain on the cyclic stress-strain and strain-life behaviour of high-strength sheet gauge formable steels

European Commission Directorate-General For The Information Society And Media Directorate-General For Research And Innovation

Book

132 pages

Flag

English

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text