Demostración asistida por ordenador (2012-13) Demostración asistida por ordenador (2012-13)

  • Página principal
  • Temas
  • Ejercicios
  • Lo que enlaza aquí
  • Cambios relacionados
  • Páginas especiales
  • Versión para imprimir
  • Enlace permanente
  • Información de la página
  • Acceder
  • Demostración asistida por ordenador (2012-13)
  • Página principal
  • Temas
  • Ejercicios
  • Lo que enlaza aquí
  • Cambios relacionados
  • Páginas especiales
  • Versión para imprimir
  • Enlace permanente
  • Información de la página
 Acciones
  • Página
  • Discusión
  • Ver código
  • Historial

Temas

De Demostración asistida por ordenador (2012-13)

Temas de Demostración asistida por ordenador

  • Tema 1: Panorama de la demostración asistida por ordenador.
  • Tema 2: Programación funcional en Isabelle.
  • Tema 3: Razonamiento sobre programas.
  • Tema 4: Deducción natural proposicional con Isabelle/HOL.
Obtenido de «https://www.glc.us.es/~jalonso/DAO2012/index.php?title=Temas&oldid=65»
  • Se editó esta página por última vez el 19 dic 2012 a las 16:32.
  • El contenido está disponible bajo la licencia Creative Commons Atribución-NoComercial-CompartirIgual a menos que se indique lo contrario.
  • Normativa de privacidad
  • Acerca de Demostración asistida por ordenador (2012-13)
  • Exoneraciones
  • Powered by MediaWiki