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
Revue générale des sciences pures et appliquées
Category

Documents

Revue générale des sciences pures et appliquées

Revue générale des sciences pures et appliquées Alternate Text
Category

Documents

Sciences formelles

Revue générale des sciences pures et appliquées

Book

1076 pages

Flag

Français

Revue générale des sciences pures et appliquées
Category

Documents

Revue générale des sciences pures et appliquées

Revue générale des sciences pures et appliquées Alternate Text
Category

Documents

Sciences formelles

Revue générale des sciences pures et appliquées

Book

764 pages

Flag

Français

Traité d analyse
Category

Documents

Traité d'analyse

Hermann Laurent

Traité d analyse Alternate Text
Category

Documents

Sciences formelles

Traité d'analyse

Hermann Laurent

Book

416 pages

Flag

Français

Traité d analyse
Category

Documents

Traité d'analyse

Hermann Laurent

Traité d analyse Alternate Text
Category

Documents

Sciences formelles

Traité d'analyse

Hermann Laurent

Book

472 pages

Flag

Français

Traité de chimie élémentaire, théorique et pratique, suivi d un essai sur la philosophie chimique et d un précis sur l analyse
Category

Documents

Traité de chimie élémentaire, théorique et pratique, suivi d'un essai sur la philosophie chimique et d'un précis sur l'analyse

Thénard Louis Jacques Baron 1777-1857

Traité de chimie élémentaire, théorique et pratique, suivi d un essai sur la philosophie chimique et d un précis sur l analyse Alternate Text
Category

Documents

Sciences formelles

Traité de chimie élémentaire, théorique et pratique, suivi d'un essai sur la philosophie chimique et d'un précis sur l'analyse

Thénard Louis Jacques Baron 1777-1857

Book

594 pages

Flag

Français

Traité de chimie élémentaire, théorique et pratique, suivi d un essai sur la philosophie chimique et d un précis sur l analyse
Category

Documents

Traité de chimie élémentaire, théorique et pratique, suivi d'un essai sur la philosophie chimique et d'un précis sur l'analyse

Thénard Louis Jacques Baron 1777-1857

Traité de chimie élémentaire, théorique et pratique, suivi d un essai sur la philosophie chimique et d un précis sur l analyse Alternate Text
Category

Documents

Sciences formelles

Traité de chimie élémentaire, théorique et pratique, suivi d'un essai sur la philosophie chimique et d'un précis sur l'analyse

Thénard Louis Jacques Baron 1777-1857

Book

694 pages

Flag

Français

Relazioni del Comitato scientifico dell alimentazione umana (ventiduesima serie)
Category

Documents

Relazioni del Comitato scientifico dell'alimentazione umana (ventiduesima serie)

Directorate-General For The Internal Market And Services

Relazioni del Comitato scientifico dell alimentazione umana (ventiduesima serie) Alternate Text
Category

Documents

Sciences formelles

Relazioni del Comitato scientifico dell'alimentazione umana (ventiduesima serie)

Directorate-General For The Internal Market And Services

Book

68 pages

Flag

Romanian

CORDIS focus
Category

Documents

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

Book

28 pages

Flag

Español

Buckling curves of hot rolled H steel sections submitted to fire
Category

Documents

Buckling curves of hot rolled H steel sections submitted to fire

Directorate-General For Research And Innovation European Commission

Buckling curves of hot rolled H steel sections submitted to fire Alternate Text
Category

Documents

Sciences formelles

Buckling curves of hot rolled H steel sections submitted to fire

Directorate-General For Research And Innovation European Commission

Book

342 pages

Flag

English

Cinquième rapport concernant les spécifications et conditions d essai relatives aux liquides difficilement inflammables pour la transmission mécanique
Category

Documents

Cinquième rapport concernant les spécifications et conditions d'essai relatives aux liquides difficilement inflammables pour la transmission mécanique

Directorate-General For Translation European Commission

Cinquième rapport concernant les spécifications et conditions d essai relatives aux liquides difficilement inflammables pour la transmission mécanique Alternate Text
Category

Documents

Sciences formelles

Cinquième rapport concernant les spécifications et conditions d'essai relatives aux liquides difficilement inflammables pour la transmission mécanique

Directorate-General For Translation European Commission

Book

182 pages

Flag

Français

Procedura d autorizzazione per la costruzione e l esercizio degli impianti nucleari negli Stati membri della CEE
Category

Documents

Procedura d'autorizzazione per la costruzione e l'esercizio degli impianti nucleari negli Stati membri della CEE

Directorate-General For Translation European Commission

Procedura d autorizzazione per la costruzione e l esercizio degli impianti nucleari negli Stati membri della CEE Alternate Text
Category

Documents

Sciences formelles

Procedura d'autorizzazione per la costruzione e l'esercizio degli impianti nucleari negli Stati membri della CEE

Directorate-General For Translation European Commission

Book

100 pages

Flag

Romanian

Information et formation en radioprotection à l intention des représentants des syndicats des neuf États membres de la Communauté européenne
Category

Documents

Information et formation en radioprotection à l'intention des représentants des syndicats des neuf États membres de la Communauté européenne

Directorate-General For Translation European Commission

Information et formation en radioprotection à l intention des représentants des syndicats des neuf États membres de la Communauté européenne Alternate Text
Category

Documents

Sciences formelles

Information et formation en radioprotection à l'intention des représentants des syndicats des neuf États membres de la Communauté européenne

Directorate-General For Translation European Commission

Book

136 pages

Flag

Français

LE LAMINAGE ET SES TECHNIQUES DE MESURE ET DE CONTRÔLE
Category

Documents

LE LAMINAGE ET SES TECHNIQUES DE MESURE ET DE CONTRÔLE

Directorate-General For Translation European Commission

LE LAMINAGE ET SES TECHNIQUES DE MESURE ET DE CONTRÔLE Alternate Text
Category

Documents

Sciences formelles

LE LAMINAGE ET SES TECHNIQUES DE MESURE ET DE CONTRÔLE

Directorate-General For Translation European Commission

Book

488 pages

Flag

Français

The evaluation of the Communities  geothermal energy, production and utilization of hydrogen, and systems analysis; development of models R&D sub-programmes
Category

Documents

The evaluation of the Communities' geothermal energy, production and utilization of hydrogen, and systems analysis; development of models R&D sub-programmes

Directorate-General For Translation European Commission

The evaluation of the Communities  geothermal energy, production and utilization of hydrogen, and systems analysis; development of models R&D sub-programmes Alternate Text
Category

Documents

Sciences formelles

The evaluation of the Communities' geothermal energy, production and utilization of hydrogen, and systems analysis; development of models R&D sub-programmes

Directorate-General For Translation European Commission

Book

96 pages

Flag

English

CORDIS focus
Category

Documents

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

Directorate-General For Enterprise And Industry European Commission

Book

28 pages

Flag

Deutsch

Cordis Focus
Category

Documents

Cordis Focus

European Commission Directorate-General For Enterprise And Industry

Cordis Focus Alternate Text
Category

Documents

Sciences formelles

Cordis Focus

European Commission Directorate-General For Enterprise And Industry

Book

28 pages

Flag

Romanian

Il nuovo programma quinquennale
Category

Documents

Il nuovo programma quinquennale

Directorate-General For Translation European Commission

Il nuovo programma quinquennale Alternate Text
Category

Documents

Sciences formelles

Il nuovo programma quinquennale

Directorate-General For Translation European Commission

Book

48 pages

Flag

Romanian

Journées d information Coulée et Solidification de l acier
Category

Documents

Journées d'information Coulée et Solidification de l'acier

Directorate-General For Translation European Commission

Journées d information Coulée et Solidification de l acier Alternate Text
Category

Documents

Sciences formelles

Journées d'information Coulée et Solidification de l'acier

Directorate-General For Translation European Commission

Book

256 pages

Flag

Français

RDT Magazine N 1 1994. 4éme Programme-cadre Les recommandations de la communauté scientifique européenne
Category

Documents

RDT Magazine N 1 1994. 4éme Programme-cadre Les recommandations de la communauté scientifique européenne

Directorate-General For Research And Innovation

RDT Magazine N 1 1994. 4éme Programme-cadre Les recommandations de la communauté scientifique européenne Alternate Text
Category

Documents

Sciences formelles

RDT Magazine N 1 1994. 4éme Programme-cadre Les recommandations de la communauté scientifique européenne

Directorate-General For Research And Innovation

Book

20 pages

Flag

Français

Relazioni del comitato scientifico dell alimentazione animale (Quinta serie)
Category

Documents

Relazioni del comitato scientifico dell'alimentazione animale (Quinta serie)

Directorate-General For Translation European Commission

Relazioni del comitato scientifico dell alimentazione animale (Quinta serie) Alternate Text
Category

Documents

Sciences formelles

Relazioni del comitato scientifico dell'alimentazione animale (Quinta serie)

Directorate-General For Translation European Commission

Book

80 pages

Flag

Romanian

BRITE-EURAM
Category

Documents

BRITE-EURAM

European Union

BRITE-EURAM Alternate Text
Category

Documents

Sciences formelles

BRITE-EURAM

European Union

Book

36 pages

Flag

Italiano

Comitato scientifico consultivo per l esame della tossicità e dell ecotossicità dei composti chimici:  Relazione d attività 1979-1983
Category

Documents

Comitato scientifico consultivo per l'esame della tossicità e dell'ecotossicità dei composti chimici: Relazione d'attività 1979-1983

Directorate-General For Translation European Commission

Comitato scientifico consultivo per l esame della tossicità e dell ecotossicità dei composti chimici:  Relazione d attività 1979-1983 Alternate Text
Category

Documents

Sciences formelles

Comitato scientifico consultivo per l'esame della tossicità e dell'ecotossicità dei composti chimici: Relazione d'attività 1979-1983

Directorate-General For Translation European Commission

Book

100 pages

Flag

Romanian

Study of continuously cast slab bulging
Category

Documents

Study of continuously cast slab bulging

Directorate-General For Translation European Commission

Study of continuously cast slab bulging Alternate Text
Category

Documents

Sciences formelles

Study of continuously cast slab bulging

Directorate-General For Translation European Commission

Book

93 pages

Flag

English

Improving the properties of wire by suppressing the recalescence on a stelmor conveyor
Category

Documents

Improving the properties of wire by suppressing the recalescence on a stelmor conveyor

Directorate-General For Translation European Commission

Improving the properties of wire by suppressing the recalescence on a stelmor conveyor Alternate Text
Category

Documents

Sciences formelles

Improving the properties of wire by suppressing the recalescence on a stelmor conveyor

Directorate-General For Translation European Commission

Book

80 pages

Flag

English

Research on pressure vessels and choice of materials
Category

Documents

Research on pressure vessels and choice of materials

Directorate-General For Translation European Commission

Research on pressure vessels and choice of materials Alternate Text
Category

Documents

Sciences formelles

Research on pressure vessels and choice of materials

Directorate-General For Translation European Commission

Book

36 pages

Flag

English

Development of a new mould powder for continuous casting
Category

Documents

Development of a new mould powder for continuous casting

Directorate-General For Translation European Commission

Development of a new mould powder for continuous casting Alternate Text
Category

Documents

Sciences formelles

Development of a new mould powder for continuous casting

Directorate-General For Translation European Commission

Book

92 pages

Flag

English

Méthode statistique de contrôle de l application d une procédure analytique pour l analyse des aciers et des fontes
Category

Documents

Méthode statistique de contrôle de l'application d'une procédure analytique pour l'analyse des aciers et des fontes

Directorate-General For Translation European Commission

Méthode statistique de contrôle de l application d une procédure analytique pour l analyse des aciers et des fontes Alternate Text
Category

Documents

Sciences formelles

Méthode statistique de contrôle de l'application d'une procédure analytique pour l'analyse des aciers et des fontes

Directorate-General For Translation European Commission

Book

6 pages

Flag

Français

CORDIS focus
Category

Documents

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

CORDIS focus Alternate Text
Category

Documents

Sciences formelles

CORDIS focus

European Commission Directorate-General For Enterprise And Industry

Book

28 pages

Flag

Italiano

Sant Cugat geothermal project
Category

Documents

Sant Cugat geothermal project

Directorate-General For Translation European Commission

Sant Cugat geothermal project Alternate Text
Category

Documents

Sciences formelles

Sant Cugat geothermal project

Directorate-General For Translation European Commission

Book

138 pages

Flag

English

Frame design including joint behaviour
Category

Documents

Frame design including joint behaviour

Directorate-General For Research And Innovation European Commission

Frame design including joint behaviour Alternate Text
Category

Documents

Sciences formelles

Frame design including joint behaviour

Directorate-General For Research And Innovation European Commission

Book

538 pages

Flag

English

Alternate Text