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
Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques
Category

Documents

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques

Sing-Ténière, Christelle

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques Alternate Text
Category

Documents

Sciences formelles

Etude des procédés de stabilisation solidification des déchets solides poreux à base de liants hydrauliques

Sing-Ténière, Christelle

Book

12 pages

Flag

Français

Taux d intérêt, politique monétaire et activité économique en France : un examen empirique - article ; n°3 ; vol.109, pg 13-24
Category

Documents

Taux d'intérêt, politique monétaire et activité économique en France : un examen empirique - article ; n°3 ; vol.109, pg 13-24

Jean-Olivier Hairault, Frédérique Bec

Taux d intérêt, politique monétaire et activité économique en France : un examen empirique - article ; n°3 ; vol.109, pg 13-24 Alternate Text
Category

Documents

Sciences formelles

Taux d'intérêt, politique monétaire et activité économique en France : un examen empirique - article ; n°3 ; vol.109, pg 13-24

Jean-Olivier Hairault, Frédérique Bec

Book

15 pages

Flag

Français

Genèse de l Algèbre symbolique en Angleterre : une influence possible de John Locke - article ; n°2 ; vol.43, pg 129-180
Category

Documents

Genèse de l'Algèbre symbolique en Angleterre : une influence possible de John Locke - article ; n°2 ; vol.43, pg 129-180

Marie-José Durand

Genèse de l Algèbre symbolique en Angleterre : une influence possible de John Locke - article ; n°2 ; vol.43, pg 129-180 Alternate Text
Category

Documents

Sciences formelles

Genèse de l'Algèbre symbolique en Angleterre : une influence possible de John Locke - article ; n°2 ; vol.43, pg 129-180

Marie-José Durand

Book

54 pages

Flag

Français

Fifth Grade Benchmark
Category

Documents

Fifth Grade Benchmark

Catherine Miller

Fifth Grade Benchmark Alternate Text
Category

Documents

Sciences formelles

Fifth Grade Benchmark

Catherine Miller

Book

2 pages

Flag

English

1991-1992
Category

Documents

1991-1992

General Secretariat Of The Council

1991-1992 Alternate Text
Category

Documents

Sciences formelles

1991-1992

General Secretariat Of The Council

Book

318 pages

Flag

Français

ETUDE DE QUELQUES FONCTIONS DE L™ELECTRONIQUE
Category

Documents

ETUDE DE QUELQUES FONCTIONS DE L™ELECTRONIQUE

Standard

ETUDE DE QUELQUES FONCTIONS DE L™ELECTRONIQUE Alternate Text
Category

Documents

Sciences formelles

ETUDE DE QUELQUES FONCTIONS DE L™ELECTRONIQUE

Standard

Book

11 pages

Flag

Français

(Etude exp  351rimentale de l   351lectrolyse)
Category

Documents

(Etude exp 351rimentale de l' 351lectrolyse)

Cyrus

(Etude exp  351rimentale de l   351lectrolyse) Alternate Text
Category

Documents

Sciences formelles

(Etude exp 351rimentale de l' 351lectrolyse)

Cyrus

Book

5 pages

Flag

Français

comment-to-nist
Category

Documents

Comment-to-nist

comment-to-nist Alternate Text
Category

Documents

Sciences formelles

Comment-to-nist

Book

5 pages

Flag

Español

Etude expérimentale de la rupture des polymères amorphes
Category

Documents

Etude expérimentale de la rupture des polymères amorphes

Saad Gouider Nesrine

Etude expérimentale de la rupture des polymères amorphes Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale de la rupture des polymères amorphes

Saad Gouider Nesrine

Book

3 pages

Flag

Français

Evaluation of the mutagenicity of some chemical compounds
Category

Documents

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Evaluation of the mutagenicity of some chemical compounds Alternate Text
Category

Documents

Sciences formelles

Evaluation of the mutagenicity of some chemical compounds

Directorate-General For Health And Consumers European Commission

Book

194 pages

Flag

English

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

582 pages

Flag

Français

cours-modelisation
Category

Documents

Cours-modelisation

cours-modelisation Alternate Text
Category

Documents

Sciences formelles

Cours-modelisation

Book

5 pages

Flag

Français

Scientific Report UIPS 2005
Category

Documents

Scientific Report UIPS 2005

Scientific Report UIPS 2005 Alternate Text
Category

Documents

Sciences formelles

Scientific Report UIPS 2005

Book

154 pages

Flag

Français

Étude des relations entre le comportement et la fabrication des synchronisateurs des boîtes de vitesse
Category

Documents

Étude des relations entre le comportement et la fabrication des synchronisateurs des boîtes de vitesse

Lovas László

Étude des relations entre le comportement et la fabrication des synchronisateurs des boîtes de vitesse Alternate Text
Category

Documents

Sciences formelles

Étude des relations entre le comportement et la fabrication des synchronisateurs des boîtes de vitesse

Lovas László

Book

5 pages

Flag

Français

exercice mathématiques DST
Category

Documents

Exercice mathématiques DST

François Mailloux

exercice mathématiques DST Alternate Text
Category

Documents

Sciences formelles

Exercice mathématiques DST

François Mailloux

Book

2 pages

Flag

Catalan

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

L indexation des salaires : quelle rupture en 1982 ? - article ; n°1 ; vol.87, pg 67-74
Category

Documents

L'indexation des salaires : quelle rupture en 1982 ? - article ; n°1 ; vol.87, pg 67-74

Patrick Sevestre, Pierre Blanchard

L indexation des salaires : quelle rupture en 1982 ? - article ; n°1 ; vol.87, pg 67-74 Alternate Text
Category

Documents

Sciences formelles

L'indexation des salaires : quelle rupture en 1982 ? - article ; n°1 ; vol.87, pg 67-74

Patrick Sevestre, Pierre Blanchard

Book

10 pages

Flag

Français

Origen y ciclicidad de las plataformas carbonatadas westfalienses en los sectores de Piedrafita-Lillo y Lois-Ciguera, zona cantábrica (ne de León)
Category

Documents

Origen y ciclicidad de las plataformas carbonatadas westfalienses en los sectores de Piedrafita-Lillo y Lois-Ciguera, zona cantábrica (ne de León)

Fernández Corrochano, Diego

Origen y ciclicidad de las plataformas carbonatadas westfalienses en los sectores de Piedrafita-Lillo y Lois-Ciguera, zona cantábrica (ne de León) Alternate Text
Category

Documents

Sciences formelles

Origen y ciclicidad de las plataformas carbonatadas westfalienses en los sectores de Piedrafita-Lillo y Lois-Ciguera, zona cantábrica (ne de León)

Fernández Corrochano, Diego

Book

352 pages

Flag

Español

Counting chains in noncrossing partition lattices
Category

Documents

Counting chains in noncrossing partition lattices

Nathan Reading

Counting chains in noncrossing partition lattices Alternate Text
Category

Documents

Sciences formelles

Counting chains in noncrossing partition lattices

Nathan Reading

Book

31 pages

Flag

English

ENVIRONMENTAL POLICY AS SOCIAL POLICY?  THE IMPACT OF CHILDHOOD LEAD EXPOSURE ON CRIME
Category

Documents

ENVIRONMENTAL POLICY AS SOCIAL POLICY? THE IMPACT OF CHILDHOOD LEAD EXPOSURE ON CRIME

Jwreyes

ENVIRONMENTAL POLICY AS SOCIAL POLICY?  THE IMPACT OF CHILDHOOD LEAD EXPOSURE ON CRIME Alternate Text
Category

Documents

Sciences formelles

ENVIRONMENTAL POLICY AS SOCIAL POLICY? THE IMPACT OF CHILDHOOD LEAD EXPOSURE ON CRIME

Jwreyes

Book

70 pages

Flag

English

Construire le tableau périodique des éléments Pour une utilisation ...
Category

Documents

Construire le tableau périodique des éléments Pour une utilisation ...

Bernadette Bensaude-Vincent Et Dominique Rebaud

Construire le tableau périodique des éléments Pour une utilisation ... Alternate Text
Category

Documents

Sciences formelles

Construire le tableau périodique des éléments Pour une utilisation ...

Bernadette Bensaude-Vincent Et Dominique Rebaud

Book

21 pages

Flag

Français

Etude expérimentale d une bobine 6pts
Category

Documents

Etude expérimentale d'une bobine 6pts

Daini&Clément

Etude expérimentale d une bobine 6pts Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale d'une bobine 6pts

Daini&Clément

Book

4 pages

Flag

Français

Technical and economic modelling processes for liquid fuel production in Europe
Category

Documents

Technical and economic modelling processes for liquid fuel production in Europe

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

Technical and economic modelling processes for liquid fuel production in Europe Alternate Text
Category

Documents

Sciences formelles

Technical and economic modelling processes for liquid fuel production in Europe

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

Book

392 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

REALISATION DE MICROCIRCUIT HYPERFREQUENCE POUR L’EXCITATION ET L’ETUDE DYNAMIQUE DE MULTICOUCHES
Category

Documents

REALISATION DE MICROCIRCUIT HYPERFREQUENCE POUR L’EXCITATION ET L’ETUDE DYNAMIQUE DE MULTICOUCHES

Belme

REALISATION DE MICROCIRCUIT HYPERFREQUENCE POUR L’EXCITATION ET L’ETUDE DYNAMIQUE DE MULTICOUCHES Alternate Text
Category

Documents

Sciences formelles

REALISATION DE MICROCIRCUIT HYPERFREQUENCE POUR L’EXCITATION ET L’ETUDE DYNAMIQUE DE MULTICOUCHES

Belme

Book

2 pages

Flag

Français

Energy efficiency in industrial processes
Category

Documents

Energy efficiency in industrial processes

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

Energy efficiency in industrial processes Alternate Text
Category

Documents

Sciences formelles

Energy efficiency in industrial processes

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

Book

434 pages

Flag

English

Etude des valeurs records et leurs applications
Category

Documents

Etude des valeurs records et leurs applications

Abdellahi Elhacen

Etude des valeurs records et leurs applications Alternate Text
Category

Documents

Sciences formelles

Etude des valeurs records et leurs applications

Abdellahi Elhacen

Book

24 pages

Flag

Français

Activité 5-Enoncé version professeur -  SVT-SPC-ACT 5-ENONCE ...
Category

Documents

Activité 5-Enoncé version professeur - SVT-SPC-ACT 5-ENONCE ...

Loeiz Laurent

Activité 5-Enoncé version professeur -  SVT-SPC-ACT 5-ENONCE ... Alternate Text
Category

Documents

Sciences formelles

Activité 5-Enoncé version professeur - SVT-SPC-ACT 5-ENONCE ...

Loeiz Laurent

Book

9 pages

Flag

Français

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

Alternate Text