Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

George Boole: Logique et ordinateurs

Description

Cette séance de cours plonge dans l'histoire de George Boole, un mathématicien du XIXe siècle qui a révolutionné la logique en introduisant des concepts mathématiques au raisonnement logique. Les idées de Boole ont ouvert la voie à l'informatique moderne, car ses opérateurs logiques sont des composants fondamentaux des systèmes informatiques.

Source officielle

Concepts associés (32)

Liste de concepts logiques

Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Raisonnement déductif

En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.

Induction (logique)

L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.

Algèbre de Boole (logique)

Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Afficher plus

Séances de cours associées (50)

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Logique en mathématiques : propriétés et propositions

Explore la signification de la logique en mathématiques et en sciences à travers des propriétés et des propositions.

Maths Puzzle: La famille de l'ours et le miel

Présente un puzzle mathématique impliquant une famille d'ours et la consommation de miel.

Logique propositionnelle : Formes et applications normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.

Logique propositionnelle : règles d'inférence et arguments valides

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

Afficher plus

Concepts associés (32)

Liste de concepts logiques

Logique

Raisonnement déductif

Induction (logique)

Algèbre de Boole (logique)

Afficher plus