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
thèse mssmat
Category

Documents

Thèse mssmat

Masuy Véronique

thèse mssmat Alternate Text
Category

Documents

Sciences formelles

Thèse mssmat

Masuy Véronique

Book

2 pages

Flag

Catalan

cours alg L2 S2
Category

Documents

Cours alg L2 S2

cours alg L2 S2 Alternate Text
Category

Documents

Sciences formelles

Cours alg L2 S2

Book

23 pages

Flag

Français

Comparison of experimental techniques for measuring fracture toughness of austenitic stainless steels by performance of a comparative round-robin test
Category

Documents

Comparison of experimental techniques for measuring fracture toughness of austenitic stainless steels by performance of a comparative round-robin test

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

Comparison of experimental techniques for measuring fracture toughness of austenitic stainless steels by performance of a comparative round-robin test Alternate Text
Category

Documents

Sciences formelles

Comparison of experimental techniques for measuring fracture toughness of austenitic stainless steels by performance of a comparative round-robin test

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

Book

108 pages

Flag

English

CURRICULUM VITAE Nom : ANTOINE Prénom : Xavier Grade : Professeur ...
Category

Documents

CURRICULUM VITAE Nom : ANTOINE Prénom : Xavier Grade : Professeur ...

CURRICULUM VITAE Nom : ANTOINE Prénom : Xavier Grade : Professeur ... Alternate Text
Category

Documents

Sciences formelles

CURRICULUM VITAE Nom : ANTOINE Prénom : Xavier Grade : Professeur ...

Book

13 pages

Flag

Français

Partie du Papyrus mathématique RHIND (du nom de son détenteur ...
Category

Documents

Partie du Papyrus mathématique RHIND (du nom de son détenteur ...

Partie du Papyrus mathématique RHIND (du nom de son détenteur ... Alternate Text
Category

Documents

Sciences formelles

Partie du Papyrus mathématique RHIND (du nom de son détenteur ...

Book

39 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

[halshs-00363427, v1] A propos de la formation en statistique .Approches praxéologiques et épistémologiques
Category

Documents

[halshs-00363427, v1] A propos de la formation en statistique .Approches praxéologiques et épistémologiques

Gérard Regnier, Bessac Jean-Claude

[halshs-00363427, v1] A propos de la formation en statistique .Approches praxéologiques et épistémologiques Alternate Text
Category

Documents

Sciences formelles

[halshs-00363427, v1] A propos de la formation en statistique .Approches praxéologiques et épistémologiques

Gérard Regnier, Bessac Jean-Claude

Book

44 pages

Flag

Français

Opérations sur les nombres décimaux relatifs
Category

Documents

Opérations sur les nombres décimaux relatifs

Ad

Opérations sur les nombres décimaux relatifs Alternate Text
Category

Documents

Sciences formelles

Opérations sur les nombres décimaux relatifs

Ad

Book

4 pages

Flag

Français

Inherently safe characteristics of nuclear reactors
Category

Documents

Inherently safe characteristics of nuclear reactors

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

Inherently safe characteristics of nuclear reactors Alternate Text
Category

Documents

Sciences formelles

Inherently safe characteristics of nuclear reactors

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

Book

68 pages

Flag

English

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

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

tutorial
Category

Documents

Tutorial

tutorial Alternate Text
Category

Documents

Sciences formelles

Tutorial

Book

114 pages

Flag

Español

Modélisation et résolutions numérique et symbolique   de problèmes via  les logiciels Maple et MATLAB
Category

Documents

Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB

Stef Graillat & Mohab Safey El Din

Modélisation et résolutions numérique et symbolique   de problèmes via  les logiciels Maple et MATLAB Alternate Text
Category

Documents

Sciences formelles

Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB

Stef Graillat & Mohab Safey El Din

Book

4 pages

Flag

Français

Cours sur la valeur absolue - Classe de seconde
Category

Documents

Cours sur la valeur absolue - Classe de seconde

Costantini

Cours sur la valeur absolue - Classe de seconde Alternate Text
Category

Documents

Sciences formelles

Cours sur la valeur absolue - Classe de seconde

Costantini

Book

5 pages

Flag

Catalan

Commentaires sur la Consultation concernant le Projet de décision ...
Category

Documents

Commentaires sur la Consultation concernant le Projet de décision ...

Vec

Commentaires sur la Consultation concernant le Projet de décision ... Alternate Text
Category

Documents

Sciences formelles

Commentaires sur la Consultation concernant le Projet de décision ...

Vec

Book

4 pages

Flag

Français

Tutorial
Category

Documents

Tutorial

Thomas Wilke

Tutorial Alternate Text
Category

Documents

Sciences formelles

Tutorial

Thomas Wilke

Book

21 pages

Flag

Deutsch

Généralité sur les fonctions
Category

Documents

Généralité sur les fonctions

Généralité sur les fonctions Alternate Text
Category

Documents

Sciences formelles

Généralité sur les fonctions

Book

4 pages

Flag

Français

Anatomía funcional del atletismo
Category

Documents

Anatomía funcional del atletismo

Gómez Muñoz, Carolina

Anatomía funcional del atletismo Alternate Text
Category

Documents

Sciences formelles

Anatomía funcional del atletismo

Gómez Muñoz, Carolina

Book

87 pages

Flag

Español

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

EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT
Category

Documents

EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT

Directorate-General For Research And Innovation

EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT Alternate Text
Category

Documents

Sciences formelles

EFFECTS OF CRYSTALLINITY UPON THE QUANTIFICATION OF AUGER ELECTRON SPECTROSCOPY. SYNTHESIS REPORT

Directorate-General For Research And Innovation

Book

54 pages

Flag

English

Cours sur les probabilités
Category

Documents

Cours sur les probabilités

Costantini

Cours sur les probabilités Alternate Text
Category

Documents

Sciences formelles

Cours sur les probabilités

Costantini

Book

7 pages

Flag

Français

Comment on An improved fractal equation for the soil water retention  curve by E. Perfect et al.
Category

Documents

Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.

Edmond Perrier, Edith; Rieu, Michel; Sposito, G.; Marsily, G. De

Comment on An improved fractal equation for the soil water retention  curve by E. Perfect et al. Alternate Text
Category

Documents

Sciences formelles

Comment on An improved fractal equation for the soil water retention curve by E. Perfect et al.

Edmond Perrier, Edith; Rieu, Michel; Sposito, G.; Marsily, G. De

Book

5 pages

Flag

English

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995
Category

Documents

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995

European Commission Eurostat

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995 Alternate Text
Category

Documents

Sciences formelles

Strompreise für die industriellen Verbraucher in der EU am 1. Juli 1995

European Commission Eurostat

Book

16 pages

Flag

Serbian

These Final
Category

Documents

These Final

Christelle Remi

These Final Alternate Text
Category

Documents

Sciences formelles

These Final

Christelle Remi

Book

12 pages

Flag

Français

Etude de l impact sur pale d hélicoptère
Category

Documents

Etude de l'impact sur pale d'hélicoptère

Barrau J.J. Ferrero J.F. Lemaire S. Rivallant S. Tawk I.

Etude de l impact sur pale d hélicoptère Alternate Text
Category

Documents

Sciences formelles

Etude de l'impact sur pale d'hélicoptère

Barrau J.J. Ferrero J.F. Lemaire S. Rivallant S. Tawk I.

Book

8 pages

Flag

Français

Evaluation of the mutagenicity of some chemical compounds
Category

Documents

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Evaluation of the mutagenicity of some chemical compounds Alternate Text
Category

Documents

Sciences formelles

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Book

194 pages

Flag

English

IN101 - cours 04 - 8 octobre 2010
Category

Documents

IN101 - cours 04 - 8 octobre 2010

Matthieu Finiasz

IN101 - cours 04 - 8 octobre 2010 Alternate Text
Category

Documents

Sciences formelles

IN101 - cours 04 - 8 octobre 2010

Matthieu Finiasz

Book

31 pages

Flag

Français

Titre court de l étude
Category

Documents

Titre court de l'étude

Nom De L'Auteur

Titre court de l étude Alternate Text
Category

Documents

Sciences formelles

Titre court de l'étude

Nom De L'Auteur

Book

19 pages

Flag

Français

On a partition calculus of partial orders
Category

Documents

On a partition calculus of partial orders

Mátrai Tamás Highland Park

On a partition calculus of partial orders Alternate Text
Category

Documents

Sciences formelles

On a partition calculus of partial orders

Mátrai Tamás Highland Park

Book

65 pages

Flag

English

Contribution à l étude des mouvements d air dans le bâtiment à l aide d un code de champ
Category

Documents

Contribution à l'étude des mouvements d'air dans le bâtiment à l'aide d'un code de champ

Regard, Muriel

Contribution à l étude des mouvements d air dans le bâtiment à l aide d un code de champ Alternate Text
Category

Documents

Sciences formelles

Contribution à l'étude des mouvements d'air dans le bâtiment à l'aide d'un code de champ

Regard, Muriel

Book

5 pages

Flag

Serbian

Alternate Text