Sciences formelles

Sciences formelles

Science formelle

La Science et les Sciences
Généralités
Connaissance · Théorie · Savoir
Classification des sciences
Amélioration des sciences
Vie scientifique
Méthode scientifique
Voir aussi
  • Catégories : Sciences · Portails scientifiques
  • Portails : Sciences (sous-portails)
 Cette boîte : voir • disc. • mod. 


Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Il s'agit par exemple des mathématiques ou de la logique.

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 (information automatique) désigne l'automatisation du traitement de l'information par un système, concret (machine) ou abstrait. Dans son acception courante, l'informatique désigne l'ensemble des sciences et techniques en rapport avec le traitement de l'information. Dans le parler populaire, l'informatique peut aussi désigner ce qui se rapporte au matériel informatique (l'électronique), et la bureautique.

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).


  • Portail sur les sciences Portail sur les sciences
Ce document provient de « Science formelle ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • SCIENCES - Sciences et discours rationnel — En première approximation, on pourrait dire que la science est un mode de connaissance critique. Le qualificatif «critique» doit être entendu ici en un double sens: il indique, d’une part, que la science exerce un contrôle vigilant sur ses… …   Encyclopédie Universelle

  • Sciences molles — Sciences dures 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

  • Sciences dures — est une expression populaire désignant dans un même ensemble les sciences de la nature et les sciences formelles. Synonyme de sciences exactes, elle est cependant sensiblement plus problématique que cette dernière expression, en particulier du… …   Wikipédia en Français

  • 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

  • Sciences Sociales — 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

  • Sciences de l'homme — 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

  • Sciences de la société — 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

  • Sciences de l’homme — 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

  • 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

  • Sciences sociales — 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”