Science formelle

ÔĽŅ
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.

Sommaire

Algèbre

L'algèbre est la branche des mathématiques qui étudie les structures algébriques, indépendamment de la notion de limite (rattachée à l'analyse) et de la notion de représentation graphique (rattachée à la géométrie).

L'étude des structures algébriques peut être faite de manière unifiée dans la cadre de l'algèbre universelle.

Mathématiques

Les mathématiques sont un domaine de connaissance construit par des raisonnements hypothético-déductifs, ou par l'absurde, relativement à des concepts tels que les nombres, les figures, les structures et les changements. Les mathématiques désignent aussi le domaine de recherche visant à développer ces connaissances, ainsi que la discipline qui les enseigne.

Géométrie

Traditionnellement, la géométrie est la partie des mathématiques qui étudie les figures dans le plan et l'espace à 3 dimensions. Maintenant, la géométrie est le nom donné à plusieurs branches des mathématiques, qui puisent leurs sources dans la géométrie au sens traditionnel, mais qui divergent par leurs méthodes, et qui se sont constituées en disciplines autonomes. Il est donc difficile de définir ce qu'est la géométrie de manière à englober toutes ces géométries.

Informatique

L'informatique est une science formelle dont l'objet d'√©tude est le calcul, calcul au sens large, c'est-√†-dire non limit√© exclusivement √† la manipulation des nombres, mais de tout type d'information formelle que l'on peut traiter de mani√®re syst√©matique tel que : textes, couleurs, donn√©es, valeurs logiques. Selon les contextes, on parle d'un calcul, d'un algorithme, d'un programme, d'une proc√©dure, etc.

Logique

La logique (du grec őĽŌĆő≥őŅŌā (logos), ce qui veut dire, entre autres, raison ou discours) est dans une premi√®re approche l'√©tude des r√®gles formelles que doit respecter toute d√©duction correcte.

Elle est depuis l'antiquité l'une des grandes disciplines de la philosophie, avec l'éthique et la métaphysique. En outre, on a assisté durant le XXe siècle au développement fulgurant d'une approche mathématique et informatique de la logique. Elle trouve de nos jours de nombreuses applications en ingénierie, en linguistique, en psychologie cognitive, en philosophie analytique ou en communication.

Topologie

La topologie est une branche des mathématiques concernant l'étude des déformations spatiales par des transformations continues (sans arrachages ni recollement des structures).



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Science formelle de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Science moderne ‚ÄĒ Science Pour les articles homonymes, voir Science (homonymie). Prom√©th√©e apportant le feu a ‚Ķ   Wikip√©dia en Fran√ßais

  • Science naturelle ‚ÄĒ Science de la nature La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des sciences Science empirique ¬∑ sciences exactes Sciences dures ¬∑ sciences molles Science de ‚Ķ   Wikip√©dia en Fran√ßais

  • Science ‚ÄĒ Pour les articles homonymes, voir Science (homonymie). All√©gorie de la Science par Jules Blanchard. Situ√©e sur le parvis de l H√ītel de ville de Paris La ‚Ķ   Wikip√©dia en Fran√ßais

  • Science humaine ‚ÄĒ Sciences humaines et sociales La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des sciences Science empirique ¬∑ sciences exactes Sciences dures ¬∑ sciences molles Science de la nature ‚Ķ   Wikip√©dia en Fran√ßais

  • Science sociale ‚ÄĒ Sciences humaines et sociales La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des sciences Science empirique ¬∑ sciences exactes Sciences dures ¬∑ sciences molles Science de la nature ‚Ķ   Wikip√©dia en Fran√ßais

  • Science exacte ‚ÄĒ Sciences exactes La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des sciences Science empirique ¬∑ sciences exactes Sciences dures ¬∑ sciences molles Science de la nature ‚Ķ   Wikip√©dia en Fran√ßais

  • Science exp√©rimentale ‚ÄĒ M√©thode exp√©rimentale Pour les articles homonymes, voir Exp√©rience (homonymie). La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des scienc ‚Ķ   Wikip√©dia en Fran√ßais

  • Science de la Vie et de la Terre ‚ÄĒ Sciences de la vie et de la terre Pour les articles homonymes, voir SVT (homonymie). La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des ‚Ķ   Wikip√©dia en Fran√ßais

  • Science de la vie et de la terre ‚ÄĒ Sciences de la vie et de la terre Pour les articles homonymes, voir SVT (homonymie). La Science et les Sciences G√©n√©ralit√©s Connaissance ¬∑ Th√©orie ¬∑ Savoir Classification des ‚Ķ   Wikip√©dia en Fran√ßais

  • Science pure ‚ÄĒ Recherche fondamentale Pour les articles homonymes, voir Recherche (homonymie). Traduction termin√©e ‚Ķ   Wikip√©dia en Fran√ßais


Share the article and excerpts

Direct link
… Do a right-click on the link above
and select ‚ÄúCopy Link‚ÄĚ

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.