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.
Toutes les langues
Plus lus
Documents
Theta functions and applications in cryptography Fonctions thêta et applications en cryptographie
Documents
Sciences formelles
Theta functions and applications in cryptography Fonctions thêta et applications en cryptographie
60 pages
English
Lire
Infos
Documents
SOA tutorial
![978-1-58503-400-0 -- ANSYS Tutorial [Release 11.0]](https://img.uscri.be/pth/02d929bb78bd6ec636202b1a9b68b73b886eb1bb)
Documents
978-1-58503-400-0 -- ANSYS Tutorial [Release 11.0]
Documents
Sciences formelles
978-1-58503-400-0 -- ANSYS Tutorial [Release 11.0]
31 pages
English
Lire
Infos
Documents
Crash Monad Tutorial
Documents
Etude du comportement anti-corrosion de revêtements amorphes base Si élaborés par dépôt chimique
Documents
Sciences formelles
Etude du comportement anti-corrosion de revêtements amorphes base Si élaborés par dépôt chimique
24 pages
English
Lire
Infos
Documents
These course objectives were originally based on a careful question-by -question review of the content
Documents
Sciences formelles
These course objectives were originally based on a careful question-by -question review of the content
21 pages
English
Lire
Infos
Documents
Feng comment on natural language conference
Documents
Cours
Documents
Tutorial-wsc05
Documents
Maîtrise de Sciences de la Terre et de l ’Univers 2001-2002 Cours de Chimie atmosphérique
Documents
Sciences formelles
Maîtrise de Sciences de la Terre et de l ’Univers 2001-2002 Cours de Chimie atmosphérique
29 pages
English
Lire
Infos
Documents
Partition
Documents
Comment on A Spreadsheet for Analysis of Straightforward Controlled Trials
Documents
Sciences formelles
Comment on A Spreadsheet for Analysis of Straightforward Controlled Trials
2 pages
English
Lire
Infos
Documents
Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.
Documents
Sciences formelles
Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.
5 pages
English
Lire
Infos
Documents
File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition
Documents
Sciences formelles
File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition
14 pages
English
Lire
Infos
![Comment on [Efst04]-8-31-double-se-web](https://img.uscri.be/pth/2317b218541ce13a00629fdd01a1fa74dcc512a7)
Documents
Comment on [Efst04]-8-31-double-se-web
Documents
Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need
Documents
Sciences formelles
Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need
3 pages
English
Lire
Infos
Documents
Tutorial
Documents
Cours 2008.2009
Documents
Comment
Documents
Parts of a Set Tutorial
Documents
Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need
Documents
Sciences formelles
Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need
101 pages
English
Lire
Infos
Documents
Tutorial
Documents
Overview of This Tutorial
Documents
Haase comment
Documents
Running the BaBar Monte Carlo
Documents
These-carr
Documents
Multiscale Entropy Analysis
Documents
Association-scalar-clusters-tutorial-1
Documents
Tutorial guide to laser trackers
Documents
Tutorial 6
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
