Clases LĆ³gico y Funcional 2c2010
Clase 4
Vimos
|
| Archivos adjuntos: 
Tp3 funcional.doc
Funcional - Clase 3
Vimos orden superior.Ā De dos gustos:
TP para el miƩrcoles 10 de noviembre: parcial de batman |
Funcional Clase 2
Hoy vimos:
|
| Archivos adjuntos: Ejercicio funcional.doc
Funcional Clase 1
QuƩ vimos hoy:
Tp para la prĆ³xima clase:Traer impreso, hecho en mĆ”quina (no word) las siguientes funciones, definiĆ©ndolas en la mayor cantidad de formas posibles y acordĆ”ndose de utilizar composiciĆ³n cuando sea posible:1) cantidadDeTemas/1. Que recibe un disco y retorna la cantidad de temas del disco.Ā Un disco es una tupla formada por:Ā ("nombre del disco", [ tema1, tema2 ]). Ej: > cantidadDeTemas ("naturalezaSangre", ["naturalezaSangre", "bello abril"]) 2 2) discoCareta/1.Ā Recibe un disco (igual que el anterior), y retorna si es careta o no (un booleano).Ā Un disco es careta si la primera canciĆ³n del disco es igual al nombre del disco. > discoCareta ("naturalezaSangre", ["naturalezaSangre", "bello abril"]) True > discoCareta ("alta suciedad", ["paloma", "alta suciedad", "media veronica"]) false 3) yaEstamosCansadosDe/1.Ā Recibe un disco, y nos dice si la primer cancion del disco tiene mĆ”s de 6 caracteres.Ā Tener en cuenta que la funciĆ³n length/1 sirve para strings: Ej: > length "hola" 4 > yaEstamosCansadosDe ("alta suciedad", ["paloma", "alta suciedad", "media veronica"]) False > yaEstamosCansadosDe ("naturalezaSangre", ["naturalezaSangre", "bello abril"]) True ĀæDe donde seguimos leyendo?ComposiciĆ³nCuando usar parentesis |
Clase 6 - 22/9 - Recursividad y pattern matching
QuƩ vimos hoy:
Tp para la prĆ³xima clase:Amigos - 11/10/2007ĀæDe donde seguimos leyendo?UnificaciĆ³n y pattern matching |
Clase 15/9 - Individuos compuestos
 QuƩ vimos hoy:
1) Hasta ahora habĆamos visto solo indivĆduos simples: Ć”tomos y nĆŗmeros.Ā Ahora agregamos: - functores: son indivĆduos compuestos que nos sirven para agrupar otros indivĆduos (compuestos o simples).Ā Tienen un nombre y una aridad.Ā Su tamaƱo es fijo. - listas: son indivĆduos compuestos que nos sirven para hacer operaciones sobre un conjunto en su totalidad (i.e. sumar todos los elementos, o saber la cantidad).Ā Su tamaƱo es variable, y no tienen nombre. 2) Hablamos un poquito de unificaciĆ³n y pattern matching. UnificaciĆ³n es el proceso mediante el cual dos elementos se consideran iguales.Ā Para verificar que dos elementos sean iguales, se lleva a cabo una verificaciĆ³n de patrones, o pattern matching, que dice si esos dos elementos calzan. - Todo indivĆduo matchea o calza con una variable sin ligar. - Los functores matchean con functores que tengan el mismo nombre y aridad, y que ademĆ”s matcheen sus componentes. 3) Predicados sobre listas - lenght/2 - sumlist/2 - member/2 AdemĆ”s vimos un nuevo predicado de orden superior: findall/3, que se usa de la siguiente manera: hijosDe(Alguien) :- findall( Hijo, padre(Alguien, Hijo), Hijos). Y se interpreta como: Encontra todos los Hijo que cumplan la condicion padre(Alguien,Hijo), y ligĆ” la variable Hijos con la lista con todos los resultados. TambiĆ©n notamos que tiene los mismos problemas de inversibilidad que el forall/2 o el not/1.Ā Ojo con eso! Tarea para la prĆ³xima clase:No hay :)ĀæCĆ³mo podemos practicar listas, functores y todas esas cosas?En las guias de ejercicios 3 y 4 van a encontrar ejercicios para hacerhttps://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios Ć³ para practicar forall, not, functores y algo de aritmĆ©tica (nada de listas): Ejercicio de los ferreteros ĀæDe donde seguimos leyendo? |
Clase 4 - 8/9 - NegaciĆ³n y Forall
QuƩ vimos hoy:
Tarea para la prĆ³xima clase:https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/teg-sin-listasAdemĆ”s, para la entrega tienen que respetar el siguiente formato: https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/formato-de-entrega DesafĆo:
|
Clase 3 - 1/9 - AritmĆ©tica, negaciĆ³n, inversibilidad
A grandes rasgos vimos:
ĀæDe donde seguir leyendo? |
Clase 2 - 24/8 - Paradigma LĆ³gico
En resumen hoy vimos:
Tarea para la prĆ³xima clase:TP1Hacer los siguientes predicados (utilizando como guĆa a tu propia familia)
TambiƩn pueden revisar el material del cuatrimestre pasado para mas links haciendo click aca. |