Wikipédia en français - L'encyclopé...
Download this dictionary
Science formelle
Les
sciences formelles
(ou
sciences logico-formelles
) explorent
déductivement
, selon des règles de formation et de démonstration, des
systèmes axiomatiques
. Les sciences formelles regroupent les
mathématiques
, la
logique
et l'
informatique théorique
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.