Paradigmas de Programación - UTN FRBA
Buscar en este sitio
Programa
Quienes somos
Nuestros logros
Material
Wiki
Apuntes
Trabajos Practicos
Guías de ejercicios
Ejemplos
Finales
Parciales
Software
Haskell
SWI Prolog
Wollok
Herramientas para Diagramar
Cursos
Mañ-Lunes
Mañ-Martes
Mañ-Miércoles
Mañ-Jueves
Mañ-Viernes
Mañ-Sábado
Tar-Miércoles
Tar-Viernes
Tar-Sábado
Noc-Lunes
Noc-Martes
Noc-Miércoles
Noc-Jueves
Noc-Viernes
Cursadas Anteriores
Sitios con más información
Cursadas Anteriores
Mapa del sitio
Actividad reciente del sitio
Cursos
>
Cursadas Anteriores
>
2015
>
Cuatrimestral-2doC
>
Bitácora de clase
>
Clases 10 y 11 - Negación e individuos compuestos, Para Todo (forall), Polimorfismo
publicado a la(s)
20 sept. 2015 18:32
por Mariana Matos
Esta semana vimos:
Cómo negar
usando el
predicado de orden superior
not/1
, y cómo resolver problemas de inversibilidad que puedan existir mediante generación de valores.
Cómo trabajar con
individuos compuestos
:
functores
y listas (de momento sólo la
motivación
y
cómo trabajar con listas recursivamente
, más sobre listas el miércoles que viene).
Otra de las herramientas importantes de la lógica: el
Para Todo
, que va de la mano del predicado de
orden superior
forall/2
Y uno de los conceptos fuertes de la materia (no sólo aplica al paradigma lógico):
Polimorfismo
Ejercicios propuestos para los temas nuevos:
De la guía 2:
asesinato
De la guía 3:
competenciaDeSaltos
,
subtes
,
viajes
Lógico Guía 3: Functores
Comments