Concept

Philosophie de la logique

Séances de cours associées (32)

Logique propositionnelle : bases et applications

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

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

Propositions en tant que types: Logique et correspondance de programmation

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.

Ajouter une variable

Démontre l'ajout d'une variable pour suivre les niveaux dans un programme.

Championnat international des jeux mathématiques et logiques

Introduit le Championnat international des jeux mathématiques et logiques, un événement amusant et stimulant pour les participants âgés de 8 à 88 ans.

George Boole: Logique et ordinateurs

Explore comment l'approche mathématique de George Boole a révolutionné la logique et jeté les bases de l'informatique moderne.

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 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.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

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

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

Concepts de programmation : Variables et expressions

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

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.

Comprendre les microcontrôleurs : bases et programmation

Couvre les bases des microcontrôleurs, y compris les exercices pratiques et les tâches de programmation pour l'expérience pratique.

Algèbre booléenne : propriétés et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.

BJT vs FET Opération Connectez-vous à Mediaspace pour regarder cette vidéo

Compare le fonctionnement BJT et FET dans les systèmes logiques, discute des technologies TTL vs CMOS et explore la fonctionnalité Set-Reset Latch.

SR Latch et D Flip-Flop: Éléments de mémoire dans les systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.

Systèmes logiques : Karnaugh Maps et TTL Gates Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les cartes Karnaugh, les portes TTL, les aspects analogiques de la logique numérique et les principaux impliqués.

Systèmes logiques ascenseurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les systèmes logiques d'ascenseur, y compris l'analyse du comportement, les fonctions logiques, les verrous SR et les verrous de réinitialisation.

Portes CMOS et systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des portes CMOS et des systèmes logiques, en soulignant les avantages de CMOS par rapport aux portes TTL.

Conception et synthèse FSM Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la conception et la synthèse des machines à états finis dans les systèmes logiques.