8/19/2019 Logica Matematica si Coputationala C1

1/23

ă ă ş ţ ă

ă ă

ţ ă ă ţă

ăţ ţ ţ

ă

ţ ţ ă ţ ă

ţ ă ă

ţ ţ

ţ ţ ă ţ ţ

ă

ţ ţ ă ă ă

ăţ ţ

8/19/2019 Logica Matematica si Coputationala C1

2/23

G. G , A. I , ă ă, E . A E, B ş ,2010.

D. B , D. , ă ș ț , C ,2003.

G. G , ă ă, A ă,B ş , 1978.

C , G , E ,C D ,

. H , . ,

, C . , 2009.A. . B , . ,

, , 2007.

8/19/2019 Logica Matematica si Coputationala C1

3/23

. , , 7 ,G H , 2007.

. B A , , , 2003.

. , , 7 ,G H , 2007.

. C , , E . E 1990.A. ( ), , E . J. ,

1 (1989), 2 (1989), 3 (1990).

8/19/2019 Logica Matematica si Coputationala C1

4/23

Ă Ă ŞŢ Ă

ă

8/19/2019 Logica Matematica si Coputationala C1

5/23

ă ă

ş ă ţ şă

ă ţ

ă ăţ

ă ş

ţ ş

8/19/2019 Logica Matematica si Coputationala C1

6/23

ţ ă

ă ă ţ ţ

ţ ş

ţ ţ

ţ ăş

8/19/2019 Logica Matematica si Coputationala C1

7/23

ţ ă

ţ ă

8/19/2019 Logica Matematica si Coputationala C1

8/23

ă

C ă ă ţ ( ţ ăţ ):

ă ă ş ţ , .

•

•

• • •

•

8/19/2019 Logica Matematica si Coputationala C1

9/23

ă

F , ţ , ş ( , ţ ).

ţ ă, ,

ă .

8/19/2019 Logica Matematica si Coputationala C1

10/23

ăţ ţ :

ă . ă .

ă . ă .

ă ă . ă ă

ă ăş .

•

•

• • •

•

8/19/2019 Logica Matematica si Coputationala C1

11/23

ă

ţ ă

.A ţ ţ ă:

ţ ă ă ş ţ ă.

D ş ţ ţ ă ă, ă ţ ă ă

.

ţ ă ă ţ . , , ţ ă ă ş ă

, ş .

8/19/2019 Logica Matematica si Coputationala C1

12/23

8/19/2019 Logica Matematica si Coputationala C1

13/23

ă

D , ţ ă .

A ţ , ş , ț ț ș

ţ , ă ț ș ț .

8/19/2019 Logica Matematica si Coputationala C1

14/23

ă

E :

Ş ă ă ă ă . , ă . ( ă

ş ). ş ă ă .

ă , ă ă ă .

•

•

• • •

•

8/19/2019 Logica Matematica si Coputationala C1

15/23

ă

ţă ş ă ă.

( ş ă ţ ) ( ţă ă ă):

ţ .ţ .

, ţ . :

ţ .

. , .

8/19/2019 Logica Matematica si Coputationala C1

16/23

ă

( ă ă ă) ş . ş . , .

8/19/2019 Logica Matematica si Coputationala C1

17/23

ă

( ă ă ă) ş . ş . , .

( ă) ş . ş F . , F .

8/19/2019 Logica Matematica si Coputationala C1

18/23

ă

ţ

ţ ţ ( ăă ă ş

ă ă ă , ţă ă ă ă ).

: ă 1000 .

ă ă ă .

, .

8/19/2019 Logica Matematica si Coputationala C1

19/23

ă

ţ ţ , .

E (C . . , .D , I , H ):

8/19/2019 Logica Matematica si Coputationala C1

20/23

ă

ţ ăţ ă ţ .

E : ț ă ț ă ă ă ț .

, ț.

8/19/2019 Logica Matematica si Coputationala C1

21/23

ă

ță

ț ț ț

C ţ ă ?

8/19/2019 Logica Matematica si Coputationala C1

22/23

ă

ță

ț ț ț

C ţ ă ?

ă :

8/19/2019 Logica Matematica si Coputationala C1

23/23

ţ ă ( ţ ; , ş )

ţ ă ţ