11 ressources en auto-formation : Boole

FILTRES

11 résultats
page 1 sur 2
Résultats de 1 à 10
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.
Présentation de la ressource en auto-formation Logique : Portes logiques. (Physique et simulations numériques - Electronique) simulation, cours / présentation
01/02/2001
Logique : Portes logiques. (Physique et simulations numériques - Electronique)
Auteur(s) : Rousseau Jean-Jacques
Description : L'auteur de ce site propose une simulation numérique (applet) pour simuler les différentes portes logiques et tracer leurs tables de vérité. L'applet permet de sélectionner un type de porte et de changer l'état des entrées.
Présentation de la ressource en auto-formation Nom de code : binaire cours / présentation, démonstration
12/12/2008
Nom de code : binaire
Auteur(s) : Guitton Pascal
Description : L’ordinateur ne comprend pas le moindre mot ! N’oublions pas que ses ancêtres sont des machines à calculer ; il faut donc lui parler dans sa langue maternelle… les chiffres ! 0 et 1 sont ses préférés…
Présentation de la ressource en auto-formation Quiz - Bases de l'algèbre de Boole autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Bases de l'algèbre de Boole
Auteur(s) : Duhamel Michel, Lozes André
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole
Présentation de la ressource en auto-formation Quiz - Bases de la logique - 1 autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Bases de la logique - 1
Auteur(s) : Pezeril Sylvain
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole
Présentation de la ressource en auto-formation Quiz - Bases de la logique - 2 autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Bases de la logique - 2
Auteur(s) : Pezeril Sylvain
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole
Présentation de la ressource en auto-formation Quiz - Bases de la logique - 3 autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Bases de la logique - 3
Auteur(s) : Pezeril Sylvain
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole
Présentation de la ressource en auto-formation Quiz - Bases de la logique - Tables de Karnaugh autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Bases de la logique - Tables de Karnaugh
Auteur(s) : Pezeril Sylvain
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole
Présentation de la ressource en auto-formation Quiz - Numération et conversion Décimal / Binaire autoévaluation, évaluation, examen, exercice
25/10/2014
Quiz - Numération et conversion Décimal / Binaire
Auteur(s) : Duhamel Michel, Lozes André
Description : Autoévaluation pour s'entraîner dans le domaine des bases de la logique et Algèbre de Boole