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

Prix du gaz pour l industrie de l UE au 1er juillet 1995
Category

Documents

Prix du gaz pour l'industrie de l'UE au 1er juillet 1995

European Commission Eurostat

Prix du gaz pour l industrie de l UE au 1er juillet 1995 Alternate Text
Category

Documents

Sciences formelles

Prix du gaz pour l'industrie de l'UE au 1er juillet 1995

European Commission Eurostat

Book

16 pages

Flag

Serbian

Hydrodynamique physique, 3e édition
Category

Documents

Hydrodynamique physique, 3e édition

ÉTienne Guyon, Luc Petit, Jean-Pierre Hulin

Hydrodynamique physique, 3e édition Alternate Text
Category

Documents

Sciences formelles

Hydrodynamique physique, 3e édition

ÉTienne Guyon, Luc Petit, Jean-Pierre Hulin

Book

22 pages

Flag

Français

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

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

Oeuvres de Henri Poincaré :
Category

Documents

Oeuvres de Henri Poincaré :

Henri Poincaré, Gaston Darboux, Paul Appell

Oeuvres de Henri Poincaré : Alternate Text
Category

Documents

Sciences formelles

Oeuvres de Henri Poincaré :

Henri Poincaré, Gaston Darboux, Paul Appell

Book

718 pages

Flag

Français

SCA-7212 Cours No.4 (2009) Approche bayésienne  2.1
Category

Documents

SCA-7212 Cours No.4 (2009) Approche bayésienne 2.1

Gauthier_P

SCA-7212 Cours No.4 (2009) Approche bayésienne  2.1 Alternate Text
Category

Documents

Sciences formelles

SCA-7212 Cours No.4 (2009) Approche bayésienne 2.1

Gauthier_P

Book

21 pages

Flag

Français

Tp 06 Dipole RC Etude manuelle de la charge et de la décharg.p65
Category

Documents

Tp 06 Dipole RC Etude manuelle de la charge et de la décharg.p65

Brasseur

Tp 06 Dipole RC Etude manuelle de la charge et de la décharg.p65 Alternate Text
Category

Documents

Sciences formelles

Tp 06 Dipole RC Etude manuelle de la charge et de la décharg.p65

Brasseur

Book

4 pages

Flag

Français

Test de mathématiques, 9e année- Cours appliqué - Printemps 2006
Category

Documents

Test de mathématiques, 9e année- Cours appliqué - Printemps 2006

Oqre

Test de mathématiques, 9e année- Cours appliqué - Printemps 2006 Alternate Text
Category

Documents

Sciences formelles

Test de mathématiques, 9e année- Cours appliqué - Printemps 2006

Oqre

Book

13 pages

Flag

Catalan

Catálogo micológico preliminar del Pinar de Hoyocasero (Ávila, España)
Category

Documents

Catálogo micológico preliminar del Pinar de Hoyocasero (Ávila, España)

Jiménez García, Prudencio, Sánchez Sánchez, Gutiérrez Valle, Jesús Cipriano, José

Catálogo micológico preliminar del Pinar de Hoyocasero (Ávila, España) Alternate Text
Category

Documents

Sciences formelles

Catálogo micológico preliminar del Pinar de Hoyocasero (Ávila, España)

Jiménez García, Prudencio, Sánchez Sánchez, Gutiérrez Valle, Jesús Cipriano, José

Book

10 pages

Flag

Español

Test de mathématiques, 9e année - Cours théorique - Printemps 2006
Category

Documents

Test de mathématiques, 9e année - Cours théorique - Printemps 2006

Oqre

Test de mathématiques, 9e année - Cours théorique - Printemps 2006 Alternate Text
Category

Documents

Sciences formelles

Test de mathématiques, 9e année - Cours théorique - Printemps 2006

Oqre

Book

14 pages

Flag

Français

Ocellus Lucanus. On the nature of the universe. Taurus, the Platonic philosoher, On the eternity of the world. Julius Firmicus Maternus Of the thema mundi; in which the positions of the stars at the commencement of the several mundane periods is given. Select theorems on the perpetuity of time, by Proelus
Category

Documents

Ocellus Lucanus. On the nature of the universe. Taurus, the Platonic philosoher, On the eternity of the world. Julius Firmicus Maternus Of the thema mundi; in which the positions of the stars at the commencement of the several mundane periods is given. Select theorems on the perpetuity of time, by Proelus

Julius Firmicus Maternus, Thomas Taylor, Ca. 410-485 Proclus

Ocellus Lucanus. On the nature of the universe. Taurus, the Platonic philosoher, On the eternity of the world. Julius Firmicus Maternus Of the thema mundi; in which the positions of the stars at the commencement of the several mundane periods is given. Select theorems on the perpetuity of time, by Proelus Alternate Text
Category

Documents

Sciences formelles

Ocellus Lucanus. On the nature of the universe. Taurus, the Platonic philosoher, On the eternity of the world. Julius Firmicus Maternus Of the thema mundi; in which the positions of the stars at the commencement of the several mundane periods is given. Select theorems on the perpetuity of time, by Proelus

Julius Firmicus Maternus, Thomas Taylor, Ca. 410-485 Proclus

Book

120 pages

Flag

English

Histoire de l astronomie depuis ses origines jusqu à nos jours
Category

Documents

Histoire de l'astronomie depuis ses origines jusqu'à nos jours

M. (Jean Chrétien Ferdinand) Hoefer

Histoire de l astronomie depuis ses origines jusqu à nos jours Alternate Text
Category

Documents

Sciences formelles

Histoire de l'astronomie depuis ses origines jusqu'à nos jours

M. (Jean Chrétien Ferdinand) Hoefer

Book

644 pages

Flag

Français

Plantas medicinales españolas: Rosmarinus officinalisL. (Lamiaceae) (romero)
Category

Documents

Plantas medicinales españolas: Rosmarinus officinalisL. (Lamiaceae) (romero)

Luz María, Centeno Muñoz

Plantas medicinales españolas: Rosmarinus officinalisL. (Lamiaceae) (romero) Alternate Text
Category

Documents

Sciences formelles

Plantas medicinales españolas: Rosmarinus officinalisL. (Lamiaceae) (romero)

Luz María, Centeno Muñoz

Book

14 pages

Flag

Español

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

Documents

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

Charton, Virgile

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

Documents

Sciences formelles

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

Charton, Virgile

Book

6 pages

Flag

Français

BENCHMARK REVIEW OF JEF-2.2 LIBRARY FOR CRITICALITY ANALYSIS
Category

Documents

BENCHMARK REVIEW OF JEF-2.2 LIBRARY FOR CRITICALITY ANALYSIS

A. Nouri N. Smith B. Roque I. Guimier

BENCHMARK REVIEW OF JEF-2.2 LIBRARY FOR CRITICALITY ANALYSIS Alternate Text
Category

Documents

Sciences formelles

BENCHMARK REVIEW OF JEF-2.2 LIBRARY FOR CRITICALITY ANALYSIS

A. Nouri N. Smith B. Roque I. Guimier

Book

13 pages

Flag

English

Perspectives of development of partial-oxidation gas turbines for cogeneration
Category

Documents

Perspectives of development of partial-oxidation gas turbines for cogeneration

European Commission Joint Research Centre

Perspectives of development of partial-oxidation gas turbines for cogeneration Alternate Text
Category

Documents

Sciences formelles

Perspectives of development of partial-oxidation gas turbines for cogeneration

European Commission Joint Research Centre

Book

44 pages

Flag

English

Squeezing of pre-pressed beet pulp after extraction using a specially designed secondary press in order to save energy for drying by the application of heat
Category

Documents

Squeezing of pre-pressed beet pulp after extraction using a specially designed secondary press in order to save energy for drying by the application of heat

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Squeezing of pre-pressed beet pulp after extraction using a specially designed secondary press in order to save energy for drying by the application of heat Alternate Text
Category

Documents

Sciences formelles

Squeezing of pre-pressed beet pulp after extraction using a specially designed secondary press in order to save energy for drying by the application of heat

European Commission Directorate-General For The Information Society And Media Directorate-General For Energy

Book

36 pages

Flag

English

Oeuvres de Henri Poincaré :
Category

Documents

Oeuvres de Henri Poincaré :

Henri Poincaré, Gaston Darboux, Paul Appell

Oeuvres de Henri Poincaré : Alternate Text
Category

Documents

Sciences formelles

Oeuvres de Henri Poincaré :

Henri Poincaré, Gaston Darboux, Paul Appell

Book

534 pages

Flag

Français

dossier soutenance de thèse
Category

Documents

Dossier soutenance de thèse

R Tremier

dossier soutenance de thèse Alternate Text
Category

Documents

Sciences formelles

Dossier soutenance de thèse

R Tremier

Book

1 pages

Flag

Français

Mecanismos celulares y moleculares de la patología vascular de la dirofilariosis cardiopulmonar. El papel de las filarias y de los endosimbiontes del género Wolbachia
Category

Documents

Mecanismos celulares y moleculares de la patología vascular de la dirofilariosis cardiopulmonar. El papel de las filarias y de los endosimbiontes del género Wolbachia

García Morchón, Rodrigo

Mecanismos celulares y moleculares de la patología vascular de la dirofilariosis cardiopulmonar. El papel de las filarias y de los endosimbiontes del género Wolbachia Alternate Text
Category

Documents

Sciences formelles

Mecanismos celulares y moleculares de la patología vascular de la dirofilariosis cardiopulmonar. El papel de las filarias y de los endosimbiontes del género Wolbachia

García Morchón, Rodrigo

Book

277 pages

Flag

Español

Cours - Matrices
Category

Documents

Cours - Matrices

Cours - Matrices Alternate Text
Category

Documents

Sciences formelles

Cours - Matrices

Book

20 pages

Flag

Français

Understanding variation in partition coefficient, kd, values
Category

Documents

Understanding variation in partition coefficient, kd, values

Epa/Oar/Office Of Radiation And Indoor Air

Understanding variation in partition coefficient, kd, values Alternate Text
Category

Documents

Sciences formelles

Understanding variation in partition coefficient, kd, values

Epa/Oar/Office Of Radiation And Indoor Air

Book

15 pages

Flag

Français

sujet these T. Contini
Category

Documents

Sujet these T. Contini

Olivier Gasnault

sujet these T. Contini Alternate Text
Category

Documents

Sciences formelles

Sujet these T. Contini

Olivier Gasnault

Book

1 pages

Flag

Français

Columna lumbar y fisioterapia : bases anatómicas
Category

Documents

Columna lumbar y fisioterapia : bases anatómicas

Rollán Elices, Rocío

Columna lumbar y fisioterapia : bases anatómicas Alternate Text
Category

Documents

Sciences formelles

Columna lumbar y fisioterapia : bases anatómicas

Rollán Elices, Rocío

Book

134 pages

Flag

Español

Tutorial-AC gcuo
Category

Documents

Tutorial-AC gcuo

Schen

Tutorial-AC gcuo Alternate Text
Category

Documents

Sciences formelles

Tutorial-AC gcuo

Schen

Book

3 pages

Flag

English

Debut these 98
Category

Documents

Debut these 98

Jacqueline Plancy

Debut these 98 Alternate Text
Category

Documents

Sciences formelles

Debut these 98

Jacqueline Plancy

Book

5 pages

Flag

Français

Corrigé Cours les nombres décimaux relatifs
Category

Documents

Corrigé Cours les nombres décimaux relatifs

Yala Jules

Corrigé Cours les nombres décimaux relatifs Alternate Text
Category

Documents

Sciences formelles

Corrigé Cours les nombres décimaux relatifs

Yala Jules

Book

13 pages

Flag

Français

La métallurgie extractive du fer dans la Montagne Noire (France) à l époque romaine. Nouveaux documents - article ; n°1 ; vol.32, pg 147-156
Category

Documents

La métallurgie extractive du fer dans la Montagne Noire (France) à l'époque romaine. Nouveaux documents - article ; n°1 ; vol.32, pg 147-156

Catherine Jarrier, Francis Tollon, Domergue Claude

La métallurgie extractive du fer dans la Montagne Noire (France) à l époque romaine. Nouveaux documents - article ; n°1 ; vol.32, pg 147-156 Alternate Text
Category

Documents

Sciences formelles

La métallurgie extractive du fer dans la Montagne Noire (France) à l'époque romaine. Nouveaux documents - article ; n°1 ; vol.32, pg 147-156

Catherine Jarrier, Francis Tollon, Domergue Claude

Book

11 pages

Flag

Français

Alternate Text