Sciences formelles

icon subthematics

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.

Voir Alternate Text
Apports de la modélisation mécanique à l étude de matériaux polymères multiphases
Category

Documents

Apports de la modélisation mécanique à l'étude de matériaux polymères multiphases

Colombini, Marie Didier

Apports de la modélisation mécanique à l étude de matériaux polymères multiphases Alternate Text
Category

Documents

Sciences formelles

Apports de la modélisation mécanique à l'étude de matériaux polymères multiphases

Colombini, Marie Didier

Book

20 pages

Flag

Français

Elasto-plastic behaviour of metallic frameworks
Category

Documents

Elasto-plastic behaviour of metallic frameworks

European Commission Directorate-General For Research And Innovation

Elasto-plastic behaviour of metallic frameworks Alternate Text
Category

Documents

Sciences formelles

Elasto-plastic behaviour of metallic frameworks

European Commission Directorate-General For Research And Innovation

Book

218 pages

Flag

English

CORDIS focus
Category

Documents

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

Book

24 pages

Flag

Deutsch

La Mécanique nouvelle (Göttingen)
Category

Documents

La Mécanique nouvelle (Göttingen)

Henri Poincaré

La Mécanique nouvelle (Göttingen) Alternate Text
Category

Documents

Sciences formelles

La Mécanique nouvelle (Göttingen)

Henri Poincaré

Book

5 pages

Flag

Français

Journal de Physique, de Chimie et d Histoire Naturelle
Category

Documents

Journal de Physique, de Chimie et d'Histoire Naturelle

London Natural History Museum Library

Journal de Physique, de Chimie et d Histoire Naturelle Alternate Text
Category

Documents

Sciences formelles

Journal de Physique, de Chimie et d'Histoire Naturelle

London Natural History Museum Library

Book

508 pages

Flag

Français

suites-cours
Category

Documents

Suites-cours

suites-cours Alternate Text
Category

Documents

Sciences formelles

Suites-cours

Book

12 pages

Flag

Français

SUJET DE THESE J-C GOLINVALl 2010
Category

Documents

SUJET DE THESE J-C GOLINVALl 2010

Messaussier Patricia

SUJET DE THESE J-C GOLINVALl 2010 Alternate Text
Category

Documents

Sciences formelles

SUJET DE THESE J-C GOLINVALl 2010

Messaussier Patricia

Book

2 pages

Flag

Français

Étude de l’influence de l’hétérogénéité de distribution du  radionucléide en dosimétrie
Category

Documents

Étude de l’influence de l’hétérogénéité de distribution du radionucléide en dosimétrie

Jeremy Coulot

Étude de l’influence de l’hétérogénéité de distribution du  radionucléide en dosimétrie Alternate Text
Category

Documents

Sciences formelles

Étude de l’influence de l’hétérogénéité de distribution du radionucléide en dosimétrie

Jeremy Coulot

Book

3 pages

Flag

Français

Programme des cours fsta
Category

Documents

Programme des cours fsta

Echello

Programme des cours fsta Alternate Text
Category

Documents

Sciences formelles

Programme des cours fsta

Echello

Book

8 pages

Flag

Français

statistique professionnelle semestre1
Category

Documents

Statistique professionnelle semestre1

Assia

statistique professionnelle semestre1 Alternate Text
Category

Documents

Sciences formelles

Statistique professionnelle semestre1

Assia

Book

7 pages

Flag

Français

EASE - EMISSION ABATEMENT STRATEGIES AND THE ENVIRONMENT
Category

Documents

EASE - EMISSION ABATEMENT STRATEGIES AND THE ENVIRONMENT

Directorate-General For Research And Innovation

EASE - EMISSION ABATEMENT STRATEGIES AND THE ENVIRONMENT Alternate Text
Category

Documents

Sciences formelles

EASE - EMISSION ABATEMENT STRATEGIES AND THE ENVIRONMENT

Directorate-General For Research And Innovation

Book

1 pages

Flag

English

Contribution à l étude de procédés de réalisation de structures métal  PZT métal sur silicium
Category

Documents

Contribution à l'étude de procédés de réalisation de structures métal PZT métal sur silicium

Million Cyril

Contribution à l étude de procédés de réalisation de structures métal  PZT métal sur silicium Alternate Text
Category

Documents

Sciences formelles

Contribution à l'étude de procédés de réalisation de structures métal PZT métal sur silicium

Million Cyril

Book

3 pages

Flag

Français

comment g civil
Category

Documents

Comment g civil

comment g civil Alternate Text
Category

Documents

Sciences formelles

Comment g civil

Book

5 pages

Flag

Français

COURS MECANIQUE CLASSIQUE
Category

Documents

COURS MECANIQUE CLASSIQUE

Pdfsubject

COURS MECANIQUE CLASSIQUE Alternate Text
Category

Documents

Sciences formelles

COURS MECANIQUE CLASSIQUE

Pdfsubject

Book

4 pages

Flag

Serbian

Cours - Introduction a l algebre lineaire
Category

Documents

Cours - Introduction a l'algebre lineaire

Cours - Introduction a l algebre lineaire Alternate Text
Category

Documents

Sciences formelles

Cours - Introduction a l'algebre lineaire

Book

26 pages

Flag

Français

Essai sur le perfectionnement des arts chimiques en France
Category

Documents

Essai sur le perfectionnement des arts chimiques en France

Jean-Antoine Chaptal

Essai sur le perfectionnement des arts chimiques en France Alternate Text
Category

Documents

Sciences formelles

Essai sur le perfectionnement des arts chimiques en France

Jean-Antoine Chaptal

Book

1 pages

Flag

Français

File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition
Category

Documents

File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition

Physics Computer Network

File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition Alternate Text
Category

Documents

Sciences formelles

File #3909, Received 12 7 98, A. W. Overhauser, ‘Comment on “Is There an Electronic Topological Transition

Physics Computer Network

Book

14 pages

Flag

English

[tel-00121528, v1] Deux applications de la positivité à l étude des  variétés projectives complexes
Category

Documents

[tel-00121528, v1] Deux applications de la positivité à l'étude des variétés projectives complexes

Höring, Andreas

[tel-00121528, v1] Deux applications de la positivité à l étude des  variétés projectives complexes Alternate Text
Category

Documents

Sciences formelles

[tel-00121528, v1] Deux applications de la positivité à l'étude des variétés projectives complexes

Höring, Andreas

Book

160 pages

Flag

English

MATÉRIAUX, TECHNIQUES ET CONDITIONS EXPÉRIMENTALES
Category

Documents

MATÉRIAUX, TECHNIQUES ET CONDITIONS EXPÉRIMENTALES

Assouli Badr

MATÉRIAUX, TECHNIQUES ET CONDITIONS EXPÉRIMENTALES Alternate Text
Category

Documents

Sciences formelles

MATÉRIAUX, TECHNIQUES ET CONDITIONS EXPÉRIMENTALES

Assouli Badr

Book

25 pages

Flag

Français

Au Canada, le sport c est pour la vie
Category

Documents

Au Canada, le sport c'est pour la vie

Au Canada, le sport c est pour la vie Alternate Text
Category

Documents

Sciences formelles

Au Canada, le sport c'est pour la vie

Book

2 pages

Flag

Français

Sur la dynamique de l’électron (juillet)
Category

Documents

Sur la dynamique de l’électron (juillet)

Henri Poincaré

Sur la dynamique de l’électron (juillet) Alternate Text
Category

Documents

Sciences formelles

Sur la dynamique de l’électron (juillet)

Henri Poincaré

Book

39 pages

Flag

Français

The certification of the catalytic concentration of alkaline phosphatase in reconstituted lyophilized materialCRM 371
Category

Documents

The certification of the catalytic concentration of alkaline phosphatase in reconstituted lyophilized materialCRM 371

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

The certification of the catalytic concentration of alkaline phosphatase in reconstituted lyophilized materialCRM 371 Alternate Text
Category

Documents

Sciences formelles

The certification of the catalytic concentration of alkaline phosphatase in reconstituted lyophilized materialCRM 371

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

Book

60 pages

Flag

English

Comptes rendus des séances de la Société de biologie et de ses filiales
Category

Documents

Comptes rendus des séances de la Société de biologie et de ses filiales

Paris Société De Biologie, Paris. Comptes Rendus Hebdomadaires Des Séances Et Mémoires Société De Biologie, Paris. Comptes Rendus Des Séances Et Mémoires Société De Biologie

Comptes rendus des séances de la Société de biologie et de ses filiales Alternate Text
Category

Documents

Sciences formelles

Comptes rendus des séances de la Société de biologie et de ses filiales

Paris Société De Biologie, Paris. Comptes Rendus Hebdomadaires Des Séances Et Mémoires Société De Biologie, Paris. Comptes Rendus Des Séances Et Mémoires Société De Biologie

Book

668 pages

Flag

Français

The certification of the purity of seven nitro-polycyclic aromatic compoundsCRM Nos 305, 306, 307, 308, 310, 311, 312
Category

Documents

The certification of the purity of seven nitro-polycyclic aromatic compoundsCRM Nos 305, 306, 307, 308, 310, 311, 312

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

The certification of the purity of seven nitro-polycyclic aromatic compoundsCRM Nos 305, 306, 307, 308, 310, 311, 312 Alternate Text
Category

Documents

Sciences formelles

The certification of the purity of seven nitro-polycyclic aromatic compoundsCRM Nos 305, 306, 307, 308, 310, 311, 312

Directorate-General For Research And Innovation European Commission Directorate-General For The Information Society And Media

Book

68 pages

Flag

English

Programmes du collège
Category

Documents

Programmes du collège

Ministère De L'Éducation Nationale

Programmes du collège Alternate Text
Category

Documents

Sciences formelles

Programmes du collège

Ministère De L'Éducation Nationale

Book

27 pages

Flag

Français

Algorithms in bioinformatics (CSI 5126)=1Please don t print these  lecture notes unless you really need
Category

Documents

Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need

Marcel Turcotte (Turcotte@Site.Uottawa.Ca)

Algorithms in bioinformatics (CSI 5126)=1Please don t print these  lecture notes unless you really need Alternate Text
Category

Documents

Sciences formelles

Algorithms in bioinformatics (CSI 5126)=1Please don't print these lecture notes unless you really need

Marcel Turcotte (Turcotte@Site.Uottawa.Ca)

Book

101 pages

Flag

English

cours-modelisation
Category

Documents

Cours-modelisation

cours-modelisation Alternate Text
Category

Documents

Sciences formelles

Cours-modelisation

Book

5 pages

Flag

Français

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455
Category

Documents

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455

Edouard Mehl

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455 Alternate Text
Category

Documents

Sciences formelles

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455

Edouard Mehl

Book

18 pages

Flag

Français

CRPE - Education physique et sportive concours 2010
Category

Documents

CRPE - Education physique et sportive concours 2010

Twiggy Tizzoni

CRPE - Education physique et sportive concours 2010 Alternate Text
Category

Documents

Sciences formelles

CRPE - Education physique et sportive concours 2010

Twiggy Tizzoni

Book

10 pages

Flag

Français

These Final
Category

Documents

These Final

Christelle Remi

These Final Alternate Text
Category

Documents

Sciences formelles

These Final

Christelle Remi

Book

20 pages

Flag

Français

Alternate Text