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

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 présente l'importance des mathématiques discrètes pour l'informatique, couvrant des sujets tels que les structures, les fonctions et les relations. Il explique également l'organisation du cours, l'horaire hebdomadaire, les exercices et les examens.

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 (31)

Informatique

alt=Salle informatique de la bibliothèque d'Art et d'Archéologie de Genève|vignette|Salle informatique de la bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques : des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches : théorique : concerne la définition de concepts et modèles ; pratique : s'intéresse aux techniques concrètes de mise en œuvre.

Calcul des propositions

Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.

Fonction elliptique de Jacobi

En mathématiques, les fonctions elliptiques de Jacobi sont des fonctions elliptiques d'une grande importance historique. Introduites par Carl Gustav Jakob Jacobi vers 1830, elles ont des applications directes, par exemple dans l'équation du pendule. Elles présentent aussi des analogies avec les fonctions trigonométriques, qui sont mises en valeur par le choix des notations sn et cn, qui rappellent sin et cos. Si les fonctions elliptiques thêta de Weierstrass semblent mieux adaptées aux considérations théoriques, les problèmes physiques pratiques font plus appel aux fonctions de Jacobi.

Fonction trigonométrique

thumb|upright=1.35|Toutes les valeurs des fonctions trigonométriques d'un angle θ peuvent être représentées géométriquement. En mathématiques, les fonctions trigonométriques permettent de relier les longueurs des côtés d'un triangle en fonction de la mesure des angles aux sommets. Plus généralement, ces fonctions sont importantes pour étudier les triangles et les polygones, les cercles (on les appelle alors fonctions circulaires) et modéliser des phénomènes périodiques.

Proposition (philosophie)

Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».

Afficher plus

Séances de cours associées (52)

Mathématiques discrètes: Logique, Structures, Algorithmes

Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.

Existence d'une limite MOOC: Analyse I MOOC: Analyse I (partie 4) : Limite d'une fonction, fonctions continues

Couvre des exemples liés à l'existence de limites de fonctions.

Estimation des integrals MOOC: Analyse I MOOC: Analyse I (partie 7) : Intégrales indéfinies et définies, intégration (chapitres choisis)

Couvre l'estimation des intégrales à l'aide de diverses propositions et démonstrations.

Opérations algébriques sur les limites MOOC: Analyse I MOOC: Analyse I (partie 4) : Limite d'une fonction, fonctions continues

Couvre les opérations algébriques sur les limites et leur application dans les calculs des limites.

Dérivés et solutions

Explore la différentiabilité, l'évaluation des propositions et les solutions aux équations à l'aide de dérivés.

Afficher plus

Concepts associés (31)

Informatique

Calcul des propositions

Fonction elliptique de Jacobi

Fonction trigonométrique

Proposition (philosophie)

Afficher plus