2 ressources en auto-formation : algèbre Boole

FILTRES

2 résultats
page 1 sur 1
Résultats de 1 à 2
Présentation de la ressource en auto-formation Bases d'automatisme cours / présentation
01/02/2007
Bases d'automatisme
Auteur(s) : Trau Patrick
Description : Il s'agit d'une initiation à l'automatique, ce cours s'adresse à des lycéens souhaitant appréhender les notions générales de l'automatique, c'est-à-dire : un capteur, un actionneur, le codage binaire, l'algèbre de Boole, les différents circuits, le traitement séquentiel, la conversion analogique ...
Présentation de la ressource en auto-formation Introduction à la logique cours / présentation
01/09/2009
Introduction à la logique
Auteur(s) : Pottier Loïc
Description : Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.