Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Formule propositionnelle
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (30)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 3 sur 3
Suivant
Opérations algébriques sur les limites
Couvre les opérations algébriques sur les limites et leur application dans les calculs des limites.
Différenciation en analyse
Explore la différentiabilité dans l'analyse, en discutant des conditions pour que les fonctions soient différenciables et continues.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
La chaîne d'Ising inhomogène
Couvre la chaîne de Ising inhomogène, Gibbs mesures, et le lemme Borel-Cantelli.
Logique principale : quantificateurs, FNC, DNF
Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.
Existence d'une limite
Couvre des exemples liés à l'existence de limites de fonctions.
Preuves formelles: vérification des invariants et des modèles liés
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Logique: Techniques de preuve
Explore les techniques de preuve en logique, démontrant comment prouver ou réfuter des propositions en utilisant des négations et des hypothèses.
Logique proposée: Traductions et équivalences
Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.
Dérivés et solutions
Explore la différentiabilité, l'évaluation des propositions et les solutions aux équations à l'aide de dérivés.
