Formal sciences

5 269 Books

Mathematics, logic, computer science (all our books and computer books on this page ), algebra or geometry are a particular part of science. These are, in fact, formal sciences or logical-formal sciences . The latter will explore axiomatic systems.


Science based on numbers


Particularity of the formal sciences , they are based on numbers and watches. It is therefore important to master these concepts if you want to understand the different formal sciences.


Another particularity of mathematics, logic, computer science, algebras or geometry, they are often used in other sciences. For example, physics often uses mathematics. This is also the case for economics, which cannot function without mathematical statistics.


Today, even more than a few decades ago, most people use these logical-formal sciences in their everyday life, sometimes even without realizing it. Indeed, when you do a simple calculation, you use mathematics, when you use a computer, a smartphone or a tablet you use (or your machine) computers without knowing it.


A large choice of documents on science


To better understand its different formal sciences , you will find on our site a wide choice of documents and publications on these disciplines. Do not hesitate to browse them online, download them or download them.


Among the publications that could be interesting, there are our courses on computer science or our documents on algorithmics .

DECIMAL SCANNER FOR THE MODULAR CHAIN - Joint Research Centre
18 Pages
Coal-fired magnetohydrodynamic (MHD) electric power generation - Directorate-General for the Information Society and Media European Commission Directorate-General for Research and Innovation
Coal-fired magnetohydrodynamic (MHD) electric power generation
Directorate-General for the Information Society and Media European Commission Directorate-General for Research and Innovation
256 Pages
3ème Cours   Cours MPRI 2010–2011 - Michel Habib  habib@liafa.jussieu.fr ` `%%%`#`&12_`__~~~alse
3ème Cours Cours MPRI 2010–2011
Michel Habib habib@liafa.jussieu.fr ` `%%%`#`&12_`__~~~alse
54 Pages
matlab tutorial - Gergana Bounova
Matlab tutorial
Gergana Bounova
18 Pages
Grid connected wind turbines - Directorate-General for Translation European Commission
Grid connected wind turbines
Directorate-General for Translation European Commission
140 Pages
PASSIVE SOLAR ARCHITECTURE IN EUROPE - Directorate-General for Translation European Commission
PASSIVE SOLAR ARCHITECTURE IN EUROPE
Directorate-General for Translation European Commission
244 Pages
Application of analytical methods for trace elements in geothermal waters - Directorate-General for Translation European Commission
Application of analytical methods for trace elements in geothermal waters
Directorate-General for Translation European Commission
160 Pages
Workshop on standardization of analytical methods for manure, soils, plants and water - Directorate-General for Translation European Commission
130 Pages
Medium-size photovoltaic power plants - Directorate-General for Translation European Commission
Medium-size photovoltaic power plants
Directorate-General for Translation European Commission
172 Pages
Sprite Animation Tutorial - Copyright (c) 2001, 2002 by Ari Feldman
Sprite Animation Tutorial
Copyright (c) 2001, 2002 by Ari Feldman
64 Pages
A risk management model for transport of dangerous goods - European Commission Joint Research Centre
A risk management model for transport of dangerous goods
European Commission Joint Research Centre
284 Pages
these -
9 Pages
Short math guide for latex - Michael Downes
17 Pages
expand_more