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

Raccomandazioni tecniche per il controllo dell esposizione individuale alle radiazioni esterne
Category

Documents

Raccomandazioni tecniche per il controllo dell'esposizione individuale alle radiazioni esterne

Directorate-General For Translation European Commission

Raccomandazioni tecniche per il controllo dell esposizione individuale alle radiazioni esterne Alternate Text
Category

Documents

Sciences formelles

Raccomandazioni tecniche per il controllo dell'esposizione individuale alle radiazioni esterne

Directorate-General For Translation European Commission

Book

48 pages

Flag

Romanian

GEDRAGSCODE VOOR HET ONTWERP, DE BOUW EN DE BEDIENING VAN REINIGINGSAPPARATUUR MET CFKW-113 ALS OPLOSMIDDEL. Report
Category

Documents

GEDRAGSCODE VOOR HET ONTWERP, DE BOUW EN DE BEDIENING VAN REINIGINGSAPPARATUUR MET CFKW-113 ALS OPLOSMIDDEL. Report

Directorate-General For The Environment

GEDRAGSCODE VOOR HET ONTWERP, DE BOUW EN DE BEDIENING VAN REINIGINGSAPPARATUUR MET CFKW-113 ALS OPLOSMIDDEL. Report Alternate Text
Category

Documents

Sciences formelles

GEDRAGSCODE VOOR HET ONTWERP, DE BOUW EN DE BEDIENING VAN REINIGINGSAPPARATUUR MET CFKW-113 ALS OPLOSMIDDEL. Report

Directorate-General For The Environment

Book

48 pages

Flag

Nederlandse

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

Vragenlijst cadmium
Category

Documents

Vragenlijst cadmium

Directorate-General For Translation European Commission

Vragenlijst cadmium Alternate Text
Category

Documents

Sciences formelles

Vragenlijst cadmium

Directorate-General For Translation European Commission

Book

42 pages

Flag

Nederlandse

Après demain
Category

Documents

Après demain

European Commission Directorate-General For Communication

Après demain Alternate Text
Category

Documents

Sciences formelles

Après demain

European Commission Directorate-General For Communication

Book

4 pages

Flag

Español

Elektronische Hilfen für den Verkehr auf großen Fernverkehrsstraßen: COST 30 bis
Category

Documents

Elektronische Hilfen für den Verkehr auf großen Fernverkehrsstraßen: COST 30 bis

Directorate-General For Translation European Commission

Elektronische Hilfen für den Verkehr auf großen Fernverkehrsstraßen: COST 30 bis Alternate Text
Category

Documents

Sciences formelles

Elektronische Hilfen für den Verkehr auf großen Fernverkehrsstraßen: COST 30 bis

Directorate-General For Translation European Commission

Book

72 pages

Flag

Deutsch

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

24 pages

Flag

Français

Glossar der wichtigsten rechtlichen und technischen Begriffe, die in nationalen Rechtsvorschriften für den Bausektor verwendet werden
Category

Documents

Glossar der wichtigsten rechtlichen und technischen Begriffe, die in nationalen Rechtsvorschriften für den Bausektor verwendet werden

Directorate-General For Translation European Commission

Glossar der wichtigsten rechtlichen und technischen Begriffe, die in nationalen Rechtsvorschriften für den Bausektor verwendet werden Alternate Text
Category

Documents

Sciences formelles

Glossar der wichtigsten rechtlichen und technischen Begriffe, die in nationalen Rechtsvorschriften für den Bausektor verwendet werden

Directorate-General For Translation European Commission

Book

71 pages

Flag

Deutsch

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons
Category

Documents

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons

Directorate-General For Translation European Commission

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons Alternate Text
Category

Documents

Sciences formelles

Investigation on mould heat in the continuous bloom castes at Usinor Neuves-Maisons

Directorate-General For Translation European Commission

Book

74 pages

Flag

English

Terza relazione sull attività del Comitato dell informazione e della documentazione scientifica e tecnica delle Comunità europee (agosto 1975 - dicembre 1977)
Category

Documents

Terza relazione sull'attività del Comitato dell'informazione e della documentazione scientifica e tecnica delle Comunità europee (agosto 1975 - dicembre 1977)

Directorate-General For Translation European Commission

Terza relazione sull attività del Comitato dell informazione e della documentazione scientifica e tecnica delle Comunità europee (agosto 1975 - dicembre 1977) Alternate Text
Category

Documents

Sciences formelles

Terza relazione sull'attività del Comitato dell'informazione e della documentazione scientifica e tecnica delle Comunità europee (agosto 1975 - dicembre 1977)

Directorate-General For Translation European Commission

Book

64 pages

Flag

Romanian

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal
Category

Documents

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal

Directorate-General For Translation European Commission

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal Alternate Text
Category

Documents

Sciences formelles

Blast furnace experiments with cokes obtained in classical coke ovens from coal mixtures containing a certain amount of non-coking coal

Directorate-General For Translation European Commission

Book

144 pages

Flag

English

Bewertung der wirtschaftlichen Auswirkungen der EGKS-Stahlforschungsprogramme
Category

Documents

Bewertung der wirtschaftlichen Auswirkungen der EGKS-Stahlforschungsprogramme

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

Bewertung der wirtschaftlichen Auswirkungen der EGKS-Stahlforschungsprogramme Alternate Text
Category

Documents

Sciences formelles

Bewertung der wirtschaftlichen Auswirkungen der EGKS-Stahlforschungsprogramme

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

Book

56 pages

Flag

Deutsch

Atti pubblicati nella Gazzetta ufficiale delle Comunità europee relativi alla ricerca scientifica e tecnica comunitaria
Category

Documents

Atti pubblicati nella Gazzetta ufficiale delle Comunità europee relativi alla ricerca scientifica e tecnica comunitaria

Directorate-General For Translation European Commission

Atti pubblicati nella Gazzetta ufficiale delle Comunità europee relativi alla ricerca scientifica e tecnica comunitaria Alternate Text
Category

Documents

Sciences formelles

Atti pubblicati nella Gazzetta ufficiale delle Comunità europee relativi alla ricerca scientifica e tecnica comunitaria

Directorate-General For Translation European Commission

Book

212 pages

Flag

Romanian

Fördertechnik im Steinkohlenbergbau unter Tage: Band 1
Category

Documents

Fördertechnik im Steinkohlenbergbau unter Tage: Band 1

Directorate-General For Translation European Commission

Fördertechnik im Steinkohlenbergbau unter Tage: Band 1 Alternate Text
Category

Documents

Sciences formelles

Fördertechnik im Steinkohlenbergbau unter Tage: Band 1

Directorate-General For Translation European Commission

Book

500 pages

Flag

Deutsch

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service
Category

Documents

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service

Directorate-General For Research And Innovation European Commission

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service Alternate Text
Category

Documents

Sciences formelles

Modelling of particle growth and application to the carbide evolution in special steels for high temperature service

Directorate-General For Research And Innovation European Commission

Book

192 pages

Flag

English

Aufbereitung der Kohle
Category

Documents

Aufbereitung der Kohle

Directorate-General For Translation European Commission

Aufbereitung der Kohle Alternate Text
Category

Documents

Sciences formelles

Aufbereitung der Kohle

Directorate-General For Translation European Commission

Book

168 pages

Flag

Deutsch

Radioactive waste management and storage
Category

Documents

Radioactive waste management and storage

Directorate-General For Translation European Commission

Radioactive waste management and storage Alternate Text
Category

Documents

Sciences formelles

Radioactive waste management and storage

Directorate-General For Translation European Commission

Book

100 pages

Flag

English

IL FINANZIAMENTO PUBBLICO DELLA RICERCA E DELLO SVILUPPO NEI PAESI DELLA COMUNITÀ 1967-1971: Analisi per obiettivi
Category

Documents

IL FINANZIAMENTO PUBBLICO DELLA RICERCA E DELLO SVILUPPO NEI PAESI DELLA COMUNITÀ 1967-1971: Analisi per obiettivi

Directorate-General For Translation European Commission

IL FINANZIAMENTO PUBBLICO DELLA RICERCA E DELLO SVILUPPO NEI PAESI DELLA COMUNITÀ 1967-1971: Analisi per obiettivi Alternate Text
Category

Documents

Sciences formelles

IL FINANZIAMENTO PUBBLICO DELLA RICERCA E DELLO SVILUPPO NEI PAESI DELLA COMUNITÀ 1967-1971: Analisi per obiettivi

Directorate-General For Translation European Commission

Book

118 pages

Flag

Serbian

Berichte des Wissenschaftlichen Lebensmittelausschusses (elfte Folge)
Category

Documents

Berichte des Wissenschaftlichen Lebensmittelausschusses (elfte Folge)

Directorate-General For Translation European Commission

Berichte des Wissenschaftlichen Lebensmittelausschusses (elfte Folge) Alternate Text
Category

Documents

Sciences formelles

Berichte des Wissenschaftlichen Lebensmittelausschusses (elfte Folge)

Directorate-General For Translation European Commission

Book

60 pages

Flag

Deutsch

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l ACIER. Mai 1975
Category

Documents

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975

Directorate-General For Translation European Commission

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l ACIER. Mai 1975 Alternate Text
Category

Documents

Sciences formelles

ESSAIS à TEMPÉRATURE ÉLEVÉE ESSAI de FLUAGE de l'ACIER. Mai 1975

Directorate-General For Translation European Commission

Book

8 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

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

Deutsch

Alternate Text