4 résultats : 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 1 sur 1
résultats 1 à 4
UNIT
Nom de code : binaire
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…
Mots clés : codage binaire, information, algèbre de Boole, ASCII, pixel, fuscia
Date : 19-11-2008
Format : Document HTML
Auteur : Guitton Pascal
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
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
Format : Document HTML
Auteur : Pottier Loïc
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Ressource en accès libre.
UNIT
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
Format : Document HTML
Auteur : Rousseau Jean-Jacques
Thème : Physique, Mécanique, Optique, Electromagnetisme, Métrologie, Ingénierie et activités connexes
Type de la ressource pédagogique : simulation, cours / présentation
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant, enseignant
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/ .
UNIT
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
Format : Document HTML
Auteur : Trau Patrick
Thème : Ingénierie et activités connexes
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement secondaire
Public : apprenant
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.