Algoritmos y Programación en Pascal

More documents

Recommendations

Info

10.8. Referencias bibliográficas 229 El libro de Alagic y Arbib [AA78] es una referencia obligada entre los libros orientados hacia la verificación con un enfoque formal. Algunos de los conceptos contenidos en el tema provienen de la ingeniería del software. Para ampliar estos conceptos recomendamos un texto sobre esta disciplina, como es [Pre93]. En [PJ88] se describen con detalle las técnicas para obtener diseños de jerarquías de subprogramas de la mayor calidad apoyándose en los criterios de independencia funcional, caja negra, tamaño de los módulos y muchos otros. La recursión es un concepto difícil de explicar y comprender, que se presenta frecuentemente relacionándolo con la iteración, a partir de ejemplos que admiten versiones iterativas y recursivas similares. En [Wie88] y [For82] se ofrece este enfoque. En el libro [RN88] puede leerse la historia completa sobre las torres de Hanoi y los grandes logros del famoso matemático francés E. Lucas, entre otros muchos temas matemáticos, que se presentan con una pequeña introducción histórica. Existe un problema similar al de las Torres de Hanoi, llamado de los anillos chinos, cuya solución está desarrollada en [ES85] y en [Dew85b]
Page 1:
Algoritmos y Programación en Pasca
Page 4:
A nuestros compañeros y alumnos
Page 7 and 8:
viii Índice 3.2 El tipo integer .
Page 9 and 10:
x Índice 7.4.1 Un ejemplo detallad
Page 11 and 12:
xii Índice 11.3.3 Un ejemplo de ap
Page 13 and 14:
xiv Índice 17.4 17.3.2 Operaciones
Page 15 and 16:
xvi Índice A.1.2 Ejemplo 2: bipart
Page 18 and 19:
Presentación Este libro trata sobr
Page 20 and 21:
Presentación xxi En resumidas cuen
Page 22 and 23:
Presentación xxiii También se ha
Page 24:
Tema I Algoritmos e introducción a
Page 27 and 28:
4 Capítulo 1. Problemas, algoritmo
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
10 Capítulo 1. Problemas, algoritm
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 46 and 47:
Capítulo 2 El lenguaje de programa
Page 48 and 49:
2.4. Pascal y Turbo Pascal 25 El le
Page 50 and 51:
Capítulo 3 Tipos de datos básicos
Page 52 and 53:
3.2. El tipo integer 29 Nœmero Ent
Page 54 and 55:
3.2. El tipo integer 31 Expresiones
Page 56 and 57:
3.3. El tipo real 33 Nœmero Real R
Page 58 and 59:
3.4. El tipo char 35 Expresiones La
Page 60 and 61:
3.5. El tipo boolean 37 Son interna
Page 62 and 63:
3.6. Observaciones 39 Circuito larg
Page 64 and 65:
3.6. Observaciones 41 Expresi—n M
Page 66 and 67:
3.7. El tipo de una expresión 43 3
Page 68:
3.8. Ejercicios 45 (c) (−1) n , p
Page 71 and 72:
48 Capítulo 4. Elementos básicos
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 90 and 91:
Capítulo 5 Primeros programas comp
Page 92 and 93:
5.2. Programas claros ⇒ programas
Page 94 and 95:
5.3. Desarrollo descendente de prog
Page 96 and 97:
5.4. Desarrollo de programas correc
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
5.5. Observaciones finales 79 De he
Page 104 and 105:
5.6. Ejercicios 81 5.6 Ejercicios 1
Page 106:
Tema II Programación estructurada
Page 109 and 110:
86 Capítulo 6. Instrucciones estru
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
100 Capítulo 6. Instrucciones estr
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 146 and 147:
Capítulo 7 Programación estructur
Page 148 and 149:
7.2. Aspectos teóricos 125 Por una
Page 150 and 151:
7.2. Aspectos teóricos 127 S Princ
Page 152 and 153:
7.2. Aspectos teóricos 129 metodol
Page 154 and 155:
7.2. Aspectos teóricos 131 Cierto
Page 156 and 157:
7.2. Aspectos teóricos 133 que se
Page 158 and 159:
7.2. Aspectos teóricos 135 7.2.4 E
Page 160 and 161:
7.2. Aspectos teóricos 137 Finalme
Page 162 and 163:
7.3. Aspectos metodológicos 139 7.
Page 164 and 165:
7.3. Aspectos metodológicos 141 Ob
Page 166 and 167:
7.3. Aspectos metodológicos 143 Le
Page 168 and 169:
7.3. Aspectos metodológicos 145 {H
Page 170 and 171:
7.4. Refinamiento correcto de progr
Page 172 and 173:
7.4. Refinamiento correcto de progr
Page 174 and 175:
7.5. Conclusión 151 2. En la prác
Page 176 and 177:
7.7. Referencias bibliográficas 15
Page 178:
Tema III Subprogramas
Page 181 and 182:
158 Capítulo 8. Procedimientos y f
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202: 178 Capítulo 8. Procedimientos y f
Page 213 and 214: 190 Capítulo 9. Programación con
Page 234 and 235: Capítulo 10 Introducción a la rec
Page 236 and 237: 10.2. Conceptos básicos 213 La pos
Page 238 and 239: 10.2. Conceptos básicos 215 Progra
Page 240 and 241: 10.3. Otros ejemplos recursivos 217
Page 242 and 243: 10.4. Corrección de subprogramas r
Page 244 and 245: 10.4. Corrección de subprogramas r
Page 246 and 247: 10.5. Recursión mutua 223 en segun
Page 248 and 249: 10.5. Recursión mutua 225 var c: c
Page 250 and 251: 10.7. Ejercicios 227 Por ello, cuan
Page 254: Tema IV Tipos de datos definidos po
Page 257 and 258: 234 Capítulo 11. Tipos de datos si
Page 276 and 277: Capítulo 12 Arrays 12.1 Descripci
Page 278 and 279: 12.1. Descripción del tipo de dato
Page 284 and 285: 12.2. Vectores 261 12.2 Vectores En
Page 286 and 287: 12.3. Matrices 263 function Norma(v
Page 288 and 289: 12.3. Matrices 265 begin for i:= 1
Page 290 and 291: 12.3. Matrices 267 function Mannana
Page 292 and 293: 12.4. Ejercicios 269 5. Escriba un
Page 294 and 295: Capítulo 13 Registros 13.1 Descrip
Page 302 and 303:
13.2. Arrays de registros y registr
Page 304 and 305:
13.2. Arrays de registros y registr
Page 306 and 307:
13.3. Ejercicios 283 (b) Defina un
Page 308 and 309:
Capítulo 14 Archivos 14.1 Descripc
Page 310 and 311:
14.2. Manejo de archivos en Pascal
Page 312 and 313:
Page 314 and 315:
Page 316 and 317:
Page 318 and 319:
14.3. Archivos de texto 295 Write.
Page 320 and 321:
14.3. Archivos de texto 297 ReadLn(
Page 322:
14.4. Ejercicios 299 Desarrolle un
Page 325 and 326:
302 Capítulo 15. Algoritmos de bú
Page 327 and 328:
Page 329 and 330:
Page 331 and 332:
Page 333 and 334:
Page 335 and 336:
Page 337 and 338:
Page 339 and 340:
Page 341 and 342:
Page 343 and 344:
Page 345 and 346:
Page 347 and 348:
Page 349 and 350:
Page 351 and 352:
Page 353 and 354:
Page 356 and 357:
Tema V Memoria dinámica
Page 359 and 360:
Capítulo 16 Punteros 16.1 Introduc
Page 361 and 362:
16.1. Introducción al uso de punte
Page 363 and 364:
Page 365 and 366:
Page 367 and 368:
Page 369 and 370:
16.2. Aplicaciones no recursivas de
Page 371 and 372:
16.2. Aplicaciones no recursivas de
Page 373:
16.3. Ejercicios 349 (a) ¿Cuál es
Page 376 and 377:
352 Capítulo 17. Estructuras de da
Page 378 and 379:
Page 380 and 381:
Page 382 and 383:
Page 384 and 385:
Page 386 and 387:
Page 388 and 389:
Page 390 and 391:
Page 392 and 393:
Page 394 and 395:
Page 396 and 397:
Page 398 and 399:
Page 400 and 401:
Page 402 and 403:
Page 404 and 405:
Page 406 and 407:
Page 408 and 409:
Page 410 and 411:
Page 412 and 413:
Page 414 and 415:
Page 417:
Tema VI Aspectos avanzados de progr
Page 420 and 421:
396 Capítulo 18. Complejidad algor
Page 422 and 423:
Page 424 and 425:
Page 426 and 427:
Page 428 and 429:
Page 430 and 431:
Page 432 and 433:
Page 434 and 435:
Page 436 and 437:
Page 438 and 439:
Page 440 and 441:
Page 442 and 443:
Page 444 and 445:
Page 446 and 447:
Page 448 and 449:
Page 451 and 452:
Capítulo 19 Tipos abstractos de da
Page 453 and 454:
19.2. Un ejemplo completo 429 19.2
Page 455 and 456:
19.2. Un ejemplo completo 431 aux^.
Page 457 and 458:
19.2. Un ejemplo completo 433 Progr
Page 459 and 460:
19.2. Un ejemplo completo 435 para
Page 461 and 462:
19.2. Un ejemplo completo 437 auxBu
Page 463 and 464:
19.2. Un ejemplo completo 439 Con l
Page 465 and 466:
19.3. Metodología de la programaci
Page 467 and 468:
Page 469 and 470:
Page 471 and 472:
19.5. Ejercicios 447 19.5 Ejercicio
Page 473 and 474:
Capítulo 20 Esquemas algorítmicos
Page 475 and 476:
20.1. Algoritmos devoradores 451 be
Page 477 and 478:
20.2. Divide y vencerás 453 20.2 D
Page 479 and 480:
20.3. Programación dinámica 455 t
Page 481 and 482:
20.3. Programación dinámica 457 c
Page 483 and 484:
20.3. Programación dinámica 459 t
Page 485 and 486:
20.3. Programación dinámica 461 e
Page 487 and 488:
20.4. Vuelta atrás 463 Un ejemplo
Page 489 and 490:
20.4. Vuelta atrás 465 type tDomin
Page 491 and 492:
20.4. Vuelta atrás 467 En el probl
Page 493 and 494:
20.5. Anexo: algoritmos probabilist
Page 495 and 496:
20.6. Ejercicios 471 6. Supongamos
Page 497 and 498:
20.7. Referencias bibliográficas 4
Page 499:
Apéndices
Page 502 and 503:
478 Apéndice A. Aspectos complemen
Page 504 and 505:
Page 506 and 507:
Page 508 and 509:
Page 510 and 511:
Page 512 and 513:
Page 514 and 515:
Page 516 and 517:
492 Apéndice B. El lenguaje Turbo
Page 518 and 519:
Page 520 and 521:
Page 522 and 523:
Page 524 and 525:
Page 526 and 527:
Page 528 and 529:
Page 531 and 532:
Apéndice C El entorno integrado de
Page 533 and 534:
C.2. Desarrollo completo de un prog
Page 535 and 536:
Page 537 and 538:
Page 539 and 540:
Page 541 and 542:
C.3. Otros menús y opciones 517 C.
Page 543 and 544:
C.4. Ejercicios 519 • Directories
Page 545 and 546:
Bibliografía [AA78] S. Alagíc y M
Page 547 and 548:
Bibliografía 523 [Dij68] E.W. Dijk
Page 549:
Bibliografía 525 [RN88] L. R˚ade
Page 552 and 553:
528 Índice alfabético secuencial,
Page 554 and 555:
530 Índice alfabético hoja de un
Page 556 and 557:
532 Índice alfabético R, 32 raíz
show all

Algoritmos y Programación en Pascal

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?