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
THE COMPILATION AND PROCESSING OF IBM 1401 PROGRAMS ON IBM 7090. VOL. III : THE SIMULATOR PROGRAM
Joint Research Centre
Documents
CODE FIRST I IBM 7090 FORTRAN II CODE FOR THE CALCULATION OF A NEUTRON SPECTRUM FOR A HETEROGENEOUS LATTICE
Joint Research Centre
Documents
A STUDY OF SOME NIOBIUM-BEARING MINERALS OF THE LUESHE CARBONATITE DEPOSIT (KIVU, REPUBLIC OF CONGO)
Joint Research Centre
Documents
PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry. Petten (Holland), September 22-26, 1975
Joint Research Centre
Documents
Building Security and Consumer Trust in Internet Payments - The potential of "soft" measures -. Background Paper No. 7 Electronic Payment Systems Observatory (ePSO) April 2002
Joint Research Centre
Documents
Scenarios for co-existence of genetically modified, conventional and organic crops in European agriculture. May 2002
Joint Research Centre
Documents
European Workshop on Analytical Methods for the Determination of Acrylamide in Food Products. REPORT
Joint Research Centre
Documents
AN IBM 1800 PROGRAM PACKAGE FOR ON-LINE AND OFF-LINE OPERATION OF A CALCOMP DIGITAL INCREMENTAL PLOTTER
Joint Research Centre
Documents
DETERMINATION OF PLUTONIUM CONCENTRATION AND DISTRIBUTION IN URANIUM-PLUTONIUM MIXED OXIDE FUEL BY AUTORADIOGRAPHY AND MICRODENSITOMETRY
Joint Research Centre
Documents
INVESTIGATIONS ON RADIOACTIVE FISSION PRODUCT CORRELATIONS : GAMMA SPECTROMETRY MEASUREMENTS ON SPENT FUEL ASSEMBLIES OF THE GARIGLIANO REACTOR
Joint Research Centre
Documents
Measurements, Standards and Reference Techniques (METRE). PROGRAMME PROGRESS REPORT July - December 1978
Joint Research Centre
Documents
THE RADIOLYTIC AND PYROLYTIC DECOMPOSITION OF ORGANIC COOLANTS VII. THE PYROLYSIS OF HIGH BOILING RESIDUE
Joint Research Centre
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}