Cálculo de programas /

Bibliographic Details
Main Author: Blanco, Javier Oscar, 1968-
Other Authors: Smith, Silvina, 1964-, Barsotti, Damián, 1969-
Format: Book
Language:Spanish
Published: Cordoba : Universidad Nacional de Cordoba, c2008.
Edition:1a ed.
Subjects:
Table of Contents:
  • Lógica proposicional
  • 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