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.
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.
Documents
PROCEEDINGS OF THE 1984 INTERNATIONAL CONFERENCE ON PLASMA PHYSICS. Lausanne, 27 June - 3 July 1984 Volume I Volume II
![Tutorial [] The KeY Approach to Deductive Verification of Object -Oriented Programs](https://img.uscri.be/pth/febb34fe2fb4694504f41721e825a071070c29bc)
![cours 4M2, p.37 à 46 [v6.0]](https://img.uscri.be/pth/dba4f7ee521bc9ffb540fa3330d951948989bebf)
![[hal-00494026, v1] A partition-free approach to transient and steady -state charge currents](https://img.uscri.be/pth/ef2d1f5dc38a175b0ed080fae27d3d7df1dff1df)
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
