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
Exo2 - Etude harmonique premier ordre généralisé  corrigé
Category

Documents

Exo2 - Etude harmonique premier ordre généralisé corrigé

Bozhaut

Exo2 - Etude harmonique premier ordre généralisé  corrigé Alternate Text
Category

Documents

Sciences formelles

Exo2 - Etude harmonique premier ordre généralisé corrigé

Bozhaut

Book

7 pages

Flag

Serbian

LOGIQUE DE LA DÉTERMINATION D OBJETS (LDO) : UNE LOGIQUE POUR L ...
Category

Documents

LOGIQUE DE LA DÉTERMINATION D'OBJETS (LDO) : UNE LOGIQUE POUR L ...

Petrut

LOGIQUE DE LA DÉTERMINATION D OBJETS (LDO) : UNE LOGIQUE POUR L ... Alternate Text
Category

Documents

Sciences formelles

LOGIQUE DE LA DÉTERMINATION D'OBJETS (LDO) : UNE LOGIQUE POUR L ...

Petrut

Book

41 pages

Flag

Français

Support de Cours- 2010
Category

Documents

Support de Cours- 2010

Umr7043

Support de Cours- 2010 Alternate Text
Category

Documents

Sciences formelles

Support de Cours- 2010

Umr7043

Book

23 pages

Flag

Français

THE CERTIFICATION OF OPAL GLASS CRM 406. Report
Category

Documents

THE CERTIFICATION OF OPAL GLASS CRM 406. Report

Directorate-General For Research And Innovation

THE CERTIFICATION OF OPAL GLASS CRM 406. Report Alternate Text
Category

Documents

Sciences formelles

THE CERTIFICATION OF OPAL GLASS CRM 406. Report

Directorate-General For Research And Innovation

Book

68 pages

Flag

English

Exploring the nanophysics of condensed matter
Category

Documents

Exploring the nanophysics of condensed matter

European Commission Directorate-General For Research And Innovation

Exploring the nanophysics of condensed matter Alternate Text
Category

Documents

Sciences formelles

Exploring the nanophysics of condensed matter

European Commission Directorate-General For Research And Innovation

Book

124 pages

Flag

English

A review of the properties of 9-12% Cr steels for use as HP/IP rotors in advanced steam turbines
Category

Documents

A review of the properties of 9-12% Cr steels for use as HP/IP rotors in advanced steam turbines

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

A review of the properties of 9-12% Cr steels for use as HP/IP rotors in advanced steam turbines Alternate Text
Category

Documents

Sciences formelles

A review of the properties of 9-12% Cr steels for use as HP/IP rotors in advanced steam turbines

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

Book

108 pages

Flag

English

The assessment of low-level contamination from gamma-emitting radionuclides
Category

Documents

The assessment of low-level contamination from gamma-emitting radionuclides

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

The assessment of low-level contamination from gamma-emitting radionuclides Alternate Text
Category

Documents

Sciences formelles

The assessment of low-level contamination from gamma-emitting radionuclides

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

Book

144 pages

Flag

English

[cel-00429788, v1] (Cours) Elasticité linéaire
Category

Documents

[cel-00429788, v1] (Cours) Elasticité linéaire

Désoyer, James Francis Thierry

[cel-00429788, v1] (Cours) Elasticité linéaire Alternate Text
Category

Documents

Sciences formelles

[cel-00429788, v1] (Cours) Elasticité linéaire

Désoyer, James Francis Thierry

Book

86 pages

Flag

Français

Correlaciones anatomoclínicas en el paciente con traumatismo raquimedular y/o craneoencefálico: Importancia en enfermería.
Category

Documents

Correlaciones anatomoclínicas en el paciente con traumatismo raquimedular y/o craneoencefálico: Importancia en enfermería.

Martín Gonzalo, Pilar

Correlaciones anatomoclínicas en el paciente con traumatismo raquimedular y/o craneoencefálico: Importancia en enfermería. Alternate Text
Category

Documents

Sciences formelles

Correlaciones anatomoclínicas en el paciente con traumatismo raquimedular y/o craneoencefálico: Importancia en enfermería.

Martín Gonzalo, Pilar

Book

219 pages

Flag

Español

Etude du comportement de copolymères à blocs ABC en solvants réactifs. Application à la compatibilisation
Category

Documents

Etude du comportement de copolymères à blocs ABC en solvants réactifs. Application à la compatibilisation

Fine Thomas

Etude du comportement de copolymères à blocs ABC en solvants réactifs. Application à la compatibilisation Alternate Text
Category

Documents

Sciences formelles

Etude du comportement de copolymères à blocs ABC en solvants réactifs. Application à la compatibilisation

Fine Thomas

Book

6 pages

Flag

Français

Technologies du multimédia
Category

Documents

Technologies du multimédia

Technologies du multimédia Alternate Text
Category

Documents

Sciences formelles

Technologies du multimédia

Book

137 pages

Flag

Français

Cours sur les fonctions exponentielles et logarithmes - Bacamaths
Category

Documents

Cours sur les fonctions exponentielles et logarithmes - Bacamaths

Costantini

Cours sur les fonctions exponentielles et logarithmes - Bacamaths Alternate Text
Category

Documents

Sciences formelles

Cours sur les fonctions exponentielles et logarithmes - Bacamaths

Costantini

Book

19 pages

Flag

Français

Catalogue of European earthquakes and an atlas of European seismic maps
Category

Documents

Catalogue of European earthquakes and an atlas of European seismic maps

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

Catalogue of European earthquakes and an atlas of European seismic maps Alternate Text
Category

Documents

Sciences formelles

Catalogue of European earthquakes and an atlas of European seismic maps

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

Book

168 pages

Flag

English

Mogelijkheden tot het verrichten van bestralingsexperimenten in de HFR en de laboratoria van de Inrichting voor Gemeenschappelijk Onderzoek op het gebied van de kernenergie van Euratom en het Reactor Centrum Nederland te Petten
Category

Documents

Mogelijkheden tot het verrichten van bestralingsexperimenten in de HFR en de laboratoria van de Inrichting voor Gemeenschappelijk Onderzoek op het gebied van de kernenergie van Euratom en het Reactor Centrum Nederland te Petten

Directorate-General For Translation European Commission

Mogelijkheden tot het verrichten van bestralingsexperimenten in de HFR en de laboratoria van de Inrichting voor Gemeenschappelijk Onderzoek op het gebied van de kernenergie van Euratom en het Reactor Centrum Nederland te Petten Alternate Text
Category

Documents

Sciences formelles

Mogelijkheden tot het verrichten van bestralingsexperimenten in de HFR en de laboratoria van de Inrichting voor Gemeenschappelijk Onderzoek op het gebied van de kernenergie van Euratom en het Reactor Centrum Nederland te Petten

Directorate-General For Translation European Commission

Book

52 pages

Flag

Nederlandse

Analyse des infiniment petits
Category

Documents

Analyse des infiniment petits

John Adams, Marquis De (Guillaume François Antoine) L'Hospital, Aimé-Henri Paulian, John Adams Library At The Boston Public Library, John Adams Library (Boston Public Library) Brl, John Quincy Adams

Analyse des infiniment petits Alternate Text
Category

Documents

Sciences formelles

Analyse des infiniment petits

John Adams, Marquis De (Guillaume François Antoine) L'Hospital, Aimé-Henri Paulian, John Adams Library At The Boston Public Library, John Adams Library (Boston Public Library) Brl, John Quincy Adams

Book

456 pages

Flag

Français

quatrieme-cours-tal
Category

Documents

Quatrieme-cours-tal

quatrieme-cours-tal Alternate Text
Category

Documents

Sciences formelles

Quatrieme-cours-tal

Book

7 pages

Flag

Français

Etude du comportement d une équation de réaction diffusion avec terme  de gradient dissipatif dans
Category

Documents

Etude du comportement d'une équation de réaction diffusion avec terme de gradient dissipatif dans

Jean-Philippe Bartier

Etude du comportement d une équation de réaction diffusion avec terme  de gradient dissipatif dans Alternate Text
Category

Documents

Sciences formelles

Etude du comportement d'une équation de réaction diffusion avec terme de gradient dissipatif dans

Jean-Philippe Bartier

Book

32 pages

Flag

Français

Cours-INF121-Chap1-04-05-10
Category

Documents

Cours-INF121-Chap1-04-05-10

Jmfavre

Cours-INF121-Chap1-04-05-10 Alternate Text
Category

Documents

Sciences formelles

Cours-INF121-Chap1-04-05-10

Jmfavre

Book

95 pages

Flag

Français

AIMMS Tutorial for Professionals - Getting Acquainted
Category

Documents

AIMMS Tutorial for Professionals - Getting Acquainted

J.J. Bisschop And J.B.J. Heerink

AIMMS Tutorial for Professionals - Getting Acquainted Alternate Text
Category

Documents

Sciences formelles

AIMMS Tutorial for Professionals - Getting Acquainted

J.J. Bisschop And J.B.J. Heerink

Book

15 pages

Flag

English

De la Puce au Web - Cours n  2601
Category

Documents

De la Puce au Web - Cours n 2601

De la Puce au Web - Cours n  2601 Alternate Text
Category

Documents

Sciences formelles

De la Puce au Web - Cours n 2601

Book

20 pages

Flag

Français

Memoires de la Société Imperiale des Sciences Naturelles de Cherbourg
Category

Documents

Memoires de la Société Imperiale des Sciences Naturelles de Cherbourg

Société Imperiale Des Sciences Naturelles De Cherbourg, London Natural History Museum Library

Memoires de la Société Imperiale des Sciences Naturelles de Cherbourg Alternate Text
Category

Documents

Sciences formelles

Memoires de la Société Imperiale des Sciences Naturelles de Cherbourg

Société Imperiale Des Sciences Naturelles De Cherbourg, London Natural History Museum Library

Book

844 pages

Flag

Français

Cours les suites - Premiere S
Category

Documents

Cours les suites - Premiere S

Costantini

Cours les suites - Premiere S Alternate Text
Category

Documents

Sciences formelles

Cours les suites - Premiere S

Costantini

Book

18 pages

Flag

Français

cours sur les variables aléatoires réelles
Category

Documents

Cours sur les variables aléatoires réelles

cours sur les variables aléatoires réelles Alternate Text
Category

Documents

Sciences formelles

Cours sur les variables aléatoires réelles

Book

10 pages

Flag

Français

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

500 pages

Flag

Français

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. 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, Paris 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. 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, Paris Société De Biologie

Book

524 pages

Flag

Français

Comment calculer des racines carrées à la main
Category

Documents

Comment calculer des racines carrées à la main

Comment calculer des racines carrées à la main Alternate Text
Category

Documents

Sciences formelles

Comment calculer des racines carrées à la main

Book

7 pages

Flag

Français

Extrait de cours d été Révision Mathématiques 4ème
Category

Documents

Extrait de cours d'été Révision Mathématiques 4ème

Cours Legendre

Extrait de cours d été Révision Mathématiques 4ème Alternate Text
Category

Documents

Sciences formelles

Extrait de cours d'été Révision Mathématiques 4ème

Cours Legendre

Book

15 pages

Flag

Français

Aspect pseudo-glaciaire des mouvements de masse dans l Apennin calcaire : le cas du Mont Cervati (Campanie, Italie du Sud)/Pseudo-glacial feature of mass-movements in the calcareous Apennines : the Mount Cervati example (Campania, Southern Italy) - article ; n°1 ; vol.1, pg 29-48
Category

Documents

Aspect pseudo-glaciaire des mouvements de masse dans l'Apennin calcaire : le cas du Mont Cervati (Campanie, Italie du Sud)/Pseudo-glacial feature of mass-movements in the calcareous Apennines : the Mount Cervati example (Campania, Southern Italy) - article ; n°1 ; vol.1, pg 29-48

Emmanuel Jaurand

Aspect pseudo-glaciaire des mouvements de masse dans l Apennin calcaire : le cas du Mont Cervati (Campanie, Italie du Sud)/Pseudo-glacial feature of mass-movements in the calcareous Apennines : the Mount Cervati example (Campania, Southern Italy) - article ; n°1 ; vol.1, pg 29-48 Alternate Text
Category

Documents

Sciences formelles

Aspect pseudo-glaciaire des mouvements de masse dans l'Apennin calcaire : le cas du Mont Cervati (Campanie, Italie du Sud)/Pseudo-glacial feature of mass-movements in the calcareous Apennines : the Mount Cervati example (Campania, Southern Italy) - article ; n°1 ; vol.1, pg 29-48

Emmanuel Jaurand

Book

21 pages

Flag

Français

The certification of the contents (mass fractions) of Cd, Pb, Se, Cu, Zn, Fe and Mn in wholemeal flour and lyophilized brown bread reference materialsWholemeal flour CRM 189Brown bread CRM 191
Category

Documents

The certification of the contents (mass fractions) of Cd, Pb, Se, Cu, Zn, Fe and Mn in wholemeal flour and lyophilized brown bread reference materialsWholemeal flour CRM 189Brown bread CRM 191

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

The certification of the contents (mass fractions) of Cd, Pb, Se, Cu, Zn, Fe and Mn in wholemeal flour and lyophilized brown bread reference materialsWholemeal flour CRM 189Brown bread CRM 191 Alternate Text
Category

Documents

Sciences formelles

The certification of the contents (mass fractions) of Cd, Pb, Se, Cu, Zn, Fe and Mn in wholemeal flour and lyophilized brown bread reference materialsWholemeal flour CRM 189Brown bread CRM 191

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

Book

76 pages

Flag

English

René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH
Category

Documents

René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH

Directorate-General For Research And Innovation European Commission

René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH Alternate Text
Category

Documents

Sciences formelles

René Descartes Prize. FOR OUTSTANDING SCIENTIFIC AND TECHNOLOGICAL ACHIEVEMENTS RESULTING FROM EUROPEAN COLLABORATIVE RESEARCH

Directorate-General For Research And Innovation European Commission

Book

2 pages

Flag

English

Alternate Text