Cours 1
Cours 1
Cours 1
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ELE1300 Circuits logiques<br />
Introduction
Considérations officielles<br />
<br />
ELE1300 – Circuits logiques<br />
→ <strong>Cours</strong> de première année ♥<br />
<br />
Réussir le cours est requis ou corequis à nombre de cours du baccalauréat<br />
en génie électrique (dont certains en spécialité):<br />
<br />
<br />
<br />
<br />
ELE1001 (travail en équipe et projet)<br />
ELE3311 (systèmes logiques programmables)<br />
ELE3312 (microcontrôleurs et applications)<br />
ELE4306 (électronique des communications)<br />
2<br />
Circuits logiques : Introduction
Considérations officielles (…)<br />
<br />
Évaluation:<br />
<br />
Laboratoires 10% (2% par laboratoire)<br />
TIP + oral 10%<br />
Super Boole 10% (1% par matière)<br />
Contrôle périodique 30%<br />
Examen final 40%<br />
<br />
Laboratoires:<br />
6 séances (une fois aux deux semaines)<br />
La présence aux laboratoires est obligatoire<br />
Les laboratoires sont réalisés en équipe de deux<br />
<br />
Les laboratoires sont réalisés durant la séance de<br />
3 heures et l’évaluation est effectuée durant la séance.<br />
Le logiciel Quartus est utilisé au laboratoire<br />
3<br />
Circuits logiques : Introduction
Considérations officielles (…)<br />
<br />
Votre chargé de cours:<br />
Tarek Ould Bachir<br />
→ Étudiant au doctorat<br />
<br />
Coordonnées:<br />
Bureau M-5028<br />
Extension téléphonique 7128<br />
E-mail : tarek.ould-bachir@polymtl.ca<br />
E-mail personnel: tarkoo@gmail.com<br />
<br />
Disponibilités<br />
Après la séance de cours<br />
Sur RDV (par e-mail)<br />
4<br />
Circuits logiques : Introduction
Considérations officielles (…)<br />
<br />
Site web du cours:<br />
www.cours.polymtl.ca/ele1300<br />
ca/ele1300<br />
<br />
Documentation:<br />
Acétates du cours (disponibles sur le site web du cours)<br />
Notes de cours (disponibles sur le site web du cours)<br />
<br />
Le livre de référence (en vente à la Coop)<br />
<br />
Plan de cours:<br />
Contient toute l’information i présentée é ici i et plus.<br />
Disponible sur le site web du cours…<br />
<br />
Coordinateur du cours:<br />
Le professeur Jean-Pierre David<br />
5<br />
Circuits logiques : Introduction
Ce que nous allons étudier<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Algèbre de Boole<br />
Circuits combinatoires<br />
Optimisation de circuits combinatoire<br />
Représentation des nombres et op.<br />
Circuits séquentiels de base<br />
Circuits séquentiels avancés<br />
Codage et intégrité de l’information<br />
6<br />
Circuits logiques : Introduction
Après le cours, vous pourrez<br />
<br />
Comprendre les principes fondamentaux menant à la conception n des<br />
systèmes numériques<br />
<br />
Analyser, concevoir et simuler des circuits logiques de complexité moyenne<br />
<br />
Réaliser l’importance des notions relatives aux circuits logiques dans le<br />
domaine des technologies de l’information (TI) et de les appliquer dans<br />
d’autres domaines<br />
7<br />
Circuits logiques : Introduction
Commençons un peu…<br />
Pourquoi circuits logiques?<br />
8<br />
Circuits logiques : Introduction
La logique<br />
Ce ne serait pas quelque chose qui se rapporte au raisonnement ???<br />
Vous êtes devant deux portes, chacune protégée<br />
par un gardien. Une porte donne sur la liberté, l’autre sur la<br />
guillotine. Un des gardiens dit toujours la vérité, l’autre ment<br />
toujours.<br />
Mais vous ne savez pas qui est qui !!!<br />
Vous avez droit à une et une seule question à un<br />
des gardiens. Après, il vous faut choisir une porte.<br />
Quelle sera votre question ?<br />
9<br />
Circuits logiques : Introduction
Petite modèle personnel…<br />
esprit<br />
rigueur<br />
Philosophie<br />
Mathématiques<br />
Raisonner<br />
Ingénierie<br />
calcul<br />
10<br />
Circuits logiques : Introduction
En philosophie<br />
Syllogisme (triste) d’Aristote<br />
Les hommes sont mortels<br />
Je suis un homme<br />
Je suis mortel<br />
11<br />
Circuits logiques : Introduction
En philosophie<br />
Syllogisme mal formé d’Aristote<br />
Les ingénieurs sont des hommes riches<br />
Je serai ingénieur<br />
Je serai un homme riche<br />
12<br />
Circuits logiques : Introduction
En philosophie<br />
Syllogisme (drôle) de Ionesco<br />
L: Voici donc un syllogisme exemplaire. Le chat<br />
a quatre pattes. Isidore et Fricot ont chacun<br />
quatre pattes. Donc Isidore et Fricot sont chats.<br />
M: Mon chien aussi a quatre pattes.<br />
L: Alors, c'est un chat.<br />
13<br />
Circuits logiques : Introduction
Ensembles (théorie des) ?<br />
Mortels<br />
Hommes<br />
Je<br />
14<br />
Circuits logiques : Introduction
Ensembles (théorie des) ?<br />
Riches<br />
Ingénieurs<br />
Je<br />
15<br />
Circuits logiques : Introduction
Ensembles (théorie des) ?<br />
Chiens<br />
Avoir quatre pattes<br />
Chats<br />
16<br />
Circuits logiques : Introduction
Théorie des ensembles<br />
Paradoxe de Russell<br />
<br />
L’ensemble des ensembles qui se ne se contiennent pas<br />
eux-mêmes se contient-il lui-même?<br />
→ Si oui, alors un élément de cet ensemble ne respecte<br />
pas la définition<br />
→ Si non, alors l’ensemble des ensembles qui ne se<br />
contiennent pas eux-mêmes ne contient pas au moins un<br />
élément: lui-même<br />
Cantor<br />
Russell<br />
17<br />
Circuits logiques : Introduction
Arrive Gödel!!<br />
Logicien (mathématicien) d’exception<br />
→ Théorème d’incomplétude<br />
Raisonner c’est calculer<br />
Gödel<br />
Petit paradoxe de Gödel:<br />
De peur d’être empoisonné, Gödel ne mangeait que ce<br />
que sa femme cuisinait. Quand celle-ci est décédée, édé Gödel<br />
a cessé de manger et il en est mort…<br />
18<br />
Circuits logiques : Introduction
L’ingénierie entre en scène<br />
<br />
<br />
<br />
<br />
Machine de Turing<br />
Réseaux de neurones artificiels<br />
Automates de von Neumann<br />
L’ordinateur de von Neumann<br />
RAISONNER C’EST CALCULER…<br />
LE CERVEAU HUMAIN EST-IL UNE CALCULATRICE?...<br />
19<br />
Circuits logiques : Introduction
Petite modèle personnel…<br />
esprit<br />
rigueur<br />
Philosophie<br />
Mathématiques<br />
Raisonner<br />
Ingénierie<br />
calcul<br />
20<br />
Circuits logiques : Introduction
Shannon et ses foutus bits…<br />
<br />
Shannon, étudiant au MIT, découvre l’algèbre de Boole dans<br />
un cours de philosophie.<br />
Une écriture mathématique des propositions logiques :<br />
( 0 / 1 ) et ( · / + )<br />
Très vite, il fait le lien entre cette science et son application<br />
possible aux circuits i à relais<br />
21<br />
Circuits logiques : Introduction
Circuits logiques<br />
NON, ET, OU<br />
NON (« NOT »)<br />
ET (« AND »)<br />
OU (« OR »)<br />
A<br />
S<br />
A<br />
B<br />
S<br />
A<br />
B<br />
S<br />
S<br />
=<br />
A<br />
S = A⋅ B ou AB S = A+<br />
B<br />
A S<br />
0 1<br />
1 0<br />
A B S<br />
0 0 0<br />
0 1 0<br />
1 0 0<br />
A B S<br />
0 0 0<br />
0 1 1<br />
1 0 1<br />
1 1 1 1 1 1<br />
22<br />
Circuits logiques : Introduction
Circuits logiques<br />
NON, ET, OU? PLUS!<br />
NON-ET (« NAND ») NON-OU (« NOR »)<br />
A<br />
B<br />
S<br />
A<br />
B<br />
S<br />
S = AB<br />
A B S<br />
0 0 1<br />
0 1 1<br />
1 0 1<br />
1 1 0<br />
S = A+<br />
B<br />
A B S<br />
0 0 1<br />
0 1 0<br />
1 0 0<br />
1 1 0<br />
23<br />
Circuits logiques : Introduction
Circuits logiques<br />
NET, NOU? BEAUCOUP PLUS!<br />
OU EXCLUSIF<br />
(« XOR »)<br />
ÉQUIVALENCE<br />
(« XNOR »)<br />
A<br />
B<br />
S<br />
A<br />
B<br />
S<br />
S = A⊕B<br />
S = A⊕<br />
B = A⊗<br />
B<br />
A B S<br />
0 0 0<br />
0 1 1<br />
1 0 1<br />
1 1 0<br />
A B S<br />
0 0 1<br />
0 1 0<br />
1 0 0<br />
1 1 1<br />
24<br />
Circuits logiques : Introduction
Learning by doing<br />
Exprimer la fonction logique gq<br />
A<br />
F<br />
B<br />
C<br />
25 Circuits logiques : Introduction
Learning by doing…<br />
Trouver le circuit de cette table de vérité<br />
A B C S<br />
0 0 0 0<br />
0 0 1 0<br />
0 1 0 1<br />
0 1 1 1<br />
1 0 0 0<br />
1 0 1 1<br />
1 1 0 0<br />
1 1 1 1<br />
26 Circuits logiques : Introduction
Learning by doing…<br />
Trouver le circuit de cette table de vérité<br />
A B C S<br />
0 0 0 0<br />
0 0 1 1<br />
0 1 0 1<br />
0 1 1 0<br />
1 0 0 0<br />
1 0 1 1<br />
1 1 0 1<br />
1 1 1 0<br />
27 Circuits logiques : Introduction
Learning by doing…<br />
Trouver le circuit de cette table de vérité<br />
A B C S<br />
0 0 0 0<br />
0 0 1 1<br />
0 1 0 1<br />
0 1 1 0<br />
1 0 0 1<br />
1 0 1 0<br />
1 1 0 0<br />
1 1 1 1<br />
28 Circuits logiques : Introduction
Des chiffres, des chiffres<br />
Avec des 0 et des 1 ?<br />
<br />
Que vaut 110 en binaire?<br />
<br />
Mais d’abord que vaut 110 en décimal?<br />
29<br />
Circuits logiques : Introduction
Des chiffres, des chiffres<br />
OUI, avec des 0 et des 1<br />
<br />
Que vaut 110 en décimal?<br />
1 × 100 + 1 × 10 + 0 × 1<br />
<br />
Que vaut 110 en binaire?<br />
1 × 4 + 1 × 2 + 0 × 1<br />
30<br />
Circuits logiques : Introduction
Encore plus de chiffres<br />
00 0000 -- 08 1000<br />
01 0001 -- 09 1001<br />
02 0010 -- 10 1010<br />
03 0011 -- 11 1011<br />
04 0100 -- 12 1100<br />
05 0101 -- 13 1101<br />
06 0110 -- 14 1110<br />
07 0111 -- 15 1111<br />
31<br />
Circuits logiques : Introduction