PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
programacion-avanzada
27 artículos con esta etiqueta.
01 oct 2026
2026-09-01 ProgAv - Verificación de condicionales y ciclos por inducción
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
induccion
invariantes
ciclos
27 sept 2026
2026-08-25 ProgAv - Ternas de Hoare y demostración formal
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
ternas-de-hoare
27 sept 2026
2026-08-27 ProgAv - Composición, invariantes y condicionales de Hoare
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
invariantes
condicionales
27 sept 2026
2026-09-03 ProgAv - Función 91 de McCarthy, inducción modificada y función de Ackermann
clase
programacion-avanzada
recursion
induccion
verificacion-formal
logica-de-hoare
27 sept 2026
Formulario de Lógica de Hoare - Q1
programacion-avanzada
logica-de-hoare
formulario
q1
27 sept 2026
Guía paso a paso - Lógica de Hoare
programacion-avanzada
logica-de-hoare
guia-estudio
paso-a-paso
26 sept 2026
Acoplamiento
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Arquitectura MVC (Model-View-Controller)
concepto
programacion-avanzada
arquitectura
web
26 sept 2026
Arquitectura de software
concepto
programacion-avanzada
arquitectura
26 sept 2026
Cohesión
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Gramática formal
concepto
programacion-avanzada
lenguajes-formales
26 sept 2026
Jerarquía de Chomsky
concepto
programacion-avanzada
lenguajes-formales
26 sept 2026
Lenguaje de programación
concepto
programacion-avanzada
lenguajes
26 sept 2026
Lenguajes compilados
concepto
programacion-avanzada
compilacion
26 sept 2026
Lenguajes declarativos
concepto
programacion-avanzada
paradigmas
26 sept 2026
Lenguajes imperativos
concepto
programacion-avanzada
paradigmas
26 sept 2026
Lenguajes interpretados
concepto
programacion-avanzada
interpretacion
26 sept 2026
Paradigma de programación
concepto
programacion-avanzada
paradigmas
26 sept 2026
Patrón de diseño
concepto
programacion-avanzada
patrones
26 sept 2026
Programación estructurada
concepto
programacion-avanzada
diseño
26 sept 2026
Programación modular
concepto
programacion-avanzada
diseño-modular
26 sept 2026
Teorema de Böhm-Jacopini
concepto
programacion-avanzada
control
26 sept 2026
2026-08-13 ProgAv - Definiciones básicas y técnicas de programación
clase
programacion-avanzada
lenguajes-de-programacion
diseño-de-software
26 sept 2026
2026-08-18 ProgAv - Divide y vencerás, QuickSort y backtracking
clase
programacion-avanzada
divide-y-venceras
quicksort
backtracking
26 sept 2026
2026-08-20 ProgAv - Ocho reinas y cuadros mágicos
clase
programacion-avanzada
backtracking
ocho-reinas
cuadros-magicos
26 sept 2026
2026-09-08 ProgAv - Resolucion y metas en Prolog
clase
programacion-avanzada
programacion-logica
prolog
resolucion
clausulas-horn
26 sept 2026
2026-09-10 ProgAv - Hechos, unificación, backtracking y corte en Prolog
clase
programacion-avanzada
programacion-logica
prolog
unificacion
backtracking
corte