|
|
|
|
| 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
|
