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

Concept

Free variables and bound variables

Séances de cours associées (30)

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en C++.

Predicate Logic : Quantificateur universel et existentiel

Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.

Predicate Logic: En savoir plus sur les quantificateurs

Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.

La chaîne d'Ising inhomogène

Couvre la chaîne de Ising inhomogène, Gibbs mesures, et le lemme Borel-Cantelli.

Comprendre les microcontrôleurs : fonctions

Introduit les fondamentaux des fonctions dans la programmation des microcontrôleurs, en mettant l'accent sur les règles de nommage et le développement étape par étape.

Comprendre les microcontrôleurs : fonctions

Introduit les fondamentaux des fonctions dans la programmation des microcontrôleurs, en mettant l'accent sur la désignation des conventions et la structuration des programmes.

Utilisation statique en C++ : compréhension des durées de vie variables

Couvre les trois usages de'static' en C++, en se concentrant sur les durées de vie et la portée variables.

Predicate Logic: En savoir plus sur les quantificateurs

Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.

Monotonie et sémantique des variables locales

Explore les propriétés des relations, la monotonie, la sémantique des variables locales et la traduction dans les programmes.

Séquentielle Calcul avec égalité

Couvre Séquent Calculus avec Equality, en mettant l'accent sur les formules atomiques et les règles de substitution.

Algèbre linéaire : propriétés et propositions

Explore le lien entre les propriétés et les variables, y compris les contraires et les propositions.

Systèmes finis exprimés avec des formules

Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.

Logique des prédicats : Introduction et équivalences

Couvre les bases de la logique des prédicats, les quantificateurs, les équivalences et les exemples de traduction en langage naturel.

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.

Pouvoirs et racines : comprendre les équations irrationnelles

Plonge dans les pouvoirs et les racines, en mettant l'accent sur les équations irrationnelles et la disjonction des cas.

Série Fourier : Comprendre la périodicité et les coefficients

Explore les fonctions t-périodiques de la série Fourier, en discutant des intervalles, des propositions et des changements variables pour le calcul des coefficients et la convergence des séries.

Indépendance linéaire : le concept Wronskian

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

Indépendance linéaire : le concept Wronskian

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

Exercice 07: Série 20, Exercice 4 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'exercice 4 de la série 20, axé sur les stratégies mathématiques de résolution de problèmes.