03.01.2014 Views

Cours 1

Cours 1

Cours 1

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!