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
SOA tutorial
Category

Documents

SOA tutorial

Charles Dingee

SOA tutorial Alternate Text
Category

Documents

Sciences formelles

SOA tutorial

Charles Dingee

Book

3 pages

Flag

English

COURS SUR LE CALCUL VECTORIEL Bac Pro
Category

Documents

COURS SUR LE CALCUL VECTORIEL Bac Pro

Lopez

COURS SUR LE CALCUL VECTORIEL Bac Pro Alternate Text
Category

Documents

Sciences formelles

COURS SUR LE CALCUL VECTORIEL Bac Pro

Lopez

Book

4 pages

Flag

Français

Fatigue behaviour of thin sheet assemblies under multi-axial loading
Category

Documents

Fatigue behaviour of thin sheet assemblies under multi-axial loading

Directorate-General For Research And Innovation European Commission

Fatigue behaviour of thin sheet assemblies under multi-axial loading Alternate Text
Category

Documents

Sciences formelles

Fatigue behaviour of thin sheet assemblies under multi-axial loading

Directorate-General For Research And Innovation European Commission

Book

64 pages

Flag

English

CRPE - Education physique et sportive concours 2010
Category

Documents

CRPE - Education physique et sportive concours 2010

Twiggy Tizzoni

CRPE - Education physique et sportive concours 2010 Alternate Text
Category

Documents

Sciences formelles

CRPE - Education physique et sportive concours 2010

Twiggy Tizzoni

Book

10 pages

Flag

Français

These Final
Category

Documents

These Final

Christelle Remi

These Final Alternate Text
Category

Documents

Sciences formelles

These Final

Christelle Remi

Book

20 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

11 pages

Flag

Français

Comment on fiTrapping force, force constant, and  potential depths for dielectric spheres in the  presence
Category

Documents

Comment on fiTrapping force, force constant, and potential depths for dielectric spheres in the presence

Comment on fiTrapping force, force constant, and  potential depths for dielectric spheres in the  presence Alternate Text
Category

Documents

Sciences formelles

Comment on fiTrapping force, force constant, and potential depths for dielectric spheres in the presence

Book

2 pages

Flag

English

Certification of the purity of two polycyclic aromatic hydrocarbonsBCR reference materials
Category

Documents

Certification of the purity of two polycyclic aromatic hydrocarbonsBCR reference materials

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

Certification of the purity of two polycyclic aromatic hydrocarbonsBCR reference materials Alternate Text
Category

Documents

Sciences formelles

Certification of the purity of two polycyclic aromatic hydrocarbonsBCR reference materials

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

Book

36 pages

Flag

English

Acetiltransferasas de histonas en Candida albicans: análisis del perfil transcripcional
Category

Documents

Acetiltransferasas de histonas en Candida albicans: análisis del perfil transcripcional

Blázquez Dégano, Rosa María

Acetiltransferasas de histonas en Candida albicans: análisis del perfil transcripcional Alternate Text
Category

Documents

Sciences formelles

Acetiltransferasas de histonas en Candida albicans: análisis del perfil transcripcional

Blázquez Dégano, Rosa María

Book

256 pages

Flag

Español

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

574 pages

Flag

Français

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

101 pages

Flag

English

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455
Category

Documents

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455

Edouard Mehl

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455 Alternate Text
Category

Documents

Sciences formelles

Euclide et la fin de la Renaissance : Sur le scholie de la proposition XIII.18 /Euclid and the end of the Renaissance : Concerning the scholium on proposition XIII.18 - article ; n°2 ; vol.56, pg 439-455

Edouard Mehl

Book

18 pages

Flag

Français

Computer assisted modelling of metallurgical aspects of hot deformation and transformation of steels (Phase 2)
Category

Documents

Computer assisted modelling of metallurgical aspects of hot deformation and transformation of steels (Phase 2)

Directorate-General For Research And Innovation European Commission

Computer assisted modelling of metallurgical aspects of hot deformation and transformation of steels (Phase 2) Alternate Text
Category

Documents

Sciences formelles

Computer assisted modelling of metallurgical aspects of hot deformation and transformation of steels (Phase 2)

Directorate-General For Research And Innovation European Commission

Book

2 pages

Flag

Breton

Report on the improvements in the determination of chlorobiphenyls leading to the certification of seven CBs in two fish oils and in sewage sludge
Category

Documents

Report on the improvements in the determination of chlorobiphenyls leading to the certification of seven CBs in two fish oils and in sewage sludge

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

Report on the improvements in the determination of chlorobiphenyls leading to the certification of seven CBs in two fish oils and in sewage sludge Alternate Text
Category

Documents

Sciences formelles

Report on the improvements in the determination of chlorobiphenyls leading to the certification of seven CBs in two fish oils and in sewage sludge

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

Book

60 pages

Flag

English

Comment on A Spreadsheet for Analysis of Straightforward Controlled  Trials
Category

Documents

Comment on A Spreadsheet for Analysis of Straightforward Controlled Trials

Alan M Batterham

Comment on A Spreadsheet for Analysis of Straightforward Controlled  Trials Alternate Text
Category

Documents

Sciences formelles

Comment on A Spreadsheet for Analysis of Straightforward Controlled Trials

Alan M Batterham

Book

2 pages

Flag

English

Cristina VOLPE PRODUCTION SCIENTIFIQUE
Category

Documents

Cristina VOLPE PRODUCTION SCIENTIFIQUE

Cristina VOLPE PRODUCTION SCIENTIFIQUE Alternate Text
Category

Documents

Sciences formelles

Cristina VOLPE PRODUCTION SCIENTIFIQUE

Book

15 pages

Flag

Français

Taza carrefour des deux infinis
Category

Documents

Taza carrefour des deux infinis

Hoummada

Taza carrefour des deux infinis Alternate Text
Category

Documents

Sciences formelles

Taza carrefour des deux infinis

Hoummada

Book

11 pages

Flag

Français

Srie Comment utiliser
Category

Documents

Srie Comment utiliser

Cssa

Srie Comment utiliser Alternate Text
Category

Documents

Sciences formelles

Srie Comment utiliser

Cssa

Book

6 pages

Flag

Français

these
Category

Documents

These

these Alternate Text
Category

Documents

Sciences formelles

These

Book

6 pages

Flag

Catalan

Cours de calcul différentiel
Category

Documents

Cours de calcul différentiel

Cours de calcul différentiel Alternate Text
Category

Documents

Sciences formelles

Cours de calcul différentiel

Book

57 pages

Flag

Français

Cours Pourcentages
Category

Documents

Cours Pourcentages

Jgcuaz

Cours Pourcentages Alternate Text
Category

Documents

Sciences formelles

Cours Pourcentages

Jgcuaz

Book

2 pages

Flag

Français

Radioprotection pratique pour l’industrie et la recherche – Sources non scellées
Category

Documents

Radioprotection pratique pour l’industrie et la recherche – Sources non scellées

Hugues Bruchet

Radioprotection pratique pour l’industrie et la recherche – Sources non scellées Alternate Text
Category

Documents

Sciences formelles

Radioprotection pratique pour l’industrie et la recherche – Sources non scellées

Hugues Bruchet

Book

21 pages

Flag

Français

Comment on On the original proof by reductio ad absurdum of the  Hohenberg-Kohn theorem for many-electron
Category

Documents

Comment on On the original proof by reductio ad absurdum of the Hohenberg-Kohn theorem for many-electron

Comment on On the original proof by reductio ad absurdum of the  Hohenberg-Kohn theorem for many-electron Alternate Text
Category

Documents

Sciences formelles

Comment on On the original proof by reductio ad absurdum of the Hohenberg-Kohn theorem for many-electron

Book

2 pages

Flag

English

Guidance on socio-economic analysis, restrictions
Category

Documents

Guidance on socio-economic analysis, restrictions

Echa — European Chemicals Agency

Guidance on socio-economic analysis, restrictions Alternate Text
Category

Documents

Sciences formelles

Guidance on socio-economic analysis, restrictions

Echa — European Chemicals Agency

Book

212 pages

Flag

English

CAARMS11 Tutorial on Hamiltonians
Category

Documents

CAARMS11 Tutorial on Hamiltonians

Wmassey

CAARMS11 Tutorial on Hamiltonians Alternate Text
Category

Documents

Sciences formelles

CAARMS11 Tutorial on Hamiltonians

Wmassey

Book

22 pages

Flag

English

Introduction à l’algorithmique du texte pour la bio informatique
Category

Documents

Introduction à l’algorithmique du texte pour la bio informatique

Introduction à l’algorithmique du texte pour la bio informatique Alternate Text
Category

Documents

Sciences formelles

Introduction à l’algorithmique du texte pour la bio informatique

Book

35 pages

Flag

Catalan

Joule II
Category

Documents

Joule II

Directorate-General For Translation European Commission

Joule II Alternate Text
Category

Documents

Sciences formelles

Joule II

Directorate-General For Translation European Commission

Book

220 pages

Flag

English

Journal de botanique
Category

Documents

Journal de botanique

Journal de botanique Alternate Text
Category

Documents

Sciences formelles

Journal de botanique

Book

602 pages

Flag

Français

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

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

Book

2 pages

Flag

English

Frédéric Chardard
Category

Documents

Frédéric Chardard

Frédéric Chardard, Frédéric Chardard

Frédéric Chardard Alternate Text
Category

Documents

Sciences formelles

Frédéric Chardard

Frédéric Chardard, Frédéric Chardard

Book

4 pages

Flag

Français

Alternate Text