Back Formele wetenskap Afrikaans علوم صورية Arabic Tazuktafa opa AVK Формаль фәндәр Bashkir Формални науки Bulgarian রৌপ বিজ্ঞান Bengali/Bangla Ciència formal Catalan زانستی شێوەیی CKB Formální vědy Czech Formalwissenschaft German
Cet article est une ébauche concernant la science.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
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.