CAPITOLUL 1

NOIUNI INTRODUCTIVE

Tematica prezentei lucrri vizeaz aspectele formale ale gndirii umane, sintetizate sub denumirea de
logic, precum i structurile informaionale derivate din gndirea logico-matematic aflate la baza
conceptului de calculabilitate. Primul capitol i propune introducerea noiunilor fundamentale din
care s-au dezvoltat componentele tiinei calculatoarelor. Aceste noiuni vor fi dezvoltate pe parcursul
capitolelor urmtoare.

1.1. Limbajul logico-matematic

Matematica este o expresie a capacitii gndirii umane de tip raional. Ea studiaz proprietile
observabile ale obiectelor, att extern n plan senzorial ct i intern n plan mintal, n termenii de
cantitate, structur, spaiu i eveniment. Obiectele studiate n matematic sunt obiecte abstracte, care
nu exist ntr-un timp i/sau spaiu particular, ci n principal exist ca tip sau categorie. Matematica
discret se ocup cu studiul obiectelor matematice care sunt discrete i nu continue. Aceste obiecte, n
general, nu prezint o variaie lin ci au valori distincte sau separate (de exemplu, numerele ntregi,
grafurile, sau declaraiile logice). Matematica discret a ctigat o mare popularitate n ultimul secol
datorit aplicaiilor sale n tiina calculatoarelor. Conceptele i notaiile utilizate de matematica
discret se regsesc n aspectele fundamentale ale structurilor de date, algoritmilor i limbajelor de
programare ale calculatoarelor. Matematica discret acoper n principal domenii precum teoria
mulimilor, combinatorica, teoria numerelor, logica, teoria informaiei, teoria calculabilitii,
complexitate, cercetare operaional, discretizare.

n procesul de comunicare, apare necesar introducerea unui limbaj matematic. Limbajul matematic
este preferabil limbajului natural datorit capacitii sale de a formaliza eficient declaraiile
informaionale cu valoare de adevr. Cuvintele utilizate n limbajul natural nu au ntotdeauna o
semnificaie precis i pot conduce la ambiguiti. n acest sens, vom ncerca o prim definire a
limbajului matematic ca fiind un mijloc de exprimare precis care are un coninut semantic
foarte clar definit. De exemplu, Un numr prim este un numr ntreg pozitiv, care nu are ali
factori n afara lui nsui i a lui 1, sau Un numr prim este un numr ntreg pozitiv, care are doi
factori, pe el nsui i pe 1. Un concept matematic poate fi legat de un altul definit corespunztor.
Spre exemplu, conceptul de numr prim este legat de conceptul de numr compus. Un numr
compus este orice numr care poate fi exprimat ca un produs de ntregi pozitivi mai mici dect el
nsui. De exemplu: 4 (2 x 2), 6 (2 x 3), 8 (2 x 2 x 2), 9 (3 x 3), 10 (2 x 5), 12 (2 x 2 x 3) . Evident
c, numrul compus se poate scrie ca un produs de numere prime.

Vom vorbi, de asemenea, despre teoreme, leme, propoziii i corolare. Acestea sunt enunuri prin care
se arat adevrul unei propoziii afirmative. De exemplu, Toate numerele pare, cu excepia lui 2 nu
sunt numere prime, sau Exist un numr infinit de numere prime, sau, teorema fundamental a
aritmeticii, Fiecare numr ntreg pozitiv poate fi factorizat n mod unic ca un produs de primi
(numrul 1 poate fi gndit ca un produs de 0 numere prime).

Legat de limbaj, introducem, de asemenea, conceptul de demonstraie, care este o justificare prin
descompunerea ntr-o succesiune de pai a adevrului afirmaiilor fcute. nelegem prin demonstraie
informal comunicarea n limbaj natural, folosind i anumite simboluri, a pailor care conduc la

1
recunoaterea adevrului afirmaiilor fcute. Demonstraia trebuie s fie ns acoperitoare pentru toate
cazurile, fr s lase loc de ndoial. n decursul istoriei matematicii, s-au dezvoltat mai multe tehnici
care s conduc la stabilirea adevrului afirmaiei respective. Problematica stabilirii adevrului n
general este de natur filosofic i i are originile n gndirea uman. ntlnim astfel, n filosofia
antic, conceptul de logos, care se traduce prin cuvnt, limbaj, sunet, raionament. Exist n mod clar
o legtur ntre limbaj i raionament, n sensul c orice raionament care poate fi fcut necesit un
limbaj. n momentul n care vorbim despre limbaj, vorbim despre o formalizare, n sensul conceperii
unui set de simboluri prin intermediul crora exprimm sau mputernicim cuvinte cu coninut
semantic, simbolistica fiind valabil att pentru limbajul scris, ct i pentru cel vorbit. Cu sensul de
simboluri, stabilim un alfabet prin intermediul cruia, urmnd nite reguli sintactice, exprimm nite
afirmaii cu valoare de adevr. nlnuirea dup reguli precise a afirmaiilor formeaz discursul logic.

Suntem interesai n a elabora un set complet de reguli sintactice, respectiv de manipulare a

simbolurilor astfel nct, pornind de la premise s nlnuim propoziiile cu valoare de adevr,
ajungnd la concluzii adevrate. Logica tradiional a stat la baza formrii raionamentului matematic,
prin aceea c regulile de nlnuire logic, prin care coninutul semantic al premiselor era pstrat n
urma raionamentului i transferat concluziilor, formeaz n esen principiul raionamentului.
Deosebirea fa de logica exprimat n limbaj natural este aceea c se utilizeaz limbajul matematic.
Suntem ns oricnd capabili de a parafraza o afirmaie logic natural, adic de a o exprima n limbaj
matematic.

1.2. Afirmaii logice

Afirmaiile logice sunt cele care au valoare de adevr fie pozitiv, fie negativ, adic sunt fie adevrate,
fie false. . Exist i alte propoziii care nu au valoare de adevr, cum sunt de exemplu ntrebrile,
comenzile, rugciunile. S-a ncetenit o modalitate familiar de a reprezenta afirmaiile logice: fie S o
anumit afirmaie i S (nu S) negata ei. Spunem c o asemenea reprezentare este familiar n forma
ce se numete tabel de adevr. Acesta exprim pe rnduri relaiile valorilor de adevr ntre S i S:

S S
Adevrat Fals
Fals Adevrat

Remarcm c negaia poate lega declaraii despre fiecare caz cu declaraii despre anumite cazuri. De
exemplu, declaraia Nu fiecare femeie are copil are aceeai semnificaie cu Anumite femei nu au
copil. Similar, declaraia Nu este cazul ca o anumit mam s nu aib copil are acelai neles cu
Fiecare mam are copil.

Exist posibilitatea de a executa operaii logice cu enunurile respective, i care pot fi, de asemenea,
descrise familiar prin tabelul de adevr. Aceste operaii sunt conjuncia a dou afirmaii, A i B ( A
B), respectiv disjuncia ntre dou afirmaii A i B, A sau B ( A B).

Fie tabelul urmtor:

A B A i B A sau B
Adev. Adev. Adev. Adev.
Adev. Fals Fals Adev.
Fals Adev. Fals Adev.
Fals Fals Fals Fals

2
Completarea acestui tabel de adevr care implic operaii logice elementare este un exerciiu natural
de contemplare logic.

Conjunciile i disjunciile pot fi parafrazate. De exemplu, Maria este femeie i Lucia este femeie
poate fi nlocuit cu Maria i Lucia sunt femei. n loc de a este natural sau b este natural, putem
afirma Ori a ori b este natural.

Implementarea fizic a unei funcii logice se numete poart logic. Este interesant de a remarca aici
c operaia logic de negare i gsete o implementare natural sub forma inversorului generic.
Acesta este format dintr-o sarcin potenial i un dispozitiv de comand fa de un nivel de referin,
ca n Fig. 1.1. Comanda descrcrii sarcinii ctre referin conduce la absena sarcinii la ieire.
Sarcina S poate fi de orice natur, electric, hidraulic, mecanic etc.

Sarcina S

Iesire S

Comanda S

Fig. 1.1. Inversorul generic

Pornind de la inversor, prin serializarea respectiv paralelizarea funciei dispozitivului de comand

putem, n mod avantajos, forma operaia logic de conjuncie respectiv disjuncie, n forma negat, ca
n Fig. 1.2.

Porile logice pot fi construite n multe tehnologii diferite. De exemplu, o sarcin electric poate fi
descrcat, prin intermediul a dou comutatoare nseriate, pe un consumator de tipul unui bec. Se
formeaz astfel o poart logic de tip I (Fig. 1.3). Prin diferite combinaii serie-paralel de
comutatoare se formeaz un circuit logic. De exemplu, in Fig. 1.4 se arat circuitul logic
corespunztor funciei A (B C). Valoarea circuitului este adevrat atunci cnd sarcina electric
ajunge s aprind becul. n caz contrar, valoarea este fals. Mai jos, se arat tabelul de adevr pentru
aceast funcie logic cu trei variabile de intrare i o ieire. Intrrile A, B, C au valoarea logic 1
atunci cnd comutatorul care le poart numele este nchis. n tehnologia actual, structura logic a
circuitelor este aceeai, dar se utilizeaz transistoare integrate n loc de circuite electrice.

Sarcina S Sarcina S

Iesire (S1 S2)

Iesire (S1 S2)

Comanda S1
Comanda S1 Comanda S2

Comanda S2

Fig. 1.2. Formarea conjunciei i disjunciei negate pornind de la inversor

3
 Sarcin
electric

AB

Fig. 1.3. Formarea porii logice I printr-un circuit de aprindere a unui bec electric.

B
A
C
A (B C)

Fig. 1.4. Circuitul logic corespunztor funciei A (B C) n tehnologie electric.

A B C A (B C)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

1.3. Implicaia logic

Multe propoziii sunt formulate n forma Dac p atunci q, unde p i q sunt de asemenea declaraii
logice. O asemenea formulare se numete implicaie logic sau declaraie condiional, n care p este
ipoteza (premisa) i q este concluzia (consecina). Interpretarea acestei declaraii se poate face n mai
multe feluri. De exemplu: p este o condiie suficient pentru q, sau q este o condiie necesar
pentru p, sau p implic q.

Tabelul de adevr al implicaiei logice, notat p q, este urmtorul:

p q pq
Adev. Adev. Adev.
Adev. Fals Fals
Fals Adev. Adev.
Fals Fals Adev.

4
Se remarc faptul c declaraia condiional este fals doar cnd ipoteza este adevrat i concluzia
este fals. n toate celelalte trei cazuri condiionala este adevrat.

Exist o tendin de a interpreta condiionala astfel: Dac p atunci q nseamn c q poate fi

demonstrat din p, ceea ce presupune c p i q sunt ntr-o oarecare legtur. Astfel, o afirmaie de
genul Dac pmntul este gol pe dinuntru atunci 1=2 este acceptat ca adevrat chiar dac nu este
o legtur ntre ipotez i concluzie. n schimb, declaraia Dac 1=1 atunci pmntul este gol pe
dinuntru nu poate fi acceptat ca adevrat. Cnd ipoteza unei condiionale este fals spunem c
este n mod stupid adevrat. De exemplu, Dac 1=2 atunci 34=23 este stupid adevrat deoarece
ipoteza este fals. Dac concluzia este adevrat, spunem c condiionala este trivial adevrat. De
exemplu, Dac 1=2 atunci 1+1 =2 este trivial adevrat deoarece concluzia este adevrat.

Condiionala reciproc sau contrar lui dac p atunci q este dac q atunci p. Reciproca nu are
ntotdeauna aceeai valoare de adevr. De exemplu,

Dac x > 0 i y > 0 atunci x + y > 0.

Reciproca este

Dac x + y > 0 atunci x > 0 i y > 0

Reciproca este fals. Aceasta se verific printr-un contra-exemplu, de pild pentru valorile x = 4 i y
= 3.

1.4. Echivalena logic

Tabelul de adevr al echivalenei logice, notat p q, este urmtorul:

p q pq
Adev. Adev. Adev.
Adev. Fals Fals
Fals Adev. Fals
Fals Fals Adev.

Astfel, dou declaraii sunt considerate echivalente dac au aceeai valoare de adevr pentru orice
atribuire de valori adevrate variabilelor din expresie. n acest context, este interesant de studiat
modul n care se formeaz declaraiile logice echivalente. Putem combina negata cu disjuncia sau
conjuncia pentru a obine declaraii echivalente.

nu (p i q) este echivalent cu (nu p) sau (nu q)

nu (p sau q) este echivalent cu (nu p) i (nu q)

De exemplu, nu (x > 0 i y > 0) este echivalent cu x 0 sau y 0 i declaraia nu (x > 0 sau y >
0) este echivalent cu x 0 i y 0.

Conjunciile i disjunciile se distribuie una pe cealalt astfel:

p i (q sau r) este echivalent cu (p i q) sau (p i r).

p sau (q i r) este echivalent cu (p sau q) i (p sau r).

Contrapoziia declaraiei condiionale daca p atunci q este forma echivalent dac nu q atunci nu
p. De exemplu, declaraia

5
Dac x > 0 i y > 0 atunci x + y > 0

este echivalent cu forma

Dac x + y = 0 atunci (x 0 sau y 0)

Este important de reinut c declaraia condiional dac p atunci q se mai poate exprima sub forma
echivalent nu p sau q. De exemplu, declaraia:

Dac x > 0 i y > 0 atunci x + y > 0

este echivalent cu forma

(x 0 sau y 0) sau x + y > 0.

innd cont de forma echivalent a implicaiei n termenii negaiei i disjunciei, rezult evident c
declaraiile nu (dac p atunci q) i p i (nu q) sunt echivalente. De exemplu, declaraia

Nu este cazul c dac Maria este mam atunci Maria nu are copil.

este echivalent cu declaraia

Maria este mam i Maria are copil.

n tabelul urmtor se dau expresiile echivalente concise conform celor discutate anterior.

(p q) p q
(p q) p q
p (q r) (p q) (p r)
p (q r) (p q) (p r)
pq p q
pq p q
( p q) p q

1.5. Numere

Obiectul fundamental n matematica discret este numrul natural. Conceptul de numr este unul
dintre cele mai misterioase producii ale minii umane, n sensul c definirea sa necesit o profund
nelegere a naturii minii umane. Ne vom referi pe moment doar la un vestit aforism elaborat de
matematicianul Kronecker, i anume: Dumnezeu a creat numerele naturale: 0,1,2,....Toate celelalte
sunt creaia omului.. Prin aceasta putem nelege c numerele naturale sunt obiecte fireti ale minii
sau gndirii umane. Gndim natural n termeni numerici cnd numrm, ncepnd cu numrul 1
(exist ase mere n co) sau ordonm (al patrulea mr este cel mai frumos). Pornind de aici,
putem vorbi despre numere cardinale, folosite pentru a desemna o cantitate (de exemplu, zece
persoane, trei biciclete) i numere ordinale, folosite pentru a arta ordinea (primul, al doilea, al treilea
etc.) unor obiecte ntr-o mulime (de exemplu, al cincilea din rnd, al zecelea ca putere). Aspectele
abstracte ale numerelor reies ns atunci cnd ne ntrebm: Ce este ase i al patrulea n afar de
mere? n afar de numerele cardinale i ordinale mai putem vorbi despre numere nominale (de
exemplu, un numr de cas, de telefon, sau codul numeric personal). Numerele nominale nu arat nici
cantitatea i nici rangul, ci sunt utilizate pentru a identifica un obiect.

6
Aa cum am exemplificat deja, n introducerea conceptelor facem apel la diverse tipuri de definiii.
Rolul definiiei este acela de a furniza cunotine valide din punct vedere raional asupra proprietilor
caracteristice ale unui obiect respectiv a relaiilor dintre elementele sale componente. n formarea
definiiei, apare deseori util ncadrarea obiectului ntr-un gen proxim (clas de obiecte) i
evidenierea diferenei specifice, adic a proprietilor caracteristice doar obiectelor desemnate de
definit n raport cu celelalte obiecte aparinnd genului. De exemplu, Un numr ntreg este un numr
natural pozitiv sau negativ, sau un numr care nu are o component fracionar.

Bazat pe conceptul de numere ntregi, definim noiunea de numr par i de numr impar, cu ajutorul
operaiei de divizare, i spunem c un numr ntreg n e un divizor al lui m dac exist un numr ntreg
k astfel nct n k = m. Divizarea stabilete natura numerelor prime, care au o importan major n
tiina calculatoarelor. Adesea ne intereseaz s scriem numerele n termeni numii modulo fa de alt
numr. Dac n i m sunt numere ntregi, atunci exist numerele k i l, astfel nct n = m k + l, unde 0
l m 1, k 0. De exemplu, 25 = 3 8 + 1.

Uneori nu suntem interesai dect de valoarea lui l, astfel nct, n asemenea cazuri exprimm n =
lmodm. n tiina calculatoarelor, aritmetica numerelor este interesant pe de o parte pentru c ne
permite pstrarea scrierii la dimensiuni rezonabile (0, n) i pe de alt parte este util n operaii cu
iruri binare. Interesant de menionat aici sunt anumite proprieti n reprezentarea modulo. Astfel,
dac n1 = l1modm, n2 = l2modm, atunci operaia de adunare, respectiv nmulire se transfer la nivelul
resturilor: n1 + n2 = (l1 + l2) mod m, i n1 x n2 = l1 x l2mod m. Remarcm c dac n e un numr compus,
se poate ntmpla s avem cazul n1 x n2 = 0 modm. Acest caz nu e adevrat dac m e prim.

n limbajul matematic suntem interesai n a exprima, pe de-o parte, afirmaii care s poat fi
formalizabile utiliznd cantiti numerice i, pe de alt parte, afirmaii n care avem de a face cu valori
logice. n toate cazurile ns sunt implicate valori discrete. Metodele matematice necesare pentru
realizarea de calcule tiinifice i inginereti trebuie transformate din domeniul continuu n cel discret
pentru a putea fi ndeplinite de un calculator.

1.6. Calculabilitate

Circuitele logice, ca cele din Fig. 1.4, pot fi privite ca executnd un program n linie dreapt.
Este un program care conine doar declaraii de atribuire, fr bucle sau ramificri. Astfel,
circuitele logice reprezint cel mai simplu model de calculabilitate i formeaz blocurile de
baz n calculatoarele de astzi. Aa cum rezult din tabelul de adevr pentru Fig. 1.4, fiecare
circuit logic are asociat o funcie binar care mapeaz valorile variabilelor sale de intrare n
valori ale variabilelor de ieire. Funciile sunt astfel foarte importante pentru a avea o definire
precis a sarcinilor de ndeplinit. n descrierea funciilor, un loc central e deinut de problema
posibilitii de a fi calculat, adic dac o funcie este efectiv sau mecanic calculabil.
Funciile care pot fi astfel calculate se numesc recursive. Una din definiiile atribuite
funciilor recursive este aceea c funciile recursive sunt calculabile de ctre o main
matematic idealizat, numit maina Turing, dup numele matematicianului britanic Alan
Turing.

Maina Turing este cel mai complex model de calculabilitate i e considerat modelul
standard. Aceasta din cauz c nu s-a descoperit ulterior nici un alt model de main care s
execute operaii pe care maina Turing s nu le poat executa. Exist ns i alte modele de
calculabilitate care pot fi dezvoltate pornind de la modelul cel mai simplu al circuitelor
logice. Astfel, prin combinarea circuitelor logice cu celule de memorie binar se pot construi
automate sau maini cu memorie. Ele se numesc maini cu stri finite (eng. finite-state
machine) i sunt prezente n practic toate aplicaiile societii moderne. Pe baza mainilor cu

7
stri finite se pot dezvolta calculatoare de uz general prin modelul numit maina cu acces
aleator (eng. random-access machine). Modelul conine o pereche de maini cu stri finite
interconectate, o unitate central de procesare, de o parte, i de cealalt parte o memorie cu
acces aleator. Aceast main are memorie finit, spre deosebire de modelul mainii Turing
care este idealizat, admind o memorie orict de mare. O form restrns de main Turing
este maina cu stiv (eng. pushdown automaton). n concluzie, ideea de baz care se cuvine
reinut este importana modelelor de calculabilitate. Prin utilizarea unor modele adecvate se
asigur un nivel de abstractizare care permite o viziune mai profund asupra posibilitii
ndeplinirii sarcinilor i dezvoltrii performanelor de calcul. Un model bun poate rmne ca
referin n timp i poate de asemenea inspira nspre gsirea unor noi tehnologii de
implementare mai avantajoas a mainilor de calcul.

Exerciii i probleme

1. Fie p, q, r trei propoziii (declaraii logice). Artai, utiliznd tabelul de adevr, c

expresia logic (p q) r este echivalent cu expresia (p (q r)).

2. Fie p, q, r trei propoziii (declaraii logice). Artai utiliznd tabelul de adevr c expresia
logic (p q) r este echivalent cu expresia (p r) (q r), dar nu este echivalent
cu expresia (p r) (q r).

3. Artai c suma a doi ntregi impari este un ntreg par, adic dac x i y sunt ntregi impari
atunci x + y este un ntreg par.

4. Artai adevrul urmtoarei declaraii privind divizibilitatea:

Dac d | a i a | b, atunci d | b.