Saltar al Contenido

Vestigium

Cuaderno de Investigación en Lógica Computacional

Facebook Twitter Instagram
Vestigium
Cuaderno de Investigación en Lógica Computacional

QuickCheck

I1M2014: Ejercicios sobre cadenas en Haskell

PorJosé A. Alonso 10 noviembre 2014

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la 7ª relación que trata de funciones sobre cadenas.

Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2014: Ejercicios sobre cadenas en Haskell”

I1M2014: Verificación de la ordenación por mezcla con QuickCheck

PorJosé A. Alonso 10 noviembre 2014

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la verificación de la ordenación por mezcla siguiendo los ejercicios de la relación 9.

Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2014: Verificación de la ordenación por mezcla con QuickCheck”

I1M2014: 1º examen de programación con Haskell

PorJosé A. Alonso 5 noviembre 201411 noviembre 2014

Hoy se ha realizado el 1º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.

Read More “I1M2014: 1º examen de programación con Haskell”

I1M2014: Ejercicios de definiciones por recursión

PorJosé A. Alonso 3 noviembre 20144 noviembre 2014

En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la 5ª relación sobre definiciones por recursión.

Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2014: Ejercicios de definiciones por recursión”

I1M2014: Ejercicios del cifrado César

PorJosé A. Alonso 27 octubre 201428 octubre 2014

En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la 4ª relación sobre el cifrado César.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios del cifrado César”

Navegación de Página

Previous PagePrevio 1 2 3 4 5 6 … 13 Next PageSiguiente
mayo 2025
L M X J V S D
 1234
567891011
12131415161718
19202122232425
262728293031  
« May    
  • La semana en Calculemus (25 de mayo de 2024)25 mayo 2024
  • La semana en Calculemus (18 de mayo de 2024)18 mayo 2024
  • La semana en Calculemus (11 de mayo de 2024)11 mayo 2024
  • La semana en Calculemus (4 de mayo de 2024)4 mayo 2024
  • Resumen de lecturas compartidas durante abril de 20244 mayo 2024
  • El mes de abril en Exercitium (Ejercicios con Haskell y Python)3 mayo 2024
  • La semana en Calculemus (27 de abril de 2024)27 abril 2024
  • La semana en Calculemus (21 de abril de 2024)21 abril 2024
  • El mes de marzo en Exercitium (Ejercicios con Haskell y Python)2 abril 2024
  • La semana en Calculemus (16 de marzo de 2024)16 marzo 2024
  • La semana en Calculemus (9 de marzo de 2024)9 marzo 2024
  • La semana en Calculemus (2 de marzo de 2024)2 marzo 2024
  • La semana en Calculemus (24 de febrero de 2024)24 febrero 2024
  • La semana en Calculemus (3 de febrero de 2024)3 febrero 2024
  • La semana en Calculemus (27 de enero de 2024)27 enero 2024
  • La semana en Calculemus (20 de enero de 2024)20 enero 2024
  • La semana en Calculemus (13 de enero de 2024)13 enero 2024
  • La semana en Calculemus (6 de enero de 2024)6 enero 2024
  • La semana en Calculemus (30 de diciembre de 2023)30 diciembre 2023
  • La semana en Calculemus (10 de diciembre de 2023)10 diciembre 2023

Correo electrónico

Introduce tu correo electrónico para suscribirte a este blog y recibir notificaciones de nuevas entradas.

RSS feed

© 2010-2025 Vestigium

Scroll to top
Búsqueda