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
Congruence properties for the partition function
Category

Documents

Congruence properties for the partition function

Congruence properties for the partition function Alternate Text
Category

Documents

Sciences formelles

Congruence properties for the partition function

Book

3 pages

Flag

English

A Tutorial for Pari GP
Category

Documents

A Tutorial for Pari GP

C. Batut, K. Belabas, D. Bernardi, H. Cohen, M. Olivier

A Tutorial for Pari GP Alternate Text
Category

Documents

Sciences formelles

A Tutorial for Pari GP

C. Batut, K. Belabas, D. Bernardi, H. Cohen, M. Olivier

Book

49 pages

Flag

English

Cours de data mining 6-Classifications automatiques-EPF
Category

Documents

Cours de data mining 6-Classifications automatiques-EPF

Huguette Bertrand

Cours de data mining 6-Classifications automatiques-EPF Alternate Text
Category

Documents

Sciences formelles

Cours de data mining 6-Classifications automatiques-EPF

Huguette Bertrand

Book

29 pages

Flag

Français

Etude expérimentale du défaut oscillant d un polyéthylène haute  densité par vélocimétrie laser
Category

Documents

Etude expérimentale du défaut oscillant d'un polyéthylène haute densité par vélocimétrie laser

Etude expérimentale du défaut oscillant d un polyéthylène haute  densité par vélocimétrie laser Alternate Text
Category

Documents

Sciences formelles

Etude expérimentale du défaut oscillant d'un polyéthylène haute densité par vélocimétrie laser

Book

6 pages

Flag

Français

Modélisation et étude des propriétés optiques des nanotubes de carbone    Modelling and study of
Category

Documents

Modélisation et étude des propriétés optiques des nanotubes de carbone Modelling and study of

Benjamin Ricaud Université Du Sud Toulon Var

Modélisation et étude des propriétés optiques des nanotubes de carbone    Modelling and study of Alternate Text
Category

Documents

Sciences formelles

Modélisation et étude des propriétés optiques des nanotubes de carbone Modelling and study of

Benjamin Ricaud Université Du Sud Toulon Var

Book

29 pages

Flag

English

Development of methods and guidelines to establish traceability for measurements with coordinate measuring machines
Category

Documents

Development of methods and guidelines to establish traceability for measurements with coordinate measuring machines

Directorate-General For Research And Innovation European Commission

Development of methods and guidelines to establish traceability for measurements with coordinate measuring machines Alternate Text
Category

Documents

Sciences formelles

Development of methods and guidelines to establish traceability for measurements with coordinate measuring machines

Directorate-General For Research And Innovation European Commission

Book

276 pages

Flag

English

Sequence Components (Tutorial)
Category

Documents

Sequence Components (Tutorial)

S. A. Soman Department Of Electrical Engineering, Iit Bombay

Sequence Components (Tutorial) Alternate Text
Category

Documents

Sciences formelles

Sequence Components (Tutorial)

S. A. Soman Department Of Electrical Engineering, Iit Bombay

Book

13 pages

Flag

Norwegian

Réseaux - Cours 2 - Couches Physique et Liaison de Données
Category

Documents

Réseaux - Cours 2 - Couches Physique et Liaison de Données

Cyril Pain-Barre

Réseaux - Cours 2 - Couches Physique et Liaison de Données Alternate Text
Category

Documents

Sciences formelles

Réseaux - Cours 2 - Couches Physique et Liaison de Données

Cyril Pain-Barre

Book

44 pages

Flag

Français

Euronorm 52-83 Maggio 1983
Category

Documents

Euronorm 52-83 Maggio 1983

Directorate-General For Translation European Commission

Euronorm 52-83 Maggio 1983 Alternate Text
Category

Documents

Sciences formelles

Euronorm 52-83 Maggio 1983

Directorate-General For Translation European Commission

Book

28 pages

Flag

Italiano

Liquid Crystal Active Glasses for 3D Cinema
Category

Documents

Liquid Crystal Active Glasses for 3D Cinema

Liquid Crystal Active Glasses for 3D Cinema Alternate Text
Category

Documents

Sciences formelles

Liquid Crystal Active Glasses for 3D Cinema

Book

9 pages

Flag

English

cours-capes
Category

Documents

Cours-capes

cours-capes Alternate Text
Category

Documents

Sciences formelles

Cours-capes

Book

46 pages

Flag

Français

CONTROL OF CLASSICAL SWINE FEVER BY MOLECULAR DIAGNOSIS AND EPIDEMIOLOGY
Category

Documents

CONTROL OF CLASSICAL SWINE FEVER BY MOLECULAR DIAGNOSIS AND EPIDEMIOLOGY

Directorate-General For Research And Innovation

CONTROL OF CLASSICAL SWINE FEVER BY MOLECULAR DIAGNOSIS AND EPIDEMIOLOGY Alternate Text
Category

Documents

Sciences formelles

CONTROL OF CLASSICAL SWINE FEVER BY MOLECULAR DIAGNOSIS AND EPIDEMIOLOGY

Directorate-General For Research And Innovation

Book

1 pages

Flag

English

COST 514
Category

Documents

COST 514

Directorate-General For Research And Innovation European Commission

COST 514 Alternate Text
Category

Documents

Sciences formelles

COST 514

Directorate-General For Research And Innovation European Commission

Book

64 pages

Flag

English

BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991
Category

Documents

BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991

Directorate-General For Research And Innovation

BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991 Alternate Text
Category

Documents

Sciences formelles

BOOK OF ABSTRACTS. PART I: PROGRAMME & ORAL PRESENTATIONS Seventh Symposium on NEUTRON DOSIMETRY BERLIN 14-18 October 1991

Directorate-General For Research And Innovation

Book

98 pages

Flag

English

COURS MECANIQUE CLASSIQUE
Category

Documents

COURS MECANIQUE CLASSIQUE

Pdfsubject

COURS MECANIQUE CLASSIQUE Alternate Text
Category

Documents

Sciences formelles

COURS MECANIQUE CLASSIQUE

Pdfsubject

Book

8 pages

Flag

Français

cours 3
Category

Documents

Cours 3

Vandromme

cours 3 Alternate Text
Category

Documents

Sciences formelles

Cours 3

Vandromme

Book

9 pages

Flag

Catalan

Plan cours LP203
Category

Documents

Plan cours LP203

Bernard Clerjaud

Plan cours LP203 Alternate Text
Category

Documents

Sciences formelles

Plan cours LP203

Bernard Clerjaud

Book

3 pages

Flag

Français

CALIBRATION INTERCOMPARISON ON FLOWMETERS FOR KEROSENE SYNTHESIS REPORT. Report
Category

Documents

CALIBRATION INTERCOMPARISON ON FLOWMETERS FOR KEROSENE SYNTHESIS REPORT. Report

Directorate-General For Research And Innovation

CALIBRATION INTERCOMPARISON ON FLOWMETERS FOR KEROSENE SYNTHESIS REPORT. Report Alternate Text
Category

Documents

Sciences formelles

CALIBRATION INTERCOMPARISON ON FLOWMETERS FOR KEROSENE SYNTHESIS REPORT. Report

Directorate-General For Research And Innovation

Book

94 pages

Flag

English

Cours d anal
Category

Documents

Cours d'anal

Camille Jordan, University Of California Libraries

Cours d anal Alternate Text
Category

Documents

Sciences formelles

Cours d'anal

Camille Jordan, University Of California Libraries

Book

642 pages

Flag

Français

Introduction à gprolog
Category

Documents

Introduction à gprolog

Introduction à gprolog Alternate Text
Category

Documents

Sciences formelles

Introduction à gprolog

Book

36 pages

Flag

Français

[cel-00339827, v1] Cours de mécanique statistique Master 1ere annee
Category

Documents

[cel-00339827, v1] Cours de mécanique statistique Master 1ere annee

Combescure, Monique

[cel-00339827, v1] Cours de mécanique statistique Master 1ere annee Alternate Text
Category

Documents

Sciences formelles

[cel-00339827, v1] Cours de mécanique statistique Master 1ere annee

Combescure, Monique

Book

143 pages

Flag

Français

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

Cours - Polynomes
Category

Documents

Cours - Polynomes

Cours - Polynomes Alternate Text
Category

Documents

Sciences formelles

Cours - Polynomes

Book

20 pages

Flag

Français

Cours sur les fonctions en classe de seconde - Bacamaths
Category

Documents

Cours sur les fonctions en classe de seconde - Bacamaths

Costantini

Cours sur les fonctions en classe de seconde - Bacamaths Alternate Text
Category

Documents

Sciences formelles

Cours sur les fonctions en classe de seconde - Bacamaths

Costantini

Book

11 pages

Flag

Français

bottou-NIPS-07-tutorial
Category

Documents

Bottou-NIPS-07-tutorial

bottou-NIPS-07-tutorial Alternate Text
Category

Documents

Sciences formelles

Bottou-NIPS-07-tutorial

Book

60 pages

Flag

English

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990
Category

Documents

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990

Directorate-General For Research And Innovation

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990 Alternate Text
Category

Documents

Sciences formelles

WIND POWER PENETRATION STUDY the case of Ireland. Final Report June 1990

Directorate-General For Research And Innovation

Book

382 pages

Flag

English

Fourth framework programme
Category

Documents

Fourth framework programme

European Commission Directorate-General For Mobility And Transport

Fourth framework programme Alternate Text
Category

Documents

Sciences formelles

Fourth framework programme

European Commission Directorate-General For Mobility And Transport

Book

408 pages

Flag

English

Development of a methodology for the establishment of a system to determine solid waste composition
Category

Documents

Development of a methodology for the establishment of a system to determine solid waste composition

European Commission Directorate-General For Research And Innovation

Development of a methodology for the establishment of a system to determine solid waste composition Alternate Text
Category

Documents

Sciences formelles

Development of a methodology for the establishment of a system to determine solid waste composition

European Commission Directorate-General For Research And Innovation

Book

194 pages

Flag

English

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)
Category

Documents

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)

Maiso, Jordi

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009) Alternate Text
Category

Documents

Sciences formelles

Las contradicciones en el sujeto y el psicoanálisis como resistencia partisana: Paul Parin (1916–2009)

Maiso, Jordi

Book

5 pages

Flag

Español

Cours de méca du point L1 UJF
Category

Documents

Cours de méca du point L1 UJF

Johann Collot

Cours de méca du point L1 UJF Alternate Text
Category

Documents

Sciences formelles

Cours de méca du point L1 UJF

Johann Collot

Book

13 pages

Flag

English

Alternate Text