Projecto 01 Autores 64899 - Joo Cerqueira 64868 - Pedro Carvalhosa Colaboraes Sem Colaboraes A 1 - No conhecimento declarativo pretende-se estabelecer

uma verdade sobre um f acto, no havendo importncia para a forma de como se chegou a esse resultado. Por outro lado, o conhecimento imperativo foca-se no saber fazer, ou seja, o mais importante como chegamos verdade e no o resultado. A 2 - O procedimento algo que escrito para solucionar um problema. Esse procedim ento s poder funcionar se houver o processo, pois o que a mquina corre atravs do que ns escrevemos (procedimento). A 3 - O Vocabulrio e o conjunto de termos vlidos para uma linguagem. A sintaxe um conjunto de regras da escrita, ou seja, as regras para combin ar o vocabulrio. A semntica o conjunto de regras de compreenso do que se escreve, pois podemo s escrever uma frase bem construida a nivel da sintaxe e sem sentido/lgica, sendo ento essa frase semanticamente mal constituida. A 4 - As principais ferramentas para gerir a complexidade em sistemas de larga e scala so: - Abstraco de procedimentos - Abstraco de dados - Interfaces convencionais - Paradigmas da Programao - Abstraco meta-linguistica A 5 - Uma primitiva um elemento atmico com valor auto avaliativo. Meios de combinao: mtodo para a criao de elementos mais complexos a partir de el ementos mais simples. Meios de Abstraco: permite construir objectos simples a partir de linguagem p rimitiva. B 1 - O ano da criao da linguagem Scheme foi em 1975, tendo como autores Steele e Sussman. B 2 - A linguagem de programao do Scheme LISP. B 3 - No Scheme utilizado o prefix B 4 - Primitivas: #f, 17, Bom dia Meios de combinao: (- 8 4), (/ (+ 11 9) 3), (*n n) Meios de abstraco: (define nota 20) , (define quadrado x (* x x ))

B 5 - Em relao sintaxe podemos consider-la um conjunto de regras de uma linguagem q ue define se uma relao vlida ou no, caracterizando-se por: 1 abrir parnteses, 2 op r, 3 conjunto de operandos e 4 fechar parnteses ( (<operador> <conjunto de operando s>)) No que diz respeito semntica, esta que avalia se as combinaes esto correctamen e escritas utilizando um processo que consiste em: 1 avaliar os operandos, 2 aplic ar o operador aos operandos. B 6 - REPL (Read Evaluate Print Loop). O REPL funciona com base num ciclo, ou se ja, dada uma expresso, l-a primeiro, depois avalia-a e por fim imprime-a, ficando

a espera da expresso seguinte e assim sucessivamente. C 1 - O ambiente integrado de programao, o conjunto de ferramentas que auxiliam o programador no seu trabalho. C 2 - As duas janelas principais do DrRacket so: a de Definies e a de Interaces. A primeira serve para definir todos os tipos de procedimentos, e a segunda serve para avaliar as expresses. C 3 - Para se alterar a lngua de interao do DrRacket, basta clicar na opo "AJUDA" da barra de menus e escolher a lngua pretendida. C 4 - Para alterar o nvel de liguagem que o interpretador utiliza, basta ir a bar ra de menus e seleccionar ( Linguagem > Escolher Linguagem ). Depois de efectuados estes passos, aplica-se a opo "CORRER" para a nova li nguagem seleccionada poder ser utilizada. C 5 - Para se aplicar o STEPPER, preciso escrever a expresso na janela de Definies e de seguida clicar no boto "STEP". de realar que s se aplica com algumas linguagen s de interpretao. D D D D D D D D D D D D E E E E E E E E E E E E E E E E E E E E E E 1) 1) 1) 1) 1) 1) 2) 2) 2) 2) 2) 2) 1) 1) 1) 1) i) 1) 1) 1) 1) 1) 2) 2) 2) 2) 2) 2) 2) 2) 2) 2) 2) 2) i- 55 ii- 18 iii- -7 iv- 11 v- 13 vi - procedimento i- indefinido ii- 8 iii- 12 iv- 8 v- erro vi- 8 i- invlido ii- invlido iii- invlido iv- invlido v- vlido vi- vlido vii- invlido viii- vlido ix- invlido x- invlido i- sintaticamente: vlido, semanticamente: vlido ii- sintaticamente: invlido, semanticamente: invlido iii- sintaticamente: vlido, semanticamente: invlido iv- sintaticamente: vlido, semanticamente: vlido v- sintaticamente: invlido, semanticamente: invlido vi- sintaticamente: invlido, semanticamente: invlido vii- sintaticamente: vlido, semanticamente: vlido viii- sintaticamente: vlido, semanticamente: vlido ix- sintaticamente: vlido, semanticamente: vlido x- sintaticamente: invlido, semanicamente: invlido xi- sintaticamente: vlido, semanticamente: vlido xii- sintaticamente: invlido, semanticamente: invlido

E 2) xiii- sintaticamente: vlido, semanticamente: vlido E 2) xiv- sintaticamente: invlido, semanticamente: invlido F F F F F F F F F F F F 1) indefinido 2) 32 3) 30 4) 32 5) indefinido 6) indefinido 7) 3 8) indefinido 9) 3 10) indefindo 11) 3 12) 3

G 1) A forma geral do procedimento Scheme : (define (<nome> <parmetros formais>) < corpo>) G 2) Parmetro formal a varivel que se insere no corpo do procedimento, enquanto qu e o argumento o valor do operando. G 3) As directivas a seguir so: identificar expresses semelhantes de modo a facili tar elaborao de um determinado programa. H H H H H 1) 2) 3) 4) 5) 6 -6 22 12 32

I 1) (define (triplo x) (+ x x x)) (define (triplo x) (* x 3)) I 2) (define (quadrado y) (* y y)) (define (cubo y) (* y y y)) (define (equao y) (- (+ (- (* 4 (cubo y )) (* 2 (quadrado y))) (* 7 y)) 3)) I 3) (define (quadrado y) (* y y)) (define (resultado x) (* x x)) (define (equao x y) (+ (- (+ (* 3 x (quadrado y)) (* (resultado x) y)) (* 3 x) (* 6 y)) 9)) J 1) Em relao a objectos auto-avaliativos, em primeiro lugar avaliam-se os operand os e de seguida aplica-se o operador entre ambos. No que diz respeito a abstraces por intermdio de "define", o programa guarda o valor definido, passando assim a ser conhecido por esse valor. Na aplicao de procedimentos, o que o interpretador faz substituir a expresso p elo corpo do procedimento, passando os argumentos aos parmetros formais. A special form "cond" avalia a primeira clusula, se esta for verdadeira o re sultado da special form o valor do consequente dessa mesma clusula, caso contrrio, se a primeira clusula for falsa passa-se a avaliar a seguinte aplicando o mesmo procedimento anteriormente referido. Na special form "if", se o predicado for verdadeiro o resultado da special form o da expresso alternativa. Se o predicado for falso o valor atribudo ao "if" o da expresso consequente. J 2) (soma-maxi 3 -4) (maxi (+ 3 -4) (- 3 -4))

(maxi -1 (- 3 -4)) (maxi -1 7) (if (> -1 7) -1 7)) (if #f -1 7) J 3) (unid (+ 1 -1) 1) (unid 0 1) (* (/ 0 1) (/ 1 0))) (* 0 (/ 1 0) "erro"

K 1) A forma geral : (cond ( <p1> <e1> ) ( <p2> <e2> ) ( <pn> <en> ) K 2) Predicado: expresso que se pode avaliar com Verdadeiro ou Falso; Consequente: expresso utilizado quando o predicado verdadeiro; Alternativa: expresso utilizada quando o predicado falso; K 3) (if <predicado> <consequente> <alternativa>) L L L L L L L 1) 1) 1) 1) 1) 1) 1) i- 0 ii- 1 iii- 1 iv- 1 v- 3 vi- 4 vii- 0

L 2) i- 2 L 2) ii- 1 L 2) iii- 3 L 3) i- #f L 3) ii- #t L 3) iii- #t M M M M 1) 1) 1) 1) i- (< 12 x) ii- (and (< -10 x) (<= x 40)) iii- (and (or a b) c) iv- (and (not p (not ( and q ( or r s))))

M 2) x = {(a, b>0; -b, b<0)} M 3) (cond ((< x -4) (* x -4)) ((< x 5) (+ x x)) (else (* x 3))) N 1) (define (valor x y) (if (> x y) (sqrt x) (+ y y))) N 2) (define (menor a b) (cond ((< x y) x) (else y))) N 3) ( define (menor a b c) ( cond ((< a b c) a) ((< a c b) a) ((< b a c) b) ((< b c a) b) ((< c a b) c) ((< c b a) c)))