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
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

3 pages

Flag

English

ens-mellies-cours-4
Category

Documents

Ens-mellies-cours-4

ens-mellies-cours-4 Alternate Text
Category

Documents

Sciences formelles

Ens-mellies-cours-4

Book

32 pages

Flag

Catalan

Cours-Vacher
Category

Documents

Cours-Vacher

Cours-Vacher Alternate Text
Category

Documents

Sciences formelles

Cours-Vacher

Book

10 pages

Flag

Français

Tutorial
Category

Documents

Tutorial

Administrator

Tutorial Alternate Text
Category

Documents

Sciences formelles

Tutorial

Administrator

Book

25 pages

Flag

English

Approche expérimentale et étude théorique des mécanismes de dissipation de l énergie vibratoire.
Category

Documents

Approche expérimentale et étude théorique des mécanismes de dissipation de l'énergie vibratoire.

Perret Damien

Approche expérimentale et étude théorique des mécanismes de dissipation de l énergie vibratoire. Alternate Text
Category

Documents

Sciences formelles

Approche expérimentale et étude théorique des mécanismes de dissipation de l'énergie vibratoire.

Perret Damien

Book

2 pages

Flag

Français

thèse de joëlle nockermannintro
Category

Documents

Thèse de joëlle nockermannintro

Iusr_Pdftranslator

thèse de joëlle nockermannintro Alternate Text
Category

Documents

Sciences formelles

Thèse de joëlle nockermannintro

Iusr_Pdftranslator

Book

4 pages

Flag

Catalan

Turbulent flow through pipes and fittings
Category

Documents

Turbulent flow through pipes and fittings

Directorate-General For Translation European Commission

Turbulent flow through pipes and fittings Alternate Text
Category

Documents

Sciences formelles

Turbulent flow through pipes and fittings

Directorate-General For Translation European Commission

Book

148 pages

Flag

English

Nutzung der Abwärme von Fahrzeugmotoren
Category

Documents

Nutzung der Abwärme von Fahrzeugmotoren

Directorate-General For Translation European Commission

Nutzung der Abwärme von Fahrzeugmotoren Alternate Text
Category

Documents

Sciences formelles

Nutzung der Abwärme von Fahrzeugmotoren

Directorate-General For Translation European Commission

Book

120 pages

Flag

Deutsch

Magnesium hydride for load levelling energy storage
Category

Documents

Magnesium hydride for load levelling energy storage

Directorate-General For Translation European Commission

Magnesium hydride for load levelling energy storage Alternate Text
Category

Documents

Sciences formelles

Magnesium hydride for load levelling energy storage

Directorate-General For Translation European Commission

Book

228 pages

Flag

English

HEAT OF DILUTION AND DERIVED PROPERTIES OF FeCL3-SOLUTIONS
Category

Documents

HEAT OF DILUTION AND DERIVED PROPERTIES OF FeCL3-SOLUTIONS

Directorate-General For Translation European Commission

HEAT OF DILUTION AND DERIVED PROPERTIES OF FeCL3-SOLUTIONS Alternate Text
Category

Documents

Sciences formelles

HEAT OF DILUTION AND DERIVED PROPERTIES OF FeCL3-SOLUTIONS

Directorate-General For Translation European Commission

Book

24 pages

Flag

English

Relations between technology, capital and labour
Category

Documents

Relations between technology, capital and labour

Directorate-General For Translation European Commission

Relations between technology, capital and labour Alternate Text
Category

Documents

Sciences formelles

Relations between technology, capital and labour

Directorate-General For Translation European Commission

Book

352 pages

Flag

English

Solar collectors in architecture
Category

Documents

Solar collectors in architecture

Directorate-General For Translation European Commission

Solar collectors in architecture Alternate Text
Category

Documents

Sciences formelles

Solar collectors in architecture

Directorate-General For Translation European Commission

Book

328 pages

Flag

English

Reactor performance of MC, MN, MCN and MCO
Category

Documents

Reactor performance of MC, MN, MCN and MCO

Directorate-General For Translation European Commission

Reactor performance of MC, MN, MCN and MCO Alternate Text
Category

Documents

Sciences formelles

Reactor performance of MC, MN, MCN and MCO

Directorate-General For Translation European Commission

Book

68 pages

Flag

English

Photovoltaïc power generation
Category

Documents

Photovoltaïc power generation

Directorate-General For Translation European Commission

Photovoltaïc power generation Alternate Text
Category

Documents

Sciences formelles

Photovoltaïc power generation

Directorate-General For Translation European Commission

Book

316 pages

Flag

English

Wind energy
Category

Documents

Wind energy

Directorate-General For Translation European Commission

Wind energy Alternate Text
Category

Documents

Sciences formelles

Wind energy

Directorate-General For Translation European Commission

Book

288 pages

Flag

English

DIFFERENTIAL DIAGNOSIS OF AVIAN LYMPHOID LEUKOSIS AND MAREK S DISEASE
Category

Documents

DIFFERENTIAL DIAGNOSIS OF AVIAN LYMPHOID LEUKOSIS AND MAREK'S DISEASE

Directorate-General For Translation European Commission

DIFFERENTIAL DIAGNOSIS OF AVIAN LYMPHOID LEUKOSIS AND MAREK S DISEASE Alternate Text
Category

Documents

Sciences formelles

DIFFERENTIAL DIAGNOSIS OF AVIAN LYMPHOID LEUKOSIS AND MAREK'S DISEASE

Directorate-General For Translation European Commission

Book

110 pages

Flag

English

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry
Category

Documents

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry

Directorate-General For Translation European Commission

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry Alternate Text
Category

Documents

Sciences formelles

PROCEEDINGS of the First ASTM-EURATOM Symposium on Reactor Dosimetry

Directorate-General For Translation European Commission

Book

868 pages

Flag

English

Reports of the Scientific Committee for Food
Category

Documents

Reports of the Scientific Committee for Food

Directorate-General For Translation European Commission

Reports of the Scientific Committee for Food Alternate Text
Category

Documents

Sciences formelles

Reports of the Scientific Committee for Food

Directorate-General For Translation European Commission

Book

32 pages

Flag

English

Presentation and analysis of national results for reference case II
Category

Documents

Presentation and analysis of national results for reference case II

Directorate-General For Translation European Commission

Presentation and analysis of national results for reference case II Alternate Text
Category

Documents

Sciences formelles

Presentation and analysis of national results for reference case II

Directorate-General For Translation European Commission

Book

62 pages

Flag

English

Self-Organization in the Physico-Chemical and Life Sciences
Category

Documents

Self-Organization in the Physico-Chemical and Life Sciences

Directorate-General For Translation European Commission

Self-Organization in the Physico-Chemical and Life Sciences Alternate Text
Category

Documents

Sciences formelles

Self-Organization in the Physico-Chemical and Life Sciences

Directorate-General For Translation European Commission

Book

128 pages

Flag

English

Industrial Applications of Neural Networks
Category

Documents

Industrial Applications of Neural Networks

Directorate-General For Translation European Commission

Industrial Applications of Neural Networks Alternate Text
Category

Documents

Sciences formelles

Industrial Applications of Neural Networks

Directorate-General For Translation European Commission

Book

312 pages

Flag

English

Structure and properties of scale4th congress
Category

Documents

Structure and properties of scale4th congress

Directorate-General For Translation European Commission

Structure and properties of scale4th congress Alternate Text
Category

Documents

Sciences formelles

Structure and properties of scale4th congress

Directorate-General For Translation European Commission

Book

24 pages

Flag

English

Agronomical trials with sweet sorghum
Category

Documents

Agronomical trials with sweet sorghum

Directorate-General For Translation European Commission

Agronomical trials with sweet sorghum Alternate Text
Category

Documents

Sciences formelles

Agronomical trials with sweet sorghum

Directorate-General For Translation European Commission

Book

50 pages

Flag

English

PROCEEDINGS OF THE CEC/USDOE WORKSHOP ON UNCERTAINTY ANALYSIS
Category

Documents

PROCEEDINGS OF THE CEC/USDOE WORKSHOP ON UNCERTAINTY ANALYSIS

Directorate-General For Translation European Commission

PROCEEDINGS OF THE CEC/USDOE WORKSHOP ON UNCERTAINTY ANALYSIS Alternate Text
Category

Documents

Sciences formelles

PROCEEDINGS OF THE CEC/USDOE WORKSHOP ON UNCERTAINTY ANALYSIS

Directorate-General For Translation European Commission

Book

92 pages

Flag

English

CORDIS focus – RTD Results Supplement – Issue no 50 – July 2004
Category

Documents

CORDIS focus – RTD Results Supplement – Issue no 50 – July 2004

Publications Office

CORDIS focus – RTD Results Supplement – Issue no 50 – July 2004 Alternate Text
Category

Documents

Sciences formelles

CORDIS focus – RTD Results Supplement – Issue no 50 – July 2004

Publications Office

Book

4 pages

Flag

English

La téléphonie mobile – un risque pour la santé? 1
Category

Documents

La téléphonie mobile – un risque pour la santé? 1

La téléphonie mobile – un risque pour la santé? 1 Alternate Text
Category

Documents

Sciences formelles

La téléphonie mobile – un risque pour la santé? 1

Book

2 pages

Flag

Français

La téléphonie mobile est-elle dangereuse  pour la santé ?
Category

Documents

La téléphonie mobile est-elle dangereuse pour la santé ?

Phils

La téléphonie mobile est-elle dangereuse  pour la santé ? Alternate Text
Category

Documents

Sciences formelles

La téléphonie mobile est-elle dangereuse pour la santé ?

Phils

Book

11 pages

Flag

Français

NOTE D INFORMATION
Category

Documents

NOTE D'INFORMATION

Seube Christian

NOTE D INFORMATION Alternate Text
Category

Documents

Sciences formelles

NOTE D'INFORMATION

Seube Christian

Book

12 pages

Flag

Français

Champs électro-magnétiques - (riirem
Category

Documents

Champs électro-magnétiques - (riirem

Avidy

Champs électro-magnétiques - (riirem Alternate Text
Category

Documents

Sciences formelles

Champs électro-magnétiques - (riirem

Avidy

Book

8 pages

Flag

Français

Théorie analytique des probabilités
Category

Documents

Théorie analytique des probabilités

Ve. (1820) Bkp Cu-Banc Courcier, University Of California Libraries, Pierre-Simon Laplace

Théorie analytique des probabilités Alternate Text
Category

Documents

Sciences formelles

Théorie analytique des probabilités

Ve. (1820) Bkp Cu-Banc Courcier, University Of California Libraries, Pierre-Simon Laplace

Book

846 pages

Flag

Français

Alternate Text