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
Development of multi-residue methods for pesticides in dry and dried foodstuffs using solvent or supercritical fluid extraction and GC detection
Category

Documents

Development of multi-residue methods for pesticides in dry and dried foodstuffs using solvent or supercritical fluid extraction and GC detection

Directorate-General For Research And Innovation European Commission

Development of multi-residue methods for pesticides in dry and dried foodstuffs using solvent or supercritical fluid extraction and GC detection Alternate Text
Category

Documents

Sciences formelles

Development of multi-residue methods for pesticides in dry and dried foodstuffs using solvent or supercritical fluid extraction and GC detection

Directorate-General For Research And Innovation European Commission

Book

130 pages

Flag

English

Enhancement of ECCS design recommendations and development of Eurocode 3 parts related to shell buckling
Category

Documents

Enhancement of ECCS design recommendations and development of Eurocode 3 parts related to shell buckling

Directorate-General For Research And Innovation European Commission

Enhancement of ECCS design recommendations and development of Eurocode 3 parts related to shell buckling Alternate Text
Category

Documents

Sciences formelles

Enhancement of ECCS design recommendations and development of Eurocode 3 parts related to shell buckling

Directorate-General For Research And Innovation European Commission

Book

252 pages

Flag

English

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

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

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

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

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

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

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

A guide to the control of high temperature corrosion and protection of gas turbine materials
Category

Documents

A guide to the control of high temperature corrosion and protection of gas turbine materials

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

A guide to the control of high temperature corrosion and protection of gas turbine materials Alternate Text
Category

Documents

Sciences formelles

A guide to the control of high temperature corrosion and protection of gas turbine materials

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

Book

128 pages

Flag

English

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

Certification of the contents (mass fraction) of organochlorine pesticides (HCB, ?-HCH, ?-HCH, ?-HCH, ?-heptachlor epoxide, p,p -DDE, dieldrin, endrin and p,p -DDT) in pork fatCRM 430
Category

Documents

Certification of the contents (mass fraction) of organochlorine pesticides (HCB, ?-HCH, ?-HCH, ?-HCH, ?-heptachlor epoxide, p,p'-DDE, dieldrin, endrin and p,p'-DDT) in pork fatCRM 430

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

Certification of the contents (mass fraction) of organochlorine pesticides (HCB, ?-HCH, ?-HCH, ?-HCH, ?-heptachlor epoxide, p,p -DDE, dieldrin, endrin and p,p -DDT) in pork fatCRM 430 Alternate Text
Category

Documents

Sciences formelles

Certification of the contents (mass fraction) of organochlorine pesticides (HCB, ?-HCH, ?-HCH, ?-HCH, ?-heptachlor epoxide, p,p'-DDE, dieldrin, endrin and p,p'-DDT) in pork fatCRM 430

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

Book

56 pages

Flag

English

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

Statistical analysis of certification trials for microbiological reference materials
Category

Documents

Statistical analysis of certification trials for microbiological reference materials

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

Statistical analysis of certification trials for microbiological reference materials Alternate Text
Category

Documents

Sciences formelles

Statistical analysis of certification trials for microbiological reference materials

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

Book

49 pages

Flag

中文

Certification of polyester fibreboards as reference materials for the measurement of thermal resistanceCRM 124
Category

Documents

Certification of polyester fibreboards as reference materials for the measurement of thermal resistanceCRM 124

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

Certification of polyester fibreboards as reference materials for the measurement of thermal resistanceCRM 124 Alternate Text
Category

Documents

Sciences formelles

Certification of polyester fibreboards as reference materials for the measurement of thermal resistanceCRM 124

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

Book

184 pages

Flag

English

Evaluation of the onset of tertiary creep for types 304 and 316 stainless steels
Category

Documents

Evaluation of the onset of tertiary creep for types 304 and 316 stainless steels

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

Evaluation of the onset of tertiary creep for types 304 and 316 stainless steels Alternate Text
Category

Documents

Sciences formelles

Evaluation of the onset of tertiary creep for types 304 and 316 stainless steels

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

Book

56 pages

Flag

English

Development of in-process measurement techniques for optical quality and position of elements in small integrated optical systems
Category

Documents

Development of in-process measurement techniques for optical quality and position of elements in small integrated optical systems

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

Development of in-process measurement techniques for optical quality and position of elements in small integrated optical systems Alternate Text
Category

Documents

Sciences formelles

Development of in-process measurement techniques for optical quality and position of elements in small integrated optical systems

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

Book

124 pages

Flag

English

The certification of the total contents (mass fractions) of Cd, Co, Cu, Pb, Mn, Hg and Ni and the aqua regia soluble contents (mass fractions) of Cd, Pb, Ni and Zn in a light sandy soil
Category

Documents

The certification of the total contents (mass fractions) of Cd, Co, Cu, Pb, Mn, Hg and Ni and the aqua regia soluble contents (mass fractions) of Cd, Pb, Ni and Zn in a light sandy soil

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

The certification of the total contents (mass fractions) of Cd, Co, Cu, Pb, Mn, Hg and Ni and the aqua regia soluble contents (mass fractions) of Cd, Pb, Ni and Zn in a light sandy soil Alternate Text
Category

Documents

Sciences formelles

The certification of the total contents (mass fractions) of Cd, Co, Cu, Pb, Mn, Hg and Ni and the aqua regia soluble contents (mass fractions) of Cd, Pb, Ni and Zn in a light sandy soil

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

Book

74 pages

Flag

English

The certification of the contents (mass fractions) of As, Cd, Cu, Fe, Hg, I, Mn, Pb, Se and Zn in Cod Muscle
Category

Documents

The certification of the contents (mass fractions) of As, Cd, Cu, Fe, Hg, I, Mn, Pb, Se and Zn in Cod Muscle

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

The certification of the contents (mass fractions) of As, Cd, Cu, Fe, Hg, I, Mn, Pb, Se and Zn in Cod Muscle Alternate Text
Category

Documents

Sciences formelles

The certification of the contents (mass fractions) of As, Cd, Cu, Fe, Hg, I, Mn, Pb, Se and Zn in Cod Muscle

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

Book

78 pages

Flag

English

The certification of the number concentration of colony forming particles of enerococcus faecium from artificially contaminated milk powder
Category

Documents

The certification of the number concentration of colony forming particles of enerococcus faecium from artificially contaminated milk powder

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

The certification of the number concentration of colony forming particles of enerococcus faecium from artificially contaminated milk powder Alternate Text
Category

Documents

Sciences formelles

The certification of the number concentration of colony forming particles of enerococcus faecium from artificially contaminated milk powder

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

Book

84 pages

Flag

English

Programme of the fith international conference on progress in analytical chemistry in the steel and metals industries, 12 to 14 May 1998, Luxembourg
Category

Documents

Programme of the fith international conference on progress in analytical chemistry in the steel and metals industries, 12 to 14 May 1998, Luxembourg

European Commission Directorate-General Human Resources And Security Directorate-General For Research And Innovation

Programme of the fith international conference on progress in analytical chemistry in the steel and metals industries, 12 to 14 May 1998, Luxembourg Alternate Text
Category

Documents

Sciences formelles

Programme of the fith international conference on progress in analytical chemistry in the steel and metals industries, 12 to 14 May 1998, Luxembourg

European Commission Directorate-General Human Resources And Security Directorate-General For Research And Innovation

Book

24 pages

Flag

English

The demonstration of improved cyclonic particulate removal equipment for use with coal-fired industrial boiler plant
Category

Documents

The demonstration of improved cyclonic particulate removal equipment for use with coal-fired industrial boiler plant

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

The demonstration of improved cyclonic particulate removal equipment for use with coal-fired industrial boiler plant Alternate Text
Category

Documents

Sciences formelles

The demonstration of improved cyclonic particulate removal equipment for use with coal-fired industrial boiler plant

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Book

80 pages

Flag

English

Demonstration plant to gasify brown coal according to the high-temperature Winkler process
Category

Documents

Demonstration plant to gasify brown coal according to the high-temperature Winkler process

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Demonstration plant to gasify brown coal according to the high-temperature Winkler process Alternate Text
Category

Documents

Sciences formelles

Demonstration plant to gasify brown coal according to the high-temperature Winkler process

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Book

72 pages

Flag

English

96 solar houses coupled to a seasonal heat store, in Groningen, The Netherlands
Category

Documents

96 solar houses coupled to a seasonal heat store, in Groningen, The Netherlands

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

96 solar houses coupled to a seasonal heat store, in Groningen, The Netherlands Alternate Text
Category

Documents

Sciences formelles

96 solar houses coupled to a seasonal heat store, in Groningen, The Netherlands

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Book

118 pages

Flag

English

Passive use of solar energy in 18 terrace houses "Am Lindenwäldle" Freiburg im Breisgau 1985-1987
Category

Documents

Passive use of solar energy in 18 terrace houses "Am Lindenwäldle" Freiburg im Breisgau 1985-1987

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Passive use of solar energy in 18 terrace houses "Am Lindenwäldle" Freiburg im Breisgau 1985-1987 Alternate Text
Category

Documents

Sciences formelles

Passive use of solar energy in 18 terrace houses "Am Lindenwäldle" Freiburg im Breisgau 1985-1987

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Book

208 pages

Flag

English

Synoptic report on ECSC research in the field of coking technology (between 1979 and 1990)
Category

Documents

Synoptic report on ECSC research in the field of coking technology (between 1979 and 1990)

Directorate-General For The Information Society And Media European Commission Directorate-General For Energy

Synoptic report on ECSC research in the field of coking technology (between 1979 and 1990) Alternate Text
Category

Documents

Sciences formelles

Synoptic report on ECSC research in the field of coking technology (between 1979 and 1990)

Directorate-General For The Information Society And Media European Commission Directorate-General For Energy

Book

166 pages

Flag

English

Nuclear Installations in the Countries of the European Atomic Energy Community
Category

Documents

Nuclear Installations in the Countries of the European Atomic Energy Community

Directorate-General For Energy

Nuclear Installations in the Countries of the European Atomic Energy Community Alternate Text
Category

Documents

Sciences formelles

Nuclear Installations in the Countries of the European Atomic Energy Community

Directorate-General For Energy

Book

94 pages

Flag

English

The use of semi-open refrigeration cycle for crystallization from aqueous solution
Category

Documents

The use of semi-open refrigeration cycle for crystallization from aqueous solution

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

The use of semi-open refrigeration cycle for crystallization from aqueous solution Alternate Text
Category

Documents

Sciences formelles

The use of semi-open refrigeration cycle for crystallization from aqueous solution

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

Book

124 pages

Flag

English

The effect of organics on the sorption of cobalt by glacial sand in laboratory batch experiments
Category

Documents

The effect of organics on the sorption of cobalt by glacial sand in laboratory batch experiments

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

The effect of organics on the sorption of cobalt by glacial sand in laboratory batch experiments Alternate Text
Category

Documents

Sciences formelles

The effect of organics on the sorption of cobalt by glacial sand in laboratory batch experiments

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

Book

36 pages

Flag

English

Pascal, rhétoricien de la géométrie - article ; n°1 ; vol.40, pg 251-271
Category

Documents

Pascal, rhétoricien de la géométrie - article ; n°1 ; vol.40, pg 251-271

M. Dominiquedescotes

Pascal, rhétoricien de la géométrie - article ; n°1 ; vol.40, pg 251-271 Alternate Text
Category

Documents

Sciences formelles

Pascal, rhétoricien de la géométrie - article ; n°1 ; vol.40, pg 251-271

M. Dominiquedescotes

Book

22 pages

Flag

Français

Alternate Text