Sciences formelles

650 ouvrages

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.

expand_more
expand_more
expand_more
La fourmi et la philosophie - Dupont Pascal, Lilensten Jean, Ollivier Anne-Leïla
La fourmi et la philosophie
Dupont Pascal, Lilensten Jean, Ollivier Anne-Leïla
136 pages
Eléments de géométrie mécanique - BALBIANI Philippe
180 pages
Mnémotechnologies - ROBERT Pascal
Mnémotechnologies
ROBERT Pascal
403 pages
Partitionnement de graphe (traité IC2) - BICHOT Charles-Edmond, SIARRY Patrick
Partitionnement de graphe (traité IC2)
BICHOT Charles-Edmond, SIARRY Patrick
443 pages
MONDE (DU) DE LA VOITURE AU MONDE SOCIAL - Maryse Pervanchon
304 pages
Devenez astronaute ! - Claude Lorin
246 pages
Biotechnologies : quelles limites ? - Bernard Fontaine
204 pages
Papillons et chenilles du Québec et des Maritimes - Stéphane Le Tirant, Michel Leboeuf
Papillons et chenilles du Québec et des Maritimes
Stéphane Le Tirant, Michel Leboeuf
392 pages
Les Tests du Khi² - Etienne Bosia
Les Tests du Khi²
Etienne Bosia
58 pages
expand_more