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

Logique propositionnelle : Applications et traductions

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Description

Cette séance de cours couvre les applications de la logique propositionnelle, y compris la traduction du langage naturel en logique propositionnelle, la recherche booléenne, les puzzles logiques, les circuits logiques et le sudoku. Il explique également comment convertir des phrases en langage naturel en instructions logiques propositionnelles et comment les requêtes booléennes fonctionnent pour la recherche de documents.

Enseignant·e

Karl Aberer

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

Source officielle

Concepts associés (32)

Porte logique

vignette|Composants TTL Une porte logique (gate) est un circuit électronique réalisant des opérations logiques (booléennes) sur une séquence de bits. Cette séquence est donnée par un signal d'entrée modulé en créneau (signal carré), et cadencé de façon précise par un circuit d'horloge, ou quartz. Les opérations logiques sont réalisées électriquement par une combinaison de bascules ou inverseurs, à base de transistors. Étant donné les capacités d'intégration en électronique, un circuit intégré comporte généralement plusieurs portes à la fois.

Recherche plein texte

La recherche (en) plein texte (appelée aussi recherche en texte intégral ou recherche de texte libre) est une technique de recherche dans un document électronique ou une base de données textuelles, qui consiste pour le moteur de recherche à examiner tous les mots de chaque document enregistré et à essayer de les faire correspondre à ceux fournis par l'utilisateur. Les techniques de recherche sont devenues fréquentes dans les bases de données bibliographiques en ligne dans les années 1970.

Logique séquentielle

En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s'oppose à la logique combinatoire, dont les résultats sont fonction et seulement fonction des données actuellement traitées. En d'autres termes, la logique séquentielle utilise la notion de mémoire de stockage (Bascules, registres, etc.) alors que la logique combinatoire n'en a pas.

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.

Moteur de recherche

alt=Capture d'écran d'une page de résultat de recherche|vignette|340x340px|Capture d'écran d'une page de résultat de recherche Un moteur de recherche est une application permettant à un utilisateur d'effectuer une recherche locale ou en ligne, c'est-à-dire de trouver des ressources à partir d'une requête composée de termes. Les ressources peuvent notamment être des pages web, des articles de forums Usenet, des , des vidéos, des fichiers, des ouvrages, des sites pédagogiques, des applications, des logiciels open source.

Afficher plus

Séances de cours associées (26)

Applications de la logique propositionnelle

Explore la traduction du langage naturel en logique propositionnelle, recherche booléenne, puzzles de logique, circuits et Sudoku.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

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.

Systèmes finis exprimés avec des formules

Explore l'encodage des systèmes finis avec les fonctions booléennes, la logique propositionnelle, les invariants inductifs et les systèmes de preuve formels.

Circuits logiques combinés

Couvre les bases des systèmes logiques, de l'algèbre booléenne, des portes logiques et du codage dans les circuits numériques.

Afficher plus

Concepts associés (32)

Porte logique

Recherche plein texte

Logique séquentielle

Algèbre de Boole (logique)

Moteur de recherche

Afficher plus