|
|
|
|
LEADER |
00000ngm a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20210927180301.0 |
006 |
a|||||o|||| 00| 0 |
007 |
cr ||||||||||| |
008 |
210927s2008 ag ||||| |||||| ||spa d |
040 |
|
|
|a AR_CdUFM
|b spa
|d AR_CdUFM
|
041 |
|
|
|a spa
|
100 |
1 |
|
|9 1670
|a Blanco, Javier Oscar,
|d 1968-
|
245 |
1 |
0 |
|a Cálculo de programas
|h [recurso electrónico] /
|c Javier Blanco, Silvina Smith, Damián Barsotti.
|
260 |
|
|
|a [s.l. :
|b s.n.] ,
|c 2008.
|
300 |
|
|
|a 1 recurso en línea (314 páginas) :
|b ilustraciones color
|
505 |
0 |
|
|t Preliminares
|
505 |
0 |
|
|t Lógica proposicional
|
505 |
0 |
|
|t Cálculo proposicional
|
505 |
0 |
|
|t Aplicaciones del cálculo proposicional
|
505 |
0 |
|
|t Cálculo de predicados
|
505 |
0 |
|
|t Expresiones cuantificadas
|
505 |
0 |
|
|t El formalismo básico
|
505 |
0 |
|
|t Modelo computacional
|
505 |
0 |
|
|t El proceso de construcción de programas
|
505 |
0 |
|
|t Inducción y recursión
|
505 |
0 |
|
|t Técnicas elementales para la programación
|
505 |
0 |
|
|t Ejemplos de derivación de programas funcionales
|
505 |
0 |
|
|t Ejemplos con segmentos
|
505 |
0 |
|
|t Especificaciones implícitas
|
505 |
0 |
|
|t Recursión final
|
505 |
0 |
|
|t La programación imperativa
|
505 |
0 |
|
|t Definición de un lenguaje de programación imperativo
|
505 |
0 |
|
|t Introducción al cálculo de programas imperativos
|
505 |
0 |
|
|t Técnicas para determinar invariantes
|
505 |
0 |
|
|t Recursión final y programación imperativa
|
650 |
|
4 |
|a Computación
|
650 |
|
4 |
|a Cálculo de programas
|
700 |
1 |
|
|9 16229
|a Smith, Silvina,
|d 1964-
|
700 |
1 |
|
|9 1076
|a Barsotti, Damián,
|d 1969-
|
856 |
|
|
|u https://cs.famaf.unc.edu.ar/~damian/calcprog/main.pdf
|y Texto completo
|
942 |
|
|
|2
|c LIBROELECT
|
945 |
|
|
|a MEG
|d 2021-09-27
|
952 |
|
|
|0 0
|1 0
|2
|4 0
|6 LIBRO_ELECTRÓNICO
|7 0
|9 45781
|a MMA
|b MMA
|c Recurso en línea
|d 2021-09-27
|l 0
|o Libro electrónico
|p LE00073
|r 2021-09-27 00:00:00
|u https://cs.famaf.unc.edu.ar/~damian/calcprog/main.pdf
|w 2021-09-27
|y LIBROELECT
|
999 |
|
|
|c 20674
|d 20672
|