Esta obra forma parte de la Serie Integral por competencias, que Grupo Editorial Patria ha creado con la colaboración de expertos pedagogos para cumplir con los objetivos marcados en los planes de estudios de la Dirección General de Bachillerato (DGB) de la Secretaría de Educación Pública (SEP). Nuestros autores, que cuentan con gran experiencia docente y una trayectoria destacada han creado contenidos actuales y significativos para cada materia. Por nuestra parte, los editores hemos plasmado todos nuestros conocimientos y experiencia en el desarrollo de estos libros, así como en los materiales de apoyo y tecnológicos. Quienes han usado y conocen las versiones anteriores de esta Serie, saben que cuenta con numerosas y bien diseñadas secciones que facilitan la comprensión de los temas, el aprendizaje y la labor docente. En esta Serie encontrarás: • Situaciones y secuencias didácticas • Lecturas • Actividades de aprendizaje • Actividades que fomentan el uso de las TIC • Portafolio de evidencias • Instrumentos de evaluación (exámenes, autoevaluaciones, coevaluaciones, heteroevaluaciones, listas de cotejo, rúbricas y guías de observación) En esta edición incluimos un mejor diseño, que resulta atractivo y práctico tanto para los estudiantes como para los maestros, así como referencias a nuestras nuevas herramientas pedagógicas: guías académicas y estrategias docentes. Para esta Serie preparamos el Sistema de Aprendizaje en Línea (SALI), herramienta de apoyo para docentes y alumnos, la cual está diseñada para facilitar el aprendizaje. Se trata de un Learning Management System (LMS) que permite aprender a través de video, audio, documentos, bancos de exámenes y reactivos. Contamos con cientos de objetos de aprendizaje y nuestra meta es ir creciendo día a día. Los invitamos a conocer más de nuestra Serie y de SALI.
En la actualidad, la informática juega un papel más importante en la vida cotidiana de los seres humanos; su mayor relevancia se debe en gran medida a la globalización.
Tecnología informática: Educación Secundaria
In J. Hughes, editor, Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 193–214, Cambridge, Massachusetts, August 1991. Springer-Verlag, Berlin. See Chapter 9. P. Wadler.
References : [ 1 ] R. Bayer , E. McCreight : Organization and maintenance of large ordered indexes . Acta Informatica 1 , 173-189 ( 1972 ) . [ 2 ] R. Bayer : Symmetric binary B - Trees : data structure and maintenance algorithms .
REFERENCES 1. ARBIB, M.A. & ALAGIC, S., Proof rules for goto's, Acta Informatica 1 1, 139-148, 1979. 2. BACK, R. J. R., Program construction by situation analysis, Computing Centre of University of Helsinki, Research report 6, 1978. 3.
Y. Perl, M. R. Garey, and S. Even, “Efficient Generation of Optimal Prefix Code: Search Trees”, Acta Informatica 1 (1972), pp. 307-310. 8. T. C. Hu and A. C. Tucker, “Optimal Computer-search Trees and VariableLength Alphabetic Codes”, ...
Approximately 1/2hth part of the nodes have h additional links and links of same height are nearly uniformly ... 1. Bayer, R.: Symmetric binary B-trees: Data structure and maintenance algorithms. Acta Informatica 1 (1972) 290–306 2.
Horning , The algebraic specification of Acta Informatica 10 , 27-52 , 1978 . 18. C.A. R. Hoare , Proof of correctness of data representations . Informatica 1 , 271-281 , 1972 . 19. C.A.R. Hoare , Recursive data structures .
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months.
Informática 1: competencias- aprendizaje- vida