Système formel

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 4

Transistor Logic Gates : TTL vs CMOS

Compare BJT et MOSFET dans les systèmes logiques, en se concentrant sur les technologies TTL vs CMOS.

Transport optimal : théorie et applications

Explore les multiplicateurs de Lagrange, les théorèmes minimax et les sous-ensembles convexes dans la théorie du transport optimal.

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.

Systèmes logiques : multiplexeurs et flip-flops

Explique les circuits de verrouillage SR, les verrous D, les bascules D, les signaux d'horloge et les multiplexeurs dans les systèmes logiques.

Algèbre linéaire: implications et équivalences

Explore les implications et les équivalences en algèbre linéaire à travers des exemples et des preuves formelles.

Systèmes logiques : TTL Gates et Aspects Analogiques

Explore les portes TTL, les aspects analogiques et diverses portes logiques dans les circuits numériques.

Coq: Introduction

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Qu’est-ce qu’une preuve formelle?

Couvre le concept de systèmes de preuve formelle, leur structure et leur solidité.

Calcul proposé

Couvre les bases du calcul proposé et son importance dans l'informatique.

Représentations entières : Magnitude & Complément

Explore les représentations entières, en se concentrant sur le signe et la magnitude, son complément, le complément à deux, l'excès-N, le débordement, le sous-flux et la multiplication binaire.