4 résultats : Boole

Recherche en cours

Par mots-clef = Boole

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

4 résultats

page 0 sur 1

résultats -9 à -7

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

Supprimer de mon panier

Accéder au document

Logique : Portes logiques. (Physique et simulations numériques - Electronique)

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.

Mots clés : électronique, logique, physique, simulation numérique, porte logique, signal logique, Boole, table de vérité, circuit intégré, TTL, transistor, transistor bipolaire, MOS, transistor à effet de champ, circuit, applet

Date : 01-02-2001

Droits : Cette ressource est accessible à tous sous un contrat Creative Commons (Paternité-Pas d'utilisation commerciale-Pas de modification) http://creativecommons.org/licenses/by-nc-nd/2.0/fr/ .

Logique : Portes logiques. (Physique et simulations numériques - Electronique)

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.

Rebondir