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
Lijst van Kerninstallaties binnen de Europese Gemeenschap voor Atoomenergie. 1 januari 1963
Category

Documents

Lijst van Kerninstallaties binnen de Europese Gemeenschap voor Atoomenergie. 1 januari 1963

Directorate-General For Energy

Lijst van Kerninstallaties binnen de Europese Gemeenschap voor Atoomenergie. 1 januari 1963 Alternate Text
Category

Documents

Sciences formelles

Lijst van Kerninstallaties binnen de Europese Gemeenschap voor Atoomenergie. 1 januari 1963

Directorate-General For Energy

Book

94 pages

Flag

Norwegian

Demonstration plant for an energy-saving flue gas desulphurization process. Demonstration project, Final report
Category

Documents

Demonstration plant for an energy-saving flue gas desulphurization process. Demonstration project, Final report

Directorate-General For Energy

Demonstration plant for an energy-saving flue gas desulphurization process. Demonstration project, Final report Alternate Text
Category

Documents

Sciences formelles

Demonstration plant for an energy-saving flue gas desulphurization process. Demonstration project, Final report

Directorate-General For Energy

Book

228 pages

Flag

English

Etude de la déformation viscoélastique et plastique du PET amorphe et  semi-cristallin autour de la
Category

Documents

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la

Ershad_Langroudi, Amir

Etude de la déformation viscoélastique et plastique du PET amorphe et  semi-cristallin autour de la Alternate Text
Category

Documents

Sciences formelles

Etude de la déformation viscoélastique et plastique du PET amorphe et semi-cristallin autour de la

Ershad_Langroudi, Amir

Book

36 pages

Flag

Français

cours-Chap2-Les configurations usuelles
Category

Documents

Cours-Chap2-Les configurations usuelles

Olivier

cours-Chap2-Les configurations usuelles Alternate Text
Category

Documents

Sciences formelles

Cours-Chap2-Les configurations usuelles

Olivier

Book

8 pages

Flag

Français

INTRODUCTION A LA THEORIE FINANCIERE Cours Up 15633. Ch. Walter ...
Category

Documents

INTRODUCTION A LA THEORIE FINANCIERE Cours Up 15633. Ch. Walter ...

INTRODUCTION A LA THEORIE FINANCIERE Cours Up 15633. Ch. Walter ... Alternate Text
Category

Documents

Sciences formelles

INTRODUCTION A LA THEORIE FINANCIERE Cours Up 15633. Ch. Walter ...

Book

2 pages

Flag

Français

RAPPORTS DU COMITÉ SCIENTIFIQUE DE COSMETOLOGIE (Première série)
Category

Documents

RAPPORTS DU COMITÉ SCIENTIFIQUE DE COSMETOLOGIE (Première série)

Directorate-General For Translation European Commission

RAPPORTS DU COMITÉ SCIENTIFIQUE DE COSMETOLOGIE (Première série) Alternate Text
Category

Documents

Sciences formelles

RAPPORTS DU COMITÉ SCIENTIFIQUE DE COSMETOLOGIE (Première série)

Directorate-General For Translation European Commission

Book

26 pages

Flag

Français

2-cours-fonctions-1
Category

Documents

2-cours-fonctions-1

2-cours-fonctions-1 Alternate Text
Category

Documents

Sciences formelles

2-cours-fonctions-1

Book

4 pages

Flag

Français

Journée d’étude du groupe de mathématiques du 14 avril 2005
Category

Documents

Journée d’étude du groupe de mathématiques du 14 avril 2005

Pg Co

Journée d’étude du groupe de mathématiques du 14 avril 2005 Alternate Text
Category

Documents

Sciences formelles

Journée d’étude du groupe de mathématiques du 14 avril 2005

Pg Co

Book

13 pages

Flag

Français

Cours theorique elementaire N1
Category

Documents

Cours theorique elementaire N1

Octo@Octo-2

Cours theorique elementaire N1 Alternate Text
Category

Documents

Sciences formelles

Cours theorique elementaire N1

Octo@Octo-2

Book

15 pages

Flag

Azerbaijani

cours et exercices corrigés
Category

Documents

Cours et exercices corrigés

Jean Lory

cours et exercices corrigés Alternate Text
Category

Documents

Sciences formelles

Cours et exercices corrigés

Jean Lory

Book

6 pages

Flag

Français

Photovoltaic demonstration projects
Category

Documents

Photovoltaic demonstration projects

European Commission Directorate-General For Energy

Photovoltaic demonstration projects Alternate Text
Category

Documents

Sciences formelles

Photovoltaic demonstration projects

European Commission Directorate-General For Energy

Book

240 pages

Flag

English

corrigé cours géométrie de base
Category

Documents

Corrigé cours géométrie de base

Yala Jules

corrigé cours géométrie de base Alternate Text
Category

Documents

Sciences formelles

Corrigé cours géométrie de base

Yala Jules

Book

11 pages

Flag

Français

Overview of This Tutorial
Category

Documents

Overview of This Tutorial

Mwelch

Overview of This Tutorial Alternate Text
Category

Documents

Sciences formelles

Overview of This Tutorial

Mwelch

Book

9 pages

Flag

English

Etude expérimentale et théorique du comportement d un tunnel renforcé par boulonnage frontal
Category

Documents

Etude expérimentale et théorique du comportement d'un tunnel renforcé par boulonnage frontal

Trompille Virginie

Etude expérimentale et théorique du comportement d un tunnel renforcé par boulonnage frontal Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale et théorique du comportement d'un tunnel renforcé par boulonnage frontal

Trompille Virginie

Book

32 pages

Flag

Français

Pole Grenoblois d étude et de recherches sur les risques naturels
Category

Documents

Pole Grenoblois d'étude et de recherches sur les risques naturels

Dominique Daudon

Pole Grenoblois d étude et de recherches sur les risques naturels Alternate Text
Category

Documents

Sciences formelles

Pole Grenoblois d'étude et de recherches sur les risques naturels

Dominique Daudon

Book

17 pages

Flag

Français

Apprentissage statistique
Category

Documents

Apprentissage statistique

Fouad Badran

Apprentissage statistique Alternate Text
Category

Documents

Sciences formelles

Apprentissage statistique

Fouad Badran

Book

4 pages

Flag

Français

A Tutorial on Proof Theoretic Foundations of Logic Programming
Category

Documents

A Tutorial on Proof Theoretic Foundations of Logic Programming

Paola Bruscoli And Alessio Guglielmi

A Tutorial on Proof Theoretic Foundations of Logic Programming Alternate Text
Category

Documents

Sciences formelles

A Tutorial on Proof Theoretic Foundations of Logic Programming

Paola Bruscoli And Alessio Guglielmi

Book

19 pages

Flag

English

these-10
Category

Documents

These-10

these-10 Alternate Text
Category

Documents

Sciences formelles

These-10

Book

1 pages

Flag

Français

Etude expérimentale et analyse numérique de la rupture des polymères amorphes
Category

Documents

Etude expérimentale et analyse numérique de la rupture des polymères amorphes

Saad Gouider Nesrine

Etude expérimentale et analyse numérique de la rupture des polymères amorphes Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale et analyse numérique de la rupture des polymères amorphes

Saad Gouider Nesrine

Book

56 pages

Flag

Français

Etude de la forme de la relation existante entre l écoulement mensuel  et le débit solide mensuel
Category

Documents

Etude de la forme de la relation existante entre l'écoulement mensuel et le débit solide mensuel

Claude Fournier, Frédéric; Hénin, Roger Stéphane

Etude de la forme de la relation existante entre l écoulement mensuel  et le débit solide mensuel Alternate Text
Category

Documents

Sciences formelles

Etude de la forme de la relation existante entre l'écoulement mensuel et le débit solide mensuel

Claude Fournier, Frédéric; Hénin, Roger Stéphane

Book

8 pages

Flag

Français

[tel-00443087, v1] Probabilités et mécanique statistique hors  équilibre
Category

Documents

[tel-00443087, v1] Probabilités et mécanique statistique hors équilibre

Lefevere, Rick Raphael

[tel-00443087, v1] Probabilités et mécanique statistique hors  équilibre Alternate Text
Category

Documents

Sciences formelles

[tel-00443087, v1] Probabilités et mécanique statistique hors équilibre

Lefevere, Rick Raphael

Book

83 pages

Flag

English

Cours glucides
Category

Documents

Cours glucides

Mohamed Saïd

Cours glucides Alternate Text
Category

Documents

Sciences formelles

Cours glucides

Mohamed Saïd

Book

14 pages

Flag

Français

Cours sur les triangles rectangle et cercle
Category

Documents

Cours sur les triangles rectangle et cercle

Fabrice

Cours sur les triangles rectangle et cercle Alternate Text
Category

Documents

Sciences formelles

Cours sur les triangles rectangle et cercle

Fabrice

Book

3 pages

Flag

Français

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

Documents

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

Charton, Virgile

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

Documents

Sciences formelles

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

Charton, Virgile

Book

3 pages

Flag

Français

Mathematics Grades 6-8 Benchmark Clarification and Content Limits
Category

Documents

Mathematics Grades 6-8 Benchmark Clarification and Content Limits

Wini Johnson

Mathematics Grades 6-8 Benchmark Clarification and Content Limits Alternate Text
Category

Documents

Sciences formelles

Mathematics Grades 6-8 Benchmark Clarification and Content Limits

Wini Johnson

Book

2 pages

Flag

English

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

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

Book

43 pages

Flag

Français

Why these actions? What purpose for them?
Category

Documents

Why these actions? What purpose for them?

Termonia

Why these actions? What purpose for them? Alternate Text
Category

Documents

Sciences formelles

Why these actions? What purpose for them?

Termonia

Book

8 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

49 pages

Flag

English

Algorithmic aspects of finite semigroup theory, a tutorial
Category

Documents

Algorithmic aspects of finite semigroup theory, a tutorial

Jean-Éric Pin

Algorithmic aspects of finite semigroup theory, a tutorial Alternate Text
Category

Documents

Sciences formelles

Algorithmic aspects of finite semigroup theory, a tutorial

Jean-Éric Pin

Book

47 pages

Flag

English

sixth grade benchmark
Category

Documents

Sixth grade benchmark

Catherine Miller

sixth grade benchmark Alternate Text
Category

Documents

Sciences formelles

Sixth grade benchmark

Catherine Miller

Book

4 pages

Flag

English

Alternate Text