Índice Alfabético 517
- - para a lógica de predicados, 28
- - paru a lógica proposicional, 20, 25
- de L'Hospital, 204
- do loop de inferência, 88
- em prolog, 34
- recursiva, 38
- sintáticas, 4
Relação, 152-161
- anti-simétrica, 164
- assimétrica, 164
- binaria
- - e grafos direcionados, 253-258
--em SxT, 152
- - em um conjunto S, 153
- de adjacências, 253
- de equivalência, 158-161
- - definição, 158
- - e partição, 160
- de recorrência, 67
- - coeficientes constantes em uma, 76
- - de primeira ordem, 76
- - homogênea, 76
- - linear, 76
- - resolução de, 75-78
- - solução de forma fechada para, 75
- e bancos de dados, 168-174
- fecho
- - de uma, 156
- - reflexivo de, 156
- - transitivo de,'156, 258
- irreflexiva, 164
- N-ária, 153
- - em um conjunto S, 153
- operações em, 171-174
- propriedades de, 154
- reflexiva, 154
- transitiva, 154
- um-para-um, 153
- um-para-vários, 153
- unária, 153
- vários-para-um, 153
- vários-para-vários, 153
Representação de árvore binaria por filhos à esquerda e à
direita, 247
Resolução, 35
Resolvendo relação de recorrência, 75
Restrição de uma ordenação parcial, 157
Reticulado, 327
- complementado, 327
- distributivo, 328
Russel, Bertrand, 120
-paradoxo de, 120
s
Sn, 367
[SA, °], 367
Scanner, 426
Seis cores, teorema das, 241
SELECT
- comando em SQL, 173
- operação, 171
Selection Sort, algoritmo, 73
Semigrupo, 364
- automorfismo em, 382
- de transformação em um conjunto, 366
- elemento neutro à direita, 380
- elemento neutro à esquerda de, 380
Sentença, 2
- antecedente, 2
- composta, 2
- conseqüente, 3
- simples, 2
Seqüência, 67
- aritmética, 65
- de Fibonacci, 68
- de prova, 20
- - inclusão de tautologias, 24
- geométrica, 64
- recursivas, 67
Seqüencial, busca, 197, 264
- algoritmo para, 83
Séries de Maclurin, 203
SETL, 108
Shannon, Claude, 328
Silogismo
- disjuntivo, 25
- de um vértice de árvore, 230
- de uma árvore, 230
Programa correto, 39
Programação
- lógica, 33-39
- orientada a objeto, 109
- - código reutilizável, 110
- - encapsulamento, 109
- - herança, 110
Progressão
- aritmética, 65
- geométrica, 64
PROJECT, operação, 171
Prolog, 33, 155, 300
- banco de dados em, 33
- cláusula de Horn em, 35
- fatos em, 33
- pergunta em, 33
- recursão em, 37
- regra em, 35
- - de inferência em, 35
- - recursiva em, 38
- resolução em, 35
Proposição, 2
Propriedade
- associativa, 6, 7, 106, 118, 317, 363
- - extensão finita da, 71
- comutativa, 6, 7. 106, 317, 318, 363
- de absorção, 325
- de complemento, 6, 7, 106, 317, 318
- de identidade, 6, 7, 106, 317, 318
- distributiva, 6, 7, 106,317,318
- - extensão finita da, 81
- idempotente, 7, 319
- modular,
Prova
- da correção, 39-44, 86-89
- - axioma da atribuição, 40
- - regra condicional na, 42
- - regra de laço na, 87
Veja também Demonstração
Pseudocódigo, 8
Push, instrução, 202
Q
Quadrado perfeito, 55
Quantificador, 12
- e predicados, 12-16
- escopo de um, 14
- existencial, 13
- universal, 12
Quatro cores
- problemas das, 227
- teorema das, 228
Quine-McCluskey, procedimento de, 352-355
R
Raciocínio
- dedutivo, 51
- indutivo, 51
Raiz de uma árvore, 230
Recíproca, 53
Reconhecimento
Reconhecimento por uma máquina
- de estado finito, 387
- de Turing, 406
Recursão, 67-75
- em Prolog, 37
Redes
- combinatórias, 328-336
- - descrição de, 331
- - minimização de, 334, 346-355
- lógicas, 232, 328-340
- - minimização de, 334, 346-355
- com o mapa de Karnaugh, 347-352
- com o procedimento de Quine-McCluskey. 352-355
Reescrevendo implicações, 7
Refinamento de uma partição, 167
Regra(s)
- condicional de inferência, 42
- de inferência, 20
- da disjunção, 3
Parênteses bem balanceados. 416
Parsing
- bottom-up, 426
- top-down, 426
Partição
- definição de, 158
- e relação de equivalência, 160
- refinamento de uma, 167. 392
Pascal, 7, 8. 33, 107, 186, 398, 426
-formulado, 143, 168
- função em, 185
- triângulo de, 142
Pascal. Blaise, 142
Passo
- básico, 57
- indutivo, 57
Pda, veja autômato: de pilha
Permutação, 133
- com repetições, 137
- definição de, 133
- distinta, 137
- eliminação de duplicatas, 136
- identidade. 192
- sem ponto fixo. 193
PERT, diagrama. 175,232
Pesquisa cm Prolog. 33 (Qucrry)
Pilha, 202
PLA, veja Array: lógico programável
Planaridade de grafos, 223-227
Polinômio
- binomial, 142
- - demonstração do, 144
- - enunciado do, 144
- de grau zero, 365
- em x sobre <<R>>, 365
- grau de um. 365
Ponteiro nulo, 109, 245
Ponto final, 232
Ponto inicial, 232
Pop, instrução, 202
Porta
- NE (NAND), 338
- NOU (NOR), 338
- OU (OR), 329. 333
Pós-condição, 40
Poset, 157
Post, E.,411
Pré-condição, 40
Predecessor, 157
- imediato, 157
Predicado, 13
- binário, 13
- N-ário, 13
- ternário, 13
- unário, 13, 99
Preimagem, 183
Princípio
-da adição, 122-124
- - enunciado do, 122
- da boa-ordenação, 61, 372
- - enunciado do, 119
- da casa do pombo, 131, 188, 403
- da inclusão e exclusão, 128, 188, 193
- - forma geral do, 129
- da indução matemática, 57
- da multiplicação, 121, 188, 193,208
- - enunciado do, 121
Problema
-da parada, 412-414
- - definição do, 413
- - teorema da isolubilidade do,'413
-de decisão, 411-414
- - definição do, 411
- - solução negativa para, 412
- - solução positiva para, 412
- do ciclo hamiltoniano. 414
- indecidível, 412
- insolúvel, 412
- intratável, 197
- NP, 415
- - completo, 415
Procedimento computacional. 410
Produção, 419
Produto
- cartesiano de conjuntos, 105
- cruzado de conjuntos, 106
Profundidade