Diferencia entre revisiones de «Paradigmas de Lenguajes de Programación»

De Cuba-Wiki
Sin resumen de edición
Línea 26: Línea 26:
==Apuntes==
==Apuntes==
===Práctica===
===Práctica===
====Cálculo Lambda====
*[[Medio:PLP_apunte_calculoSigma.pdf|Machete Cálculo Sigma (imprimible)]]
====Prolog====
====Prolog====
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]

Revisión del 22:47 30 nov 2022

Paradigmas de Lenguajes de Programación pertenece al area de Teoría y, según el Plan de la Carrera es una materia a ser cursada en Cuarto año. Se necesita Lógica y Computabilidad para cursarla y es correlativa de Ingeniería de Software II.

Programa

Los temas a cubrir en la materia son:

  • Inducción y Recursión
  • Programación Funcional
  • Sistemas de Tipos
  • Semántica Operacional
  • Revisión del Paradigma Imperativo
  • Programación Lógica
  • Programación Orientada a Objetos

Prácticas

Soluciones de la prácticas Verano 2018

Apuntes

Práctica

Cálculo Lambda

Prolog

Final

Exámenes

Primeros Parciales

Segundos Parciales

Finales

Enlaces externos