Escolar Documentos
Profissional Documentos
Cultura Documentos
Aluna(o): ________________________________________________________________
Data: 08/12/2010
Exercício de Lógica para Computação - UTFPR
Prof. Adolfo Neto: http://www.dainf.ct.utfpr.edu.br/~adolfo
1) (vale 1,4 pontos) Nos dois casos abaixo, dê a resposta que o Algoritmo da Unificação dará caso
sejam oferecidas como entrada as fórmulas abaixo. Descreva a execução do algoritmo passo-a-
passo:
a) p(x,f(x),g(x,x),g(a,x)) e p(y,f(y),g(y,a),g(x,f(x)))
b) q(x,a,b,c,f(a,g(x,f(c)))) e q(y,t,z,c,f(t,g(y,y)))
onde
p e q são símbolos de predicados
f, g são símbolos funcionais
a,b,c são constantes
x,y,z,t são variáveis
Resposta do item a:
Resposta do item b:
2) (vale 2 pontos)
4) (vale 2,5 pontos) Maria abriu uma lanchonete ovo-lacto-vegetariana (a Ovolactosneques). Ela sabe que você é
especialista em especificação formal, portanto ela pediu que você especifique formalmente (usando a linguagem de
especificação vista durante o curso) uma máquina de servir bebidas quentes para a lanchonete. Maria prometeu te dar
um sanduíche de ricota e um suco de tomate todos os dias, por um mês, totalmente grátis, caso você faça isso por ela.
Conversando com ela, você percebeu que apenas uma operação precisa ser especificada, com as seguintes
características:
a) A operação recebe como entrada um número representando uma “opção” dentre as seguintes:
(1) chá verde
(2) café coado Apple
(3) café expresso
b) A operação recebe outra entrada numérica, representando “tamanho”:
(1) grande
(2) médio
(3) pequeno
c) a operação terá duas saídas:
c.1) uma cadeia de caracteres chamada “resposta” (que será usada como base para um sintetizador de voz falar
para o usuário), e que será “Shazam” se tudo der certo ou “Pzzzt Pzzzt Fooo” se for feita uma escolha não permitida.
c.2) um valor numérico representando o “custo” da bebida escolhida (este valor será zero se a escolha não for
permitida).
d) além disso, a especificação da operação deverá garantir que:
d.1) a máquina não tente fazer café expressos médios ou grandes, pois também não é permitido por Maria.
d.2) o custo das bebidas seja calculado da seguinte forma:
1. se a bebida for café expresso, o custo é R$ 2,50;
2. se a bebida for chá verde, o curso é R$ 1,50 independentemente do tamanho;
3. se a bebida for café coado Apple, o pequeno custa R$1649,00, o médio, R$2049,00 e o grande,
R$ 3049,00.
Resposta da questão 4: