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
CEC project Mirage
Category

Documents

CEC project Mirage

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

CEC project Mirage Alternate Text
Category

Documents

Sciences formelles

CEC project Mirage

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

Book

180 pages

Flag

English

Tutorial Session – proposed outline
Category

Documents

Tutorial Session – proposed outline

Docs

Tutorial Session – proposed outline Alternate Text
Category

Documents

Sciences formelles

Tutorial Session – proposed outline

Docs

Book

2 pages

Flag

English

Repository systems simulation test
Category

Documents

Repository systems simulation test

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

Repository systems simulation test Alternate Text
Category

Documents

Sciences formelles

Repository systems simulation test

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

Book

260 pages

Flag

English

tutorial
Category

Documents

Tutorial

tutorial Alternate Text
Category

Documents

Sciences formelles

Tutorial

Book

10 pages

Flag

English

COURS DE STATISTIQUES
Category

Documents

COURS DE STATISTIQUES

Lr

COURS DE STATISTIQUES Alternate Text
Category

Documents

Sciences formelles

COURS DE STATISTIQUES

Lr

Book

17 pages

Flag

Français

SICUREZZA E SANITÀ NELLE INDUSTRIE ESTRATTIVE DEL PETROLIO E DEL GAS. Congresso internazionale
Category

Documents

SICUREZZA E SANITÀ NELLE INDUSTRIE ESTRATTIVE DEL PETROLIO E DEL GAS. Congresso internazionale

Council Of The European Union

SICUREZZA E SANITÀ NELLE INDUSTRIE ESTRATTIVE DEL PETROLIO E DEL GAS. Congresso internazionale Alternate Text
Category

Documents

Sciences formelles

SICUREZZA E SANITÀ NELLE INDUSTRIE ESTRATTIVE DEL PETROLIO E DEL GAS. Congresso internazionale

Council Of The European Union

Book

356 pages

Flag

Romanian

Un outil pour apprendre : l expérience contre-intuitive
Category

Documents

Un outil pour apprendre : l'expérience contre-intuitive

Udppc - Catherine

Un outil pour apprendre : l expérience contre-intuitive Alternate Text
Category

Documents

Sciences formelles

Un outil pour apprendre : l'expérience contre-intuitive

Udppc - Catherine

Book

12 pages

Flag

Français

ce lien. - Projet de Théorie Financière
Category

Documents

Ce lien. - Projet de Théorie Financière

ce lien. - Projet de Théorie Financière Alternate Text
Category

Documents

Sciences formelles

Ce lien. - Projet de Théorie Financière

Book

21 pages

Flag

Français

X de V Théorie Financière GL ECON 3350 24 Ch. 2: Les décisions en ...
Category

Documents

X de V Théorie Financière GL ECON 3350 24 Ch. 2: Les décisions en ...

Xdvanssay

X de V Théorie Financière GL ECON 3350 24 Ch. 2: Les décisions en ... Alternate Text
Category

Documents

Sciences formelles

X de V Théorie Financière GL ECON 3350 24 Ch. 2: Les décisions en ...

Xdvanssay

Book

7 pages

Flag

Français

Natural analogues and evidence of long-term isolation capacity of clays occurring in Italy
Category

Documents

Natural analogues and evidence of long-term isolation capacity of clays occurring in Italy

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

Natural analogues and evidence of long-term isolation capacity of clays occurring in Italy Alternate Text
Category

Documents

Sciences formelles

Natural analogues and evidence of long-term isolation capacity of clays occurring in Italy

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

Book

116 pages

Flag

English

Cours
Category

Documents

Cours

Duzes Jean-Louis

Cours Alternate Text
Category

Documents

Sciences formelles

Cours

Duzes Jean-Louis

Book

53 pages

Flag

Français

La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62
Category

Documents

La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62

Pierre-Alain Muet

La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62 Alternate Text
Category

Documents

Sciences formelles

La modélisation macroéconomique : une étude de la structure et de la dynamique des modèles macroéconométriques - article ; n°1 ; vol.40, pg 3-62

Pierre-Alain Muet

Book

61 pages

Flag

Français

cours 4M2, p.37 à 46 [v6.0]
Category

Documents

Cours 4M2, p.37 à 46 [v6.0]

Enseignant

cours 4M2, p.37 à 46 [v6.0] Alternate Text
Category

Documents

Sciences formelles

Cours 4M2, p.37 à 46 [v6.0]

Enseignant

Book

11 pages

Flag

Français

CORDIS focus
Category

Documents

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

Book

24 pages

Flag

Deutsch

Contribution à l étude du comportement dynamique des rotors embarqués
Category

Documents

Contribution à l'étude du comportement dynamique des rotors embarqués

Duchemin Matthieu

Contribution à l étude du comportement dynamique des rotors embarqués Alternate Text
Category

Documents

Sciences formelles

Contribution à l'étude du comportement dynamique des rotors embarqués

Duchemin Matthieu

Book

5 pages

Flag

Finnish

Geomechanics of clays for radioactive waste disposal
Category

Documents

Geomechanics of clays for radioactive waste disposal

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

Geomechanics of clays for radioactive waste disposal Alternate Text
Category

Documents

Sciences formelles

Geomechanics of clays for radioactive waste disposal

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

Book

156 pages

Flag

English

A Tutorial for Pari GP
Category

Documents

A Tutorial for Pari GP

C. Batut, K. Belabas, D. Bernardi, H. Cohen, M. Olivier

A Tutorial for Pari GP Alternate Text
Category

Documents

Sciences formelles

A Tutorial for Pari GP

C. Batut, K. Belabas, D. Bernardi, H. Cohen, M. Olivier

Book

52 pages

Flag

English

Cours du  23 Octobre 2008
Category

Documents

Cours du 23 Octobre 2008

Françoise

Cours du  23 Octobre 2008 Alternate Text
Category

Documents

Sciences formelles

Cours du 23 Octobre 2008

Françoise

Book

5 pages

Flag

Français

Vibrational levels of water -Tutorial
Category

Documents

Vibrational levels of water -Tutorial

Truman State University

Vibrational levels of water -Tutorial Alternate Text
Category

Documents

Sciences formelles

Vibrational levels of water -Tutorial

Truman State University

Book

25 pages

Flag

English

[hal-00494026, v1] A partition-free approach to transient and steady -state charge currents
Category

Documents

[hal-00494026, v1] A partition-free approach to transient and steady -state charge currents

Cornean, Horia Et Al

[hal-00494026, v1] A partition-free approach to transient and steady -state charge currents Alternate Text
Category

Documents

Sciences formelles

[hal-00494026, v1] A partition-free approach to transient and steady -state charge currents

Cornean, Horia Et Al

Book

14 pages

Flag

English

Etude comparative de la perception d’ambiances lumineuses en milieu réel et en milieu virtuel Conclusion
Category

Documents

Etude comparative de la perception d’ambiances lumineuses en milieu réel et en milieu virtuel Conclusion

Charton, Virgile

Etude comparative de la perception d’ambiances lumineuses en milieu réel et en milieu virtuel Conclusion Alternate Text
Category

Documents

Sciences formelles

Etude comparative de la perception d’ambiances lumineuses en milieu réel et en milieu virtuel Conclusion

Charton, Virgile

Book

4 pages

Flag

Français

MTH2302B plan de cours automme 2006
Category

Documents

MTH2302B plan de cours automme 2006

Bernard Clément

MTH2302B plan de cours automme 2006 Alternate Text
Category

Documents

Sciences formelles

MTH2302B plan de cours automme 2006

Bernard Clément

Book

2 pages

Flag

Français

Statistique descriptive
Category

Documents

Statistique descriptive

Lr

Statistique descriptive Alternate Text
Category

Documents

Sciences formelles

Statistique descriptive

Lr

Book

48 pages

Flag

Français

Axis Tutorial
Category

Documents

Axis Tutorial

Axis Tutorial Alternate Text
Category

Documents

Sciences formelles

Axis Tutorial

Book

22 pages

Flag

English

Plan du cours Mathématiques 12
Category

Documents

Plan du cours Mathématiques 12

André Robichaud

Plan du cours Mathématiques 12 Alternate Text
Category

Documents

Sciences formelles

Plan du cours Mathématiques 12

André Robichaud

Book

7 pages

Flag

Français

High temperature alloys for gas
Category

Documents

High temperature alloys for gas

Directorate-General For Translation European Commission

High temperature alloys for gas Alternate Text
Category

Documents

Sciences formelles

High temperature alloys for gas

Directorate-General For Translation European Commission

Book

888 pages

Flag

English

Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium
Category

Documents

Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium

Directorate-General For Research And Innovation

Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium Alternate Text
Category

Documents

Sciences formelles

Field test to investigate the performance of a shallow prototype seasonal heat storage system with a heat capacity for 100 solar houses using the soil as storage medium

Directorate-General For Research And Innovation

Book

156 pages

Flag

English

Tutorial Using Special Mesh - 9 - FR
Category

Documents

Tutorial Using Special Mesh - 9 - FR

Bvincent

Tutorial Using Special Mesh - 9 - FR Alternate Text
Category

Documents

Sciences formelles

Tutorial Using Special Mesh - 9 - FR

Bvincent

Book

10 pages

Flag

Français

The certification of the contents (mass fraction) of chlorobiphenyls (IUPAC Nos 28, 52, 101, 118, 138, 153 and 180) in two fish oilsCod-liver oil CRM 349 - Mackerel oil CRM 350
Category

Documents

The certification of the contents (mass fraction) of chlorobiphenyls (IUPAC Nos 28, 52, 101, 118, 138, 153 and 180) in two fish oilsCod-liver oil CRM 349 - Mackerel oil CRM 350

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

The certification of the contents (mass fraction) of chlorobiphenyls (IUPAC Nos 28, 52, 101, 118, 138, 153 and 180) in two fish oilsCod-liver oil CRM 349 - Mackerel oil CRM 350 Alternate Text
Category

Documents

Sciences formelles

The certification of the contents (mass fraction) of chlorobiphenyls (IUPAC Nos 28, 52, 101, 118, 138, 153 and 180) in two fish oilsCod-liver oil CRM 349 - Mackerel oil CRM 350

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

Book

100 pages

Flag

English

Draft Minutes
Category

Documents

Draft Minutes

Anonymous

Draft Minutes Alternate Text
Category

Documents

Sciences formelles

Draft Minutes

Anonymous

Book

10 pages

Flag

Français

Alternate Text