vii

Cuprins

Prefa

Capitolul 1

Introducere

Funcii booleene

1. Algebre booleene . . . . . . . . . . . . . . . . . . .

14

2. Teoreme de reprezentare i
forme normale pentru

Capitolul 2

funciile booleene . . . . . . . . . . . . . . . . . .

22

3. Clase speciale de funcii booleene . . . . .

32

4. Recapitulare i Index . . . . . . . . . . . . . . .

39

5. Exerciii . . . . . . . . . . . . . . . . . . . . . . . . . .

41

Logica propoziional
(calculul propoziional)

43

1. Logica, parte a filozofiei . . . . . . . . . . . .

45

2. Sintaxa logicii propoziionale . . . . . . . . .

55

3. Semantica logicii propoziionale . . . . . .

61

4. Forme normale n LP . . . . . . . . . . . . . .

72

5. Decidabilitate n LP . . . . . . . . . . . . . . .

77

6. Formule Horn . . . . . . . . . . . . . . . . . . . .

81

7. Rezoluie n LP . . . . . . . . . . . . . . . . . . .

89

PDF created with pdfFactory Pro trial version www.pdffactory.com

viii

Cuprins
8. Rafinri ale rezoluiei:

Capitolul 3

strategii i restricii . . . . . . . . . . . . . . . .

105

9. Recapitulare i Index . . . . . . . . . . . . . . .

111

10. Exerciii . . . . . . . . . . . . . . . . . . . . . . . . .

120

Logica (calculul) cu predicate de ordinul I

123

1. Sintaxa logicii cu predicate

de ordinul I . . . . . . . . . . . . . . . . . . . . . .

123

2. Semantica logicii cu predicate

Capitolul 4

de ordinul I . . . . . . . . . . . . . . . . . . . . . .

141

3. Forme normale n LP1 . . . . . . . . . . . . .

151

4. Decidabilitate n LP1 (LP1=) . . . . . . . .

170

5. Rezoluie n LP1 . . . . . . . . . . . . . . . . . .

184

6. Recapitulare i Index . . . . . . . . . . . . . . .

187

7. Exerciii . . . . . . . . . . . . . . . . . . . . . . . . .

190

Teorii logice i sisteme deductive

193

1. Sisteme deductive . . . . . . . . . . . . . . . . .

196

2. Teorii logice . . . . . . . . . . . . . . . . . . . . .

207

3. Clasificarea sistemelor deductive . . . . . . 217

4. Recapitulare i Index . . . . . . . . . . . . . . . 232
5. Exerciii . . . . . . . . . . . . . . . . . . . . . . . . .

PDF created with pdfFactory Pro trial version www.pdffactory.com

235

Cuprins
Capitolul 5

ix
Programare logic

238

1. Exemple de programe logice pure . . . .

240

2. Sintaxa programelor logice . . . . . . . . . .

249

3. Recapitulare i Index . . . . . . . . . . . . . . . 258

4. Exerciii . . . . . . . . . . . . . . . . . . . . . . . . .

Anex

260

Rezolvarea exerciiilor i
exerciii propuse

267

1. Rezolvri Capitolul 1 . . . . . . . . . . . . . .

267

2. Rezolvri Capitolul 2 . . . . . . . . . . . . . .

272

3. Rezolvri Capitolul 3 . . . . . . . . . . . . . .

282

4. Rezolvri Capitolul 4 . . . . . . . . . . . . . .

288

5. Rezolvri Capitolul 5 . . . . . . . . . . . . . .

292

6. Exerciii propuse . . . . . . . . . . . . . . . . . .

302

Bibliografie

PDF created with pdfFactory Pro trial version www.pdffactory.com

312