Sciences formelles

593 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
Optimisation en sciences de l’ingénieur  : Métaheuristiques, méthodes stochastiques et aide à la décision - Dumitru Popescu, Pierre Borne, Dan Stefanoiu, Florin-Gheorghe Filip, Abdel El Kamel
Optimisation en sciences de l’ingénieur : Métaheuristiques, méthodes stochastiques et aide à la décision
Dumitru Popescu, Pierre Borne, Dan Stefanoiu, Florin-Gheorghe Filip, Abdel El Kamel
398 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
La logique floue - Bernadette Bouchon-Meunier
La logique floue
Bernadette Bouchon-Meunier
75 pages
Penser l
Penser l'animal autrement
Philippe Devienne
318 pages
Eléments de logique floue - GACOGNE Louis
260 pages
La fourmi et la philosophie - Pascal Dupont, Jean Lilensten, Anne-Leïla Ollivier
La fourmi et la philosophie
Pascal Dupont, Jean Lilensten, Anne-Leïla Ollivier
136 pages
Méthode des éléments finis - Gouri DHATT, Gilbert TOUZOT, Emmanuel LEFRANÇOIS
Méthode des éléments finis
Gouri DHATT, Gilbert TOUZOT, Emmanuel LEFRANÇOIS
615 pages
Urbanisation et modernisation du SI - LE ROUX Bernard, DESBERTRAND Luc, GUÉRIF Pascal, TANG Xavier, TIXIER Julien, VERGER Pierre
Urbanisation et modernisation du SI
LE ROUX Bernard, DESBERTRAND Luc, GUÉRIF Pascal, TANG Xavier, TIXIER Julien, VERGER Pierre
216 pages
Solides et matériaux carbonés 1 - DELHAES Pierre
227 pages
Analyse et traitement physicochimique des rejets atmosphériques industriels - POPESCU Maria, BLANCHARD Jean-Marie, CARRE Jean
886 pages
expand_more