TC Moduł 1: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|width="450px"|[[Grafika:TC_M1_Slajd1. | |width="450px"|[[Grafika:TC_M1_Slajd1.png]] | ||
|valign="top"| | |valign="top"| | ||
|} | |} | ||
| Linia 7: | Linia 7: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd2. | |[[Grafika:TC_M1_Slajd2.png]] | ||
|valign="top"|Podstawą teoretyczną techniki cyfrowej są układy logiczne. Funkcjonalnie układy logiczne klasyfikujemy na układy kombinacyjne i układy sekwencyjne. Wykład rozpoczynamy od układów kombinacyjnych. Układ kombinacyjny jest podstawowym układem logicznym umożliwiającym realizację funkcji boolowskich. Układ kombinacyjny konstruujemy z elementów logicznych po to, aby realizować funkcje lub ich zespoły opisujące bardziej skomplikowane układy cyfrowe. Dlatego rozważania o układach kombinacyjnych rozpoczynamy od pojęcia funkcji boolowskiej. | |valign="top"|Podstawą teoretyczną techniki cyfrowej są układy logiczne. Funkcjonalnie układy logiczne klasyfikujemy na układy kombinacyjne i układy sekwencyjne. Wykład rozpoczynamy od układów kombinacyjnych. Układ kombinacyjny jest podstawowym układem logicznym umożliwiającym realizację funkcji boolowskich. Układ kombinacyjny konstruujemy z elementów logicznych po to, aby realizować funkcje lub ich zespoły opisujące bardziej skomplikowane układy cyfrowe. Dlatego rozważania o układach kombinacyjnych rozpoczynamy od pojęcia funkcji boolowskiej. | ||
|} | |} | ||
| Linia 14: | Linia 14: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd3. | |[[Grafika:TC_M1_Slajd3.png]] | ||
|valign="top"|Pojęcie funkcji boolowskiej jest pojęciem podstawowym umożliwiającym modelowanie zjawisk fizycznych reprezentowanych jako odwzorowanie ciągów (wektorów) binarnych należących do zbioru <b><i>X</i></b> w ciągi binarne (wektory) ze zbioru <b><i>Y</i></b>, gdzie zbiory <b><i>X</i></b>, <b><i>(Y)</i></b> są podzbiorami <math>n\,</math>-krotnego, (<math>m\,</math>-krotnego) iloczynu kartezjańskiego zbioru <b><i>B</i></b> = {0, 1}. Na planszy podana jest definicja funkcji boolowskiej. Zasygnalizowane są również najczęściej stosowane metody reprezentacji funkcji boolowskich. | |valign="top"|Pojęcie funkcji boolowskiej jest pojęciem podstawowym umożliwiającym modelowanie zjawisk fizycznych reprezentowanych jako odwzorowanie ciągów (wektorów) binarnych należących do zbioru <b><i>X</i></b> w ciągi binarne (wektory) ze zbioru <b><i>Y</i></b>, gdzie zbiory <b><i>X</i></b>, <b><i>(Y)</i></b> są podzbiorami <math>n\,</math>-krotnego, (<math>m\,</math>-krotnego) iloczynu kartezjańskiego zbioru <b><i>B</i></b> = {0, 1}. Na planszy podana jest definicja funkcji boolowskiej. Zasygnalizowane są również najczęściej stosowane metody reprezentacji funkcji boolowskich. | ||
|} | |} | ||
| Linia 21: | Linia 21: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd4. | |[[Grafika:TC_M1_Slajd4.png]] | ||
|valign="top"|Funkcja <math>f\,</math> może być przedstawiona w postaci tablicy prawdy. Jest to tablica o <math>n+1\,</math> kolumnach i <math>2^n\,</math> wierszach. W kolejnych wierszach są zapisywane wszystkie wartości ciągu | |valign="top"|Funkcja <math>f\,</math> może być przedstawiona w postaci tablicy prawdy. Jest to tablica o <math>n+1\,</math> kolumnach i <math>2^n\,</math> wierszach. W kolejnych wierszach są zapisywane wszystkie wartości ciągu | ||
<math>x_1 ,..., x_n\,</math>, czyli wszystkie wektory <math>x\,</math>. W ostatniej kolumnie podana jest wartość <math>y\,</math> przyporządkowywana danemu wektorowi lub „–”, jeżeli funkcja dla tego wektora nie jest określona. Kolejne wektory są numerowane, przy czym wartość <math>i\,</math> podana z lewej strony w dodatkowej kolumnie jest dziesiętnym odpowiednikiem wektora <math>x\,</math> traktowanego jako liczba w zapisie dwójkowym. | <math>x_1 ,..., x_n\,</math>, czyli wszystkie wektory <math>x\,</math>. W ostatniej kolumnie podana jest wartość <math>y\,</math> przyporządkowywana danemu wektorowi lub „–”, jeżeli funkcja dla tego wektora nie jest określona. Kolejne wektory są numerowane, przy czym wartość <math>i\,</math> podana z lewej strony w dodatkowej kolumnie jest dziesiętnym odpowiednikiem wektora <math>x\,</math> traktowanego jako liczba w zapisie dwójkowym. | ||
| Linia 30: | Linia 30: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd5. | |[[Grafika:TC_M1_Slajd5.png]] | ||
|valign="top"|Oto przykłady uproszczonego zapisu funkcji boolowskich. Podane zapisy specyfikują funkcje boolowskie, których wektory wejściowe określone są liczbami dziesiętnymi. | |valign="top"|Oto przykłady uproszczonego zapisu funkcji boolowskich. Podane zapisy specyfikują funkcje boolowskie, których wektory wejściowe określone są liczbami dziesiętnymi. | ||
|} | |} | ||
| Linia 37: | Linia 37: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd6. | |[[Grafika:TC_M1_Slajd6.png]] | ||
|valign="top"|Funkcje boolowskie reprezentowane odwzorowaniem <math>f\,</math>, jakkolwiek możliwe do bezpośredniej realizacji technicznej, nie są najlepszą formą do zastosowań. Znacznie wygodniejsze są reprezentacje funkcji w postaci formuł boolowskich. Ich zaleta wynika przede wszystkim z łatwej realizacji elementów logicznych zwanych bramkami logicznymi, które to elementy stanowią naturalną realizację formuł (wyrażeń) boolowskich, gdzie występują w postaci operatorów. | |valign="top"|Funkcje boolowskie reprezentowane odwzorowaniem <math>f\,</math>, jakkolwiek możliwe do bezpośredniej realizacji technicznej, nie są najlepszą formą do zastosowań. Znacznie wygodniejsze są reprezentacje funkcji w postaci formuł boolowskich. Ich zaleta wynika przede wszystkim z łatwej realizacji elementów logicznych zwanych bramkami logicznymi, które to elementy stanowią naturalną realizację formuł (wyrażeń) boolowskich, gdzie występują w postaci operatorów. | ||
Formuła boolowska to wyrażenie, w którym zmienne boolowskie połączone są operatorami: | Formuła boolowska to wyrażenie, w którym zmienne boolowskie połączone są operatorami: | ||
| Linia 49: | Linia 49: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|width="450px"|[[Grafika:TC_M1_Slajd7. | |width="450px"|[[Grafika:TC_M1_Slajd7.png]] | ||
|valign="top"|Dla funkcji opisanej tablicą prawdy podaną w tabelce na planszy podajemy sposób tworzenia formuły boolowskiej. | |valign="top"|Dla funkcji opisanej tablicą prawdy podaną w tabelce na planszy podajemy sposób tworzenia formuły boolowskiej. | ||
|} | |} | ||
| Linia 56: | Linia 56: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd8. | |[[Grafika:TC_M1_Slajd8.png]] | ||
|valign="top"|A na tej planszy pokazana jest realizacja tej funkcji na bramkach AND, OR, NOT. | |valign="top"|A na tej planszy pokazana jest realizacja tej funkcji na bramkach AND, OR, NOT. | ||
| Linia 66: | Linia 66: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd9. | |[[Grafika:TC_M1_Slajd9.png]] | ||
|valign="top"|W dwuelementowej algebrze Boole'a wprowa¬dza się też inne działania (operatory). Do najważniejszych z nich należą: zanegowany iloczyn (NAND), zanegowana suma (NOR), suma wyłączająca (tzw. suma modulo 2 lub różnica symetryczna, oznaczana EXOR). Operatorom tym odpowiadają stosowne symbole bramek. | |valign="top"|W dwuelementowej algebrze Boole'a wprowa¬dza się też inne działania (operatory). Do najważniejszych z nich należą: zanegowany iloczyn (NAND), zanegowana suma (NOR), suma wyłączająca (tzw. suma modulo 2 lub różnica symetryczna, oznaczana EXOR). Operatorom tym odpowiadają stosowne symbole bramek. | ||
|} | |} | ||
| Linia 73: | Linia 73: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd10. | |[[Grafika:TC_M1_Slajd10.png]] | ||
|valign="top"|Nie kwestionowaną zaletą formuł boolowskich jest możliwość ich upraszczania, a co zatem idzie możliwość uzyskiwania realizacji oszczędniejszych z punktu widzenia liczby bramek. Zasady formalne upraszczania formuł boolowskich związane są z prawami i własnościami algebry Boole’a. | |valign="top"|Nie kwestionowaną zaletą formuł boolowskich jest możliwość ich upraszczania, a co zatem idzie możliwość uzyskiwania realizacji oszczędniejszych z punktu widzenia liczby bramek. Zasady formalne upraszczania formuł boolowskich związane są z prawami i własnościami algebry Boole’a. | ||
|} | |} | ||
| Linia 80: | Linia 80: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd11. | |[[Grafika:TC_M1_Slajd11.png]] | ||
|valign="top"| | |valign="top"| | ||
|} | |} | ||
| Linia 87: | Linia 87: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd12. | |[[Grafika:TC_M1_Slajd12.png]] | ||
|valign="top"|Stosując prawa algebry Boole’a, poprzednio podane wyrażenie na <math>f\,</math> można uprościć w sposób pokazany na planszy. Ostatecznie wyrażenie to można zrealizować w układzie kombinacyjnym, którego struktura – znacznie prostsza od poprzedniej realizacji – jest pokazana na rysunku. Zasygnalizowany tu proces upraszczania wyrażeń boolowskich ma ogromne znaczenie praktyczne i opracowano dla jego potrzeb wiele zaawansowanych metod syntezy, które z technicznego punktu widzenia nazywa się <i>metodami minimalizacji funkcji boolowskich</i>. Wiele z nich doczekało się realizacji w postaci zaawansowanych narzędzi komputerowych i stanowi podstawę nowoczesnej syntezy logicznej. | |valign="top"|Stosując prawa algebry Boole’a, poprzednio podane wyrażenie na <math>f\,</math> można uprościć w sposób pokazany na planszy. Ostatecznie wyrażenie to można zrealizować w układzie kombinacyjnym, którego struktura – znacznie prostsza od poprzedniej realizacji – jest pokazana na rysunku. Zasygnalizowany tu proces upraszczania wyrażeń boolowskich ma ogromne znaczenie praktyczne i opracowano dla jego potrzeb wiele zaawansowanych metod syntezy, które z technicznego punktu widzenia nazywa się <i>metodami minimalizacji funkcji boolowskich</i>. Wiele z nich doczekało się realizacji w postaci zaawansowanych narzędzi komputerowych i stanowi podstawę nowoczesnej syntezy logicznej. | ||
|} | |} | ||
| Linia 94: | Linia 94: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|width="450px"|[[Grafika:TC_M1_Slajd13. | |width="450px"|[[Grafika:TC_M1_Slajd13.png]] | ||
|valign="top"|Na kolejnych planszach pokazujemy cały proces syntezy funkcji boolowskiej oraz omawiamy jej sens fizyczny. | |valign="top"|Na kolejnych planszach pokazujemy cały proces syntezy funkcji boolowskiej oraz omawiamy jej sens fizyczny. | ||
|} | |} | ||
| Linia 101: | Linia 101: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|[[Grafika:TC_M1_Slajd14. | |[[Grafika:TC_M1_Slajd14.png]] | ||
|valign="top"| | |valign="top"| | ||
|} | |} | ||
| Linia 108: | Linia 108: | ||
{| border="0" cellpadding="4" width="100%" | {| border="0" cellpadding="4" width="100%" | ||
|width="450px"|[[Grafika:TC_M1_Slajd15. | |width="450px"|[[Grafika:TC_M1_Slajd15.png]] | ||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd16.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd17.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd18.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd19.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd20.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd21.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd22.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd23.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd24.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd25.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd26.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd27.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd28.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |||
|} | |||
<hr width="100%"> | |||
{| border="0" cellpadding="4" width="100%" | |||
|width="450px"|[[Grafika:TC_M1_Slajd29.png]] | |||
|valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | |valign="top"|Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. | ||
|} | |} | ||
Wersja z 12:29, 28 sie 2006
|
|
Oto przykłady uproszczonego zapisu funkcji boolowskich. Podane zapisy specyfikują funkcje boolowskie, których wektory wejściowe określone są liczbami dziesiętnymi. |
|
Dla funkcji opisanej tablicą prawdy podaną w tabelce na planszy podajemy sposób tworzenia formuły boolowskiej. |
|
|
Na kolejnych planszach pokazujemy cały proces syntezy funkcji boolowskiej oraz omawiamy jej sens fizyczny. |
|
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |
|
Zastosowania omówionego procesu syntezy są w dzisiejszej technice ogromne. |




























