Cálculo de programas

Bibliographic Details
Main Author: Blanco, Javier Oscar, 1968-
Other Authors: Smith, Silvina, 1964-, Barsotti, Damián, 1969-
Format: Slide
Language:Spanish
Published: [s.l. : s.n.] , 2008.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Preliminares
  • Lógica proposicional
  • Cálculo proposicional
  • Aplicaciones del cálculo proposicional
  • Cálculo de predicados
  • Expresiones cuantificadas
  • El formalismo básico
  • Modelo computacional
  • El proceso de construcción de programas
  • Inducción y recursión
  • Técnicas elementales para la programación
  • Ejemplos de derivación de programas funcionales
  • Ejemplos con segmentos
  • Especificaciones implícitas
  • Recursión final
  • La programación imperativa
  • Definición de un lenguaje de programación imperativo
  • Introducción al cálculo de programas imperativos
  • Técnicas para determinar invariantes
  • Recursión final y programación imperativa