Diseño efectivo de programas correctos /

Contenido: 0) Introducción; 1) Cálculo lógico; 2) Programación como ciencia; 3) Corrección y derivación de programas iterativos; 4) Corrección y derivación de programas recurrentes; 5) Complejidad algorítmica; 6) Ecuaciones de recurrencia; 7) Métodos generales de solución de problemas; 8) Divide y v...

Disgrifiad llawn

Manylion Llyfryddiaeth

Prif Awdur:	Bohórquez Villamizar, Jaime Alejandro (autor)
Fformat:	Llyfr
Iaith:	Sbaeneg
Cyhoeddwyd:	Bogotá, Colombia : Escuela Colombiana de Ingeniería, 2006, c2006
Cyfres:	(Colección de Informática)
Pynciau:	Algoritmos - > Análisis - > Tema Principal Algoritmos Métodos Iterativos (Matemáticas) Programación Dinámica Programación (Software) Programación (Matemáticas) - > Tema Principal Lógica Matemática Ingeniería Computacional Informática Matemáticas
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!