2 résultats : algèbre Boole

Recherche en cours

Par mots-clef = algèbre Boole

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

Introduction à la logique

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.

Mots clés : logique, langage formel, algèbre Boole, calcul proposition, algorithme de décision, preuve, calcul prédicat, logique intuitionniste, lambda calcul, fuscia

Date : 01-09-2009

Droits : Ressource en accès libre.

Introduction à la logique

Ajouter à mon panier

Accéder au document

Bases d'automatisme

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

Mots clés : automatique, algèbre Boole, combinatoire numérique, déroulement séquentiel, fuscia

Date : 01-02-2007

Droits : Ce cours est diffusé sous licence Creative Commons "Paternité sans utilisation commerciale", ce qui signifie que vous pouvez utiliser, diffuser ce cours auprès d'un public aux conditions de citer l'auteur et le titre et que vous n'avez pas le droit d'utiliser ce support à des fins commerciales.

Bases d'automatisme

Ajouter à mon panier

Accéder au document

Rebondir