INTRODUÇAO A LOGICA PARA A CIENCIA DA COMPUTAÇAO

Capa......Page 1 Folha de Rosto......Page 3 Créditos e Dados de Catalogação......Page 4 Dedicatória......Page 5 SUMÁRIO......Page 9 PREFÁCIO......Page 7 1– INTRODUÇÃO AO CÁLCULO PROPOSICIONAL......Page 11 2- O CÁLCULO DE PREDICADOS......Page 119 3– ALGUNS ASPECTOS DE PROGRAMAÇÃO EM LÓGICA E PROLOG......Page 147 4– CIRCUITOS LÓGICOS DE CHAVEAMENTO......Page 201 5– PORTAS LÓGICAS......Page 217 APÊNDICE......Page 235 REFERÊNCIAS BIBLIOGRÁFICAS......Page 247