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
Water-injection dredging
European Commission Directorate-General For The Information Society And Media Directorate-General For Energy
Documents
Sciences formelles
Water-injection dredging
European Commission Directorate-General For The Information Society And Media Directorate-General For Energy
52 pages
Nederlandse
Documents
Tweede verslag van de werkzaamheden van het Comité voor wetenschappelijke en technische informatie en documentatie (CIDST) van de Europese Gemeenschappen: maart 1974 - juli 1975
Directorate-General For Translation European Commission
Documents
Sciences formelles
Tweede verslag van de werkzaamheden van het Comité voor wetenschappelijke en technische informatie en documentatie (CIDST) van de Europese Gemeenschappen: maart 1974 - juli 1975
Directorate-General For Translation European Commission
64 pages
Nederlandse
Documents
Euronorm 3-79
Directorate-General For Translation European Commission
Documents
Sciences formelles
Euronorm 3-79
Directorate-General For Translation European Commission
8 pages
Nederlandse
Documents
Relazioni del Comitato scientifico dell'alimentazione umana
Directorate-General For Translation European Commission
Documents
Sciences formelles
Relazioni del Comitato scientifico dell'alimentazione umana
Directorate-General For Translation European Commission
32 pages
Italiano
Documents
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
Documents
Sciences formelles
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
28 pages
Español
Documents
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
Documents
Sciences formelles
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
28 pages
Deutsch
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
Deutsch
Documents
Ergebnisse des Zweiten Energie-FuE-Programms der Europäischen Gemeinschaften
Directorate-General For Translation European Commission
Documents
Sciences formelles
Ergebnisse des Zweiten Energie-FuE-Programms der Europäischen Gemeinschaften
Directorate-General For Translation European Commission
52 pages
Deutsch
Documents
Quinta relazione sull'attività del Comitato dell'informazione e della documentazione scientifica e tecnica (CIDST) delle Comunità europee (1981-1983)
Directorate-General For Translation European Commission
Documents
Sciences formelles
Quinta relazione sull'attività del Comitato dell'informazione e della documentazione scientifica e tecnica (CIDST) delle Comunità europee (1981-1983)
Directorate-General For Translation European Commission
52 pages
Italiano
Documents
NBAJ02S01
European Union
Documents
LEBENSMITTELFORSCHUNG UND -TECHNOLOGIE IN DEN LÄNDERN DER EUROPÄISCHEN GEMEINSCHAFT. 1. TEIL
Directorate-General For Translation European Commission
Documents
Sciences formelles
LEBENSMITTELFORSCHUNG UND -TECHNOLOGIE IN DEN LÄNDERN DER EUROPÄISCHEN GEMEINSCHAFT. 1. TEIL
Directorate-General For Translation European Commission
716 pages
Deutsch
Documents
Negentiende Verslag van het Permanent Orgaan voor de veiligheid en de gezondheidsvorwaarden in de steenkolenmijnen en andere winningsindustrieën
Directorate-General For Translation European Commission
Documents
Sciences formelles
Negentiende Verslag van het Permanent Orgaan voor de veiligheid en de gezondheidsvorwaarden in de steenkolenmijnen en andere winningsindustrieën
Directorate-General For Translation European Commission
108 pages
Nederlandse
Documents
REGLER FOR GOD PRAKSIS TIL MINDSKELSE AF EMISSIONER AF CHLOROFLUOROCARBONER CFC 11 OG CFC 12 UNDER FREMSTILLINGEN AF STIFT POLYURETHANSKUM TIL BYGGEINDUSTRIEN. Rapporter
Directorate-General For The Environment
Documents
Sciences formelles
REGLER FOR GOD PRAKSIS TIL MINDSKELSE AF EMISSIONER AF CHLOROFLUOROCARBONER CFC 11 OG CFC 12 UNDER FREMSTILLINGEN AF STIFT POLYURETHANSKUM TIL BYGGEINDUSTRIEN. Rapporter
Directorate-General For The Environment
16 pages
Danish
Documents
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
Documents
Sciences formelles
CORDIS focus
Directorate-General For Enterprise And Industry European Commission
28 pages
Romanian
Documents
BEI DEN ORGANEN DER GEMEINSCHAFT BESTEHENDE AUSSCHÜSSE MIT TÄTIGKEITEN IM BEREICH DER WISSENSCHAFTS- UND TECHNOLOGIEPOLITIK
Directorate-General For Translation European Commission
Documents
Sciences formelles
BEI DEN ORGANEN DER GEMEINSCHAFT BESTEHENDE AUSSCHÜSSE MIT TÄTIGKEITEN IM BEREICH DER WISSENSCHAFTS- UND TECHNOLOGIEPOLITIK
Directorate-General For Translation European Commission
28 pages
Deutsch
Documents
Euronorm Nov.1978
Directorate-General For Translation European Commission
Documents
Sciences formelles
Euronorm Nov.1978
Directorate-General For Translation European Commission
4 pages
Deutsch
Documents
INFORMATIONSTAGUNG ÜBER KOKEREITECHNIK. Luxemburg, 6. und 7. Mai 1975, 1. Teil
Directorate-General For Energy
Documents
Sciences formelles
INFORMATIONSTAGUNG ÜBER KOKEREITECHNIK. Luxemburg, 6. und 7. Mai 1975, 1. Teil
Directorate-General For Energy
320 pages
Deutsch
Documents
Euronorm 169-85
Directorate-General For Translation European Commission
Documents
Sciences formelles
Euronorm 169-85
Directorate-General For Translation European Commission
12 pages
Deutsch
Documents
AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER
Joint Research Centre
Documents
Sciences formelles
AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER
Joint Research Centre
220 pages
Serbian
Documents
INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION
Joint Research Centre
Documents
Sciences formelles
INELASTIC NEUTRON SCATTERING AND LATTICE DYNAMICS OF METALS IN QUASI-ION APPROXIMATION
Joint Research Centre
150 pages
Vietnamese
Documents
PRELIMINARY ENERGY DEMAND STUDIES FOR IRELAND. Base Case and High Case for 1980,1985 and 1990 Final Report
Directorate-General For Research And Innovation
Documents
Sciences formelles
PRELIMINARY ENERGY DEMAND STUDIES FOR IRELAND. Base Case and High Case for 1980,1985 and 1990 Final Report
Directorate-General For Research And Innovation
28 pages
Serbian
Documents
MEASUREMENTS AND INTERPRETATION OF DYNAMIC LOADS ON STEEL BRIDGES (phase 2). FINAL REPORT
Directorate-General For Research And Innovation
Documents
Sciences formelles
MEASUREMENTS AND INTERPRETATION OF DYNAMIC LOADS ON STEEL BRIDGES (phase 2). FINAL REPORT
Directorate-General For Research And Innovation
274 pages
Serbian
Documents
Frequency distributions of global radiation on horizontal surfaces for the region of the EC
Directorate-General For Research And Innovation
Documents
Sciences formelles
Frequency distributions of global radiation on horizontal surfaces for the region of the EC
Directorate-General For Research And Innovation
134 pages
Vietnamese
Documents
Non-destructive characterization by means of ultrasonics of radial cracks resulting from vickers indentations in reaction-bonded silicon nitride
Joint Research Centre European Commission
Documents
Sciences formelles
Non-destructive characterization by means of ultrasonics of radial cracks resulting from vickers indentations in reaction-bonded silicon nitride
Joint Research Centre European Commission
36 pages
Vietnamese
Documents
La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62
Pierre-Alain Muet
Documents
Sciences formelles
La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62
Pierre-Alain Muet
61 pages
Français
Documents
Une grille d'analyse d'organisation sociale - article ; n°1 ; vol.6, pg 43-59
Bernard Walliser
Documents
Sciences formelles
Une grille d'analyse d'organisation sociale - article ; n°1 ; vol.6, pg 43-59
Bernard Walliser
18 pages
Français
Documents
Analyses du chômage de longue durée et du chômage récurrent le cas de la France - article ; n°4 ; vol.105, pg 55-72
Marie-Christine Challier, Mohamed Jellal
Documents
Sciences formelles
Analyses du chômage de longue durée et du chômage récurrent le cas de la France - article ; n°4 ; vol.105, pg 55-72
Marie-Christine Challier, Mohamed Jellal
20 pages
Français
Documents
Contribution à l'étude du déséquilibre sur le marché algérien des biens de consommation - article ; n°2 ; vol.108, pg 63-74
Salima Hamouche
Documents
Sciences formelles
Contribution à l'étude du déséquilibre sur le marché algérien des biens de consommation - article ; n°2 ; vol.108, pg 63-74
Salima Hamouche
14 pages
Français
Documents
La dimension sectorielle de la formation des salaires : une analyse comparative des industries américaine, allemande et française - article ; n°1 ; vol.92, pg 145-152
Brigitte Dormont, Jean Jeanledem
Documents
Sciences formelles
La dimension sectorielle de la formation des salaires : une analyse comparative des industries américaine, allemande et française - article ; n°1 ; vol.92, pg 145-152
Brigitte Dormont, Jean Jeanledem
11 pages
Français
Documents
Coïntégration et modèles dynamiques - article ; n°5 ; vol.106, pg 71-83
Antoine D'Autume
Documents
Sciences formelles
Coïntégration et modèles dynamiques - article ; n°5 ; vol.106, pg 71-83
Antoine D'Autume
15 pages
Français
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}