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
Uma amostra de patentes propriedade da Comunidade
Category

Documents

Uma amostra de patentes propriedade da Comunidade

European Commission Directorate-General For The Information Society And Media

Uma amostra de patentes propriedade da Comunidade Alternate Text
Category

Documents

Sciences formelles

Uma amostra de patentes propriedade da Comunidade

European Commission Directorate-General For The Information Society And Media

Book

384 pages

Flag

English

icon play Lire
icon play Infos
Research on pressure vessels and choice of materials
Category

Documents

Research on pressure vessels and choice of materials

Directorate-General For Translation European Commission

Research on pressure vessels and choice of materials Alternate Text
Category

Documents

Sciences formelles

Research on pressure vessels and choice of materials

Directorate-General For Translation European Commission

Book

36 pages

Flag

English

icon play Lire
icon play Infos
Development of a new mould powder for continuous casting
Category

Documents

Development of a new mould powder for continuous casting

Directorate-General For Translation European Commission

Development of a new mould powder for continuous casting Alternate Text
Category

Documents

Sciences formelles

Development of a new mould powder for continuous casting

Directorate-General For Translation European Commission

Book

92 pages

Flag

English

icon play Lire
icon play Infos
Méthode statistique de contrôle de l application d une procédure analytique pour l analyse des aciers et des fontes
Category

Documents

Méthode statistique de contrôle de l'application d'une procédure analytique pour l'analyse des aciers et des fontes

Directorate-General For Translation European Commission

Méthode statistique de contrôle de l application d une procédure analytique pour l analyse des aciers et des fontes Alternate Text
Category

Documents

Sciences formelles

Méthode statistique de contrôle de l'application d'une procédure analytique pour l'analyse des aciers et des fontes

Directorate-General For Translation European Commission

Book

6 pages

Flag

Français

icon play Lire
icon play Infos
CORDIS focus
Category

Documents

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

Book

24 pages

Flag

Français

icon play Lire
icon play Infos
Sant Cugat geothermal project
Category

Documents

Sant Cugat geothermal project

Directorate-General For Translation European Commission

Sant Cugat geothermal project Alternate Text
Category

Documents

Sciences formelles

Sant Cugat geothermal project

Directorate-General For Translation European Commission

Book

138 pages

Flag

English

icon play Lire
icon play Infos
Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons
Category

Documents

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons

Directorate-General For Translation European Commission

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons Alternate Text
Category

Documents

Sciences formelles

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons

Directorate-General For Translation European Commission

Book

74 pages

Flag

English

icon play Lire
icon play Infos
Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal
Category

Documents

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal

Directorate-General For Translation European Commission

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal Alternate Text
Category

Documents

Sciences formelles

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal

Directorate-General For Translation European Commission

Book

144 pages

Flag

English

icon play Lire
icon play Infos
Modelling of particle growth and application to the carbide evolution in special steels for high temperature service
Category

Documents

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service

Directorate-General For Research And Innovation European Commission

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service Alternate Text
Category

Documents

Sciences formelles

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service

Directorate-General For Research And Innovation European Commission

Book

192 pages

Flag

English

icon play Lire
icon play Infos
Radioactive waste management and storage
Category

Documents

Radioactive waste management and storage

Directorate-General For Translation European Commission

Radioactive waste management and storage Alternate Text
Category

Documents

Sciences formelles

Radioactive waste management and storage

Directorate-General For Translation European Commission

Book

100 pages

Flag

English

icon play Lire
icon play Infos
Electrochemical methods for steel surface characterisation, Irsid, Maizières-les-Metz, 29 and 30 October 1997
Category

Documents

Electrochemical methods for steel surface characterisation, Irsid, Maizières-les-Metz, 29 and 30 October 1997

Directorate-General For Research And Innovation European Commission

Electrochemical methods for steel surface characterisation, Irsid, Maizières-les-Metz, 29 and 30 October 1997 Alternate Text
Category

Documents

Sciences formelles

Electrochemical methods for steel surface characterisation, Irsid, Maizières-les-Metz, 29 and 30 October 1997

Directorate-General For Research And Innovation European Commission

Book

238 pages

Flag

English

icon play Lire
icon play Infos
ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l ACIER. Mai 1975
Category

Documents

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975

Directorate-General For Translation European Commission

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l ACIER. Mai 1975 Alternate Text
Category

Documents

Sciences formelles

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975

Directorate-General For Translation European Commission

Book

8 pages

Flag

Français

icon play Lire
icon play Infos
CORDIS focus
Category

Documents

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

Book

28 pages

Flag

Français

icon play Lire
icon play Infos
Achievements of the European Community first energy R&D programme
Category

Documents

Achievements of the European Community first energy R&D programme

Directorate-General For Translation European Commission

Achievements of the European Community first energy R&D programme Alternate Text
Category

Documents

Sciences formelles

Achievements of the European Community first energy R&D programme

Directorate-General For Translation European Commission

Book

52 pages

Flag

English

icon play Lire
icon play Infos
The competitive threat to fixed steel platforms
Category

Documents

The competitive threat to fixed steel platforms

European Commission Directorate-General For Research And Innovation

The competitive threat to fixed steel platforms Alternate Text
Category

Documents

Sciences formelles

The competitive threat to fixed steel platforms

European Commission Directorate-General For Research And Innovation

Book

194 pages

Flag

English

icon play Lire
icon play Infos
Development of GD-OES based systems for rapid and quantitative analysis of the surface state of steel products and components
Category

Documents

Development of GD-OES based systems for rapid and quantitative analysis of the surface state of steel products and components

Directorate-General For Research And Innovation European Commission

Development of GD-OES based systems for rapid and quantitative analysis of the surface state of steel products and components Alternate Text
Category

Documents

Sciences formelles

Development of GD-OES based systems for rapid and quantitative analysis of the surface state of steel products and components

Directorate-General For Research And Innovation European Commission

Book

82 pages

Flag

English

icon play Lire
icon play Infos
Euronorm 106-84
Category

Documents

Euronorm 106-84

Directorate-General For Translation European Commission

Euronorm 106-84 Alternate Text
Category

Documents

Sciences formelles

Euronorm 106-84

Directorate-General For Translation European Commission

Book

8 pages

Flag

Français

icon play Lire
icon play Infos
Study of the bulging of continuously cast slabs
Category

Documents

Study of the bulging of continuously cast slabs

Directorate-General For Translation European Commission

Study of the bulging of continuously cast slabs Alternate Text
Category

Documents

Sciences formelles

Study of the bulging of continuously cast slabs

Directorate-General For Translation European Commission

Book

224 pages

Flag

English

icon play Lire
icon play Infos
Roughness transfer and wear in last stand of cold rolling mill
Category

Documents

Roughness transfer and wear in last stand of cold rolling mill

Directorate-General For Research And Innovation European Commission

Roughness transfer and wear in last stand of cold rolling mill Alternate Text
Category

Documents

Sciences formelles

Roughness transfer and wear in last stand of cold rolling mill

Directorate-General For Research And Innovation European Commission

Book

150 pages

Flag

English

icon play Lire
icon play Infos
Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes
Category

Documents

Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes

Directorate-General For Translation European Commission

Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes Alternate Text
Category

Documents

Sciences formelles

Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes

Directorate-General For Translation European Commission

Book

48 pages

Flag

Français

icon play Lire
icon play Infos
19ème rapport de l organe permanent pour la sécurité et la salubrité dans les mines de houille et les autres industries extractives
Category

Documents

19ème rapport de l'organe permanent pour la sécurité et la salubrité dans les mines de houille et les autres industries extractives

Directorate-General For Translation European Commission

19ème rapport de l organe permanent pour la sécurité et la salubrité dans les mines de houille et les autres industries extractives Alternate Text
Category

Documents

Sciences formelles

19ème rapport de l'organe permanent pour la sécurité et la salubrité dans les mines de houille et les autres industries extractives

Directorate-General For Translation European Commission

Book

170 pages

Flag

Français

icon play Lire
icon play Infos
Euronorm 57-78
Category

Documents

Euronorm 57-78

Directorate-General For Translation European Commission

Euronorm 57-78 Alternate Text
Category

Documents

Sciences formelles

Euronorm 57-78

Directorate-General For Translation European Commission

Book

4 pages

Flag

Français

icon play Lire
icon play Infos
Dix ans de pratique en géographie quantitative à travers le colloque de Besançon  - article ; n°511 ; vol.92, pg 257-267
Category

Documents

Dix ans de pratique en géographie quantitative à travers le colloque de Besançon - article ; n°511 ; vol.92, pg 257-267

Claude Condé, Jean-Philippe Massonie, Jean-Claude Wieber

Dix ans de pratique en géographie quantitative à travers le colloque de Besançon  - article ; n°511 ; vol.92, pg 257-267 Alternate Text
Category

Documents

Sciences formelles

Dix ans de pratique en géographie quantitative à travers le colloque de Besançon - article ; n°511 ; vol.92, pg 257-267

Claude Condé, Jean-Philippe Massonie, Jean-Claude Wieber

Book

12 pages

Flag

Français

icon play Lire
icon play Infos
Forces et faiblesses de l analyse quantitative - article ; n°453 ; vol.82, pg 545-556
Category

Documents

Forces et faiblesses de l'analyse quantitative - article ; n°453 ; vol.82, pg 545-556

C. Manzagol

Forces et faiblesses de l analyse quantitative - article ; n°453 ; vol.82, pg 545-556 Alternate Text
Category

Documents

Sciences formelles

Forces et faiblesses de l'analyse quantitative - article ; n°453 ; vol.82, pg 545-556

C. Manzagol

Book

13 pages

Flag

Français

icon play Lire
icon play Infos
La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334
Category

Documents

La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334

H. Baulig

La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334 Alternate Text
Category

Documents

Sciences formelles

La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334

H. Baulig

Book

11 pages

Flag

Français

icon play Lire
icon play Infos
Évolution des théories de la circulation atmosphérique générale - article ; n°348 ; vol.65, pg 81-97
Category

Documents

Évolution des théories de la circulation atmosphérique générale - article ; n°348 ; vol.65, pg 81-97

Pierre Birot

Évolution des théories de la circulation atmosphérique générale - article ; n°348 ; vol.65, pg 81-97 Alternate Text
Category

Documents

Sciences formelles

Évolution des théories de la circulation atmosphérique générale - article ; n°348 ; vol.65, pg 81-97

Pierre Birot

Book

18 pages

Flag

Français

icon play Lire
icon play Infos
Les complexes naturels et les méthodes actuelles de leur étude - article ; n°423 ; vol.77, pg 567-575
Category

Documents

Les complexes naturels et les méthodes actuelles de leur étude - article ; n°423 ; vol.77, pg 567-575

D. L.Armand, V. V.S.Preobraženskij, A. A.D.Armand

Les complexes naturels et les méthodes actuelles de leur étude - article ; n°423 ; vol.77, pg 567-575 Alternate Text
Category

Documents

Sciences formelles

Les complexes naturels et les méthodes actuelles de leur étude - article ; n°423 ; vol.77, pg 567-575

D. L.Armand, V. V.S.Preobraženskij, A. A.D.Armand

Book

10 pages

Flag

Français

icon play Lire
icon play Infos
Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104
Category

Documents

Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104

Patrice Paul

Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104 Alternate Text
Category

Documents

Sciences formelles

Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104

Patrice Paul

Book

3 pages

Flag

Français

icon play Lire
icon play Infos
La carte du substratum des alluvions fluvio-glaciaires du système Valloire-Rhône - article ; n°1 ; vol.52, pg 93-95
Category

Documents

La carte du substratum des alluvions fluvio-glaciaires du système Valloire-Rhône - article ; n°1 ; vol.52, pg 93-95

Pierre Mandier

La carte du substratum des alluvions fluvio-glaciaires du système Valloire-Rhône - article ; n°1 ; vol.52, pg 93-95 Alternate Text
Category

Documents

Sciences formelles

La carte du substratum des alluvions fluvio-glaciaires du système Valloire-Rhône - article ; n°1 ; vol.52, pg 93-95

Pierre Mandier

Book

6 pages

Flag

Français

icon play Lire
icon play Infos
Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37
Category

Documents

Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37

Jean Chassany

Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37 Alternate Text
Category

Documents

Sciences formelles

Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37

Jean Chassany

Book

6 pages

Flag

Français

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