La lecture à portée de main
Suivre sciences-formelles
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.
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.
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.
Documents
Uma amostra de patentes propriedade da Comunidade
European Commission Directorate-General For The Information Society And Media
Documents
Sciences formelles
Uma amostra de patentes propriedade da Comunidade
European Commission Directorate-General For The Information Society And Media
384 pages
English
Documents
Research on pressure vessels and choice of materials
Directorate-General For Translation European Commission
Documents
Sciences formelles
Research on pressure vessels and choice of materials
Directorate-General For Translation European Commission
36 pages
English
Documents
Development of a new mould powder for continuous casting
Directorate-General For Translation European Commission
Documents
Sciences formelles
Development of a new mould powder for continuous casting
Directorate-General For Translation European Commission
92 pages
English
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
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
6 pages
Français
Documents
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
Documents
Sciences formelles
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
24 pages
Français
Documents
Sant Cugat geothermal project
Directorate-General For Translation European Commission
Documents
Sciences formelles
Sant Cugat geothermal project
Directorate-General For Translation European Commission
138 pages
English
Documents
Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons
Directorate-General For Translation European Commission
Documents
Sciences formelles
Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons
Directorate-General For Translation European Commission
74 pages
English
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
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
144 pages
English
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
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
192 pages
English
Documents
Radioactive waste management and storage
Directorate-General For Translation European Commission
Documents
Sciences formelles
Radioactive waste management and storage
Directorate-General For Translation European Commission
100 pages
English
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
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
238 pages
English
Documents
ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975
Directorate-General For Translation European Commission
Documents
Sciences formelles
ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975
Directorate-General For Translation European Commission
8 pages
Français
Documents
CORDIS focus
European Commission Directorate-General For Enterprise And Industry
Documents
Sciences formelles
CORDIS focus
European Commission Directorate-General For Enterprise And Industry
28 pages
Français
Documents
Achievements of the European Community first energy R&D programme
Directorate-General For Translation European Commission
Documents
Sciences formelles
Achievements of the European Community first energy R&D programme
Directorate-General For Translation European Commission
52 pages
English
Documents
The competitive threat to fixed steel platforms
European Commission Directorate-General For Research And Innovation
Documents
Sciences formelles
The competitive threat to fixed steel platforms
European Commission Directorate-General For Research And Innovation
194 pages
English
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
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
82 pages
English
Documents
Euronorm 106-84
Directorate-General For Translation European Commission
Documents
Sciences formelles
Euronorm 106-84
Directorate-General For Translation European Commission
8 pages
Français
Documents
Study of the bulging of continuously cast slabs
Directorate-General For Translation European Commission
Documents
Sciences formelles
Study of the bulging of continuously cast slabs
Directorate-General For Translation European Commission
224 pages
English
Documents
Roughness transfer and wear in last stand of cold rolling mill
Directorate-General For Research And Innovation European Commission
Documents
Sciences formelles
Roughness transfer and wear in last stand of cold rolling mill
Directorate-General For Research And Innovation European Commission
150 pages
English
Documents
Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes
Directorate-General For Translation European Commission
Documents
Sciences formelles
Recommandations techniques relatives a la surveillance des personnes exposées a des irradiations externes
Directorate-General For Translation European Commission
48 pages
Français
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
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
170 pages
Français
Documents
Euronorm 57-78
Directorate-General For Translation European Commission
Documents
Sciences formelles
Euronorm 57-78
Directorate-General For Translation European Commission
4 pages
Français
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
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
12 pages
Français
Documents
Forces et faiblesses de l'analyse quantitative - article ; n°453 ; vol.82, pg 545-556
C. Manzagol
Documents
Sciences formelles
Forces et faiblesses de l'analyse quantitative - article ; n°453 ; vol.82, pg 545-556
C. Manzagol
13 pages
Français
Documents
La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334
H. Baulig
Documents
Sciences formelles
La vallée et le delta du Mississipi - article ; n°312 ; vol.58, pg 325-334
H. Baulig
11 pages
Français
Documents
Évolution des théories de la circulation atmosphérique générale - article ; n°348 ; vol.65, pg 81-97
Pierre Birot
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
18 pages
Français
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
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
10 pages
Français
Documents
Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104
Patrice Paul
Documents
Sciences formelles
Un colloque de climatologie physique et dynamique - article ; n°467 ; vol.85, pg 103-104
Patrice Paul
3 pages
Français
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
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
6 pages
Français
Documents
Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37
Jean Chassany
Documents
Sciences formelles
Climatologie des chutes de neige à Lyon - article ; n°1 ; vol.26, pg 33-37
Jean Chassany
6 pages
Français
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}