jaalonso/Examenes_de_PF_con_Haskell_Vol5 jaalonso/Examenes_de_PF_con_Haskell_Vol5

  • Stars
    star
    1
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaalonso/Examenes_de_PF_con_Haskell_Vol5
github

jaalonso

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14)

More Repositories

1

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.
66
star
2

Pensamientos

Recopilación de pensamientos.
9
star
3

Examenes_de_PF_con_Haskell

Exámenes de programación funcional con Haskell
9
star
4

Categorias_y_programacion

Bibliografía sobre teoría de categorías y programación funcional
6
star
5

Libros_de_Logica

Recopilación de libros de lógica
5
star
6

Logica_con_Lean

Introducción a la lógica con Lean.
Lean
4
star
7

PC-Haskell

Programación competitiva con Haskell
Haskell
4
star
8

I1M

Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)
HTML
4
star
9

Matematicas_en_Lean

Matemáticas en Lean
Lean
4
star
10

Intro-HaskellForMaths

Introducción a HaskellForMaths
Haskell
4
star
11

Recopilaciones

Recopilaciones de cursos y ofertas de trabajo
4
star
12

FormulasYpolinomios

Sistema certificado de decisión proposicional basado en polinomios.
Haskell
3
star
13

Piensa-en-Haskell-y-en-Python

Ejercicios de programación con Haskell y con Python
TeX
3
star
14

Exercitium1

Ejercicios de programación funcional con Haskell del blog Exercitium (Volumen 1).
Haskell
3
star
15

Exercitium

Ejercicios de programación funcional con Haskell
Haskell
3
star
16

I1M-Cod-Temas

Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).
Haskell
3
star
17

Quotes

Quotes on Mathematics and Computer Science.
3
star
18

I1M-Ejercicios-Haskell

Ejercicios de programación funcional con Haskell.
Haskell
3
star
19

Temas_interactivos_de_PF_con_Haskell

Temas interactivos de programación funcional con Haskell.
Jupyter Notebook
3
star
20

Ejercicios-Python

Ejercicios de programación con Python
Python
3
star
21

Calculemus2

Ejercicios de demostración con Lean4 e Isabelle/HOL.
Lean
3
star
22

Exercitium2018

Ejercicios de programación funcional con Haskell (Curso 2018-19)
Haskell
2
star
23

RA20116

Curso de "Razonamiento automático"
Isabelle
2
star
24

Examenes_de_PF_con_Haskell_Vol11

Exámenes de programación funcional con Haskell. Vol. 11 (Curso 2019-20)
Haskell
2
star
25

Exercitium2013

Ejercicios de programación funcional con Haskell (Curso 2013-14)
Haskell
2
star
26

Exercitium-Python

Soluciones de los problemas de Exercitium con Python
Python
2
star
27

Trabajos-MULCIA

Ofertas de trabajo de interés para el MULCIA
2
star
28

Cursos_de_PF_con_Haskell

Recopilación de cursos de programación funcional con Haskell.
2
star
29

Examenes_de_PF_con_Haskell_Vol7

Exámenes de programación funcional con Haskell. Vol. 7 (Curso 2015-16)
Haskell
1
star
30

Razonando-con-Lean

Elaboración de demostraciones con Lean.
Lean
1
star
31

Matematicas_en_Lean4

Matemáticas en Lean4
Lean
1
star
32

Calculemus

Ejercicios de demostración con Lean e Isabelle/HOL.
Lean
1
star
33

Ejercicios-Prolog

Ejercicios de programación lógica con Prolog
Prolog
1
star
34

Musica-de-Bach

Música de Johann Sebastian Bach
1
star
35

Explorando-con-Lean

Explorando formalizaciones con Lean
Lean
1
star
36

Examenes_de_PF_con_Haskell_Vol4

Exámenes de programación funcional con Haskell. Vol. 4 (Curso 2012-13)
Haskell
1
star
37

Examenes_de_PF_con_Haskell_Vol3

Exámenes de programación funcional con Haskell. Vol. 3 (Curso 2011-12)
Haskell
1
star
38

SLP

Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
Isabelle
1
star
39

Logica-en-Haskell

Desarrollo de la lógica con Haskell.
Haskell
1
star
40

Examenes_de_PF_con_Haskell_Vol2

Exámenes de programación funcional con Haskell. Vol. 2 (Curso 2010-11)
Haskell
1
star
41

GraficasEnIHaskell

Representación de gráficas con GNUplot en IHaskell.
Jupyter Notebook
1
star
42

Examenes_de_PF_con_Haskell_Vol10

Exámenes de programación funcional con Haskell. Vol. 10 (Curso 2018-19)
Haskell
1
star
43

Examenes_de_PF_con_Haskell_Vol1

Exámenes de programación funcional con Haskell. Vol. 1 (Curso 2009-10)
Haskell
1
star
44

Examenes_de_PF_con_Haskell_Vol9

Exámenes de programación funcional con Haskell. Vol. 9 (Curso 2017-18)
Haskell
1
star
45

Demostraciones-con-Lean

Demostraciones con Lean
Lean
1
star
46

Examenes_de_PF_con_Haskell_Vol6

Exámenes de programación funcional con Haskell. Vol. 6 (Curso 2014-15)
Haskell
1
star
47

Examenes_de_PF_con_Haskell_Vol8

Exámenes de programación funcional con Haskell. Vol. 8 (Curso 2016-17)
Haskell
1
star
48

Formalizacion_de_las_matematicas_en_Lean

Formalización de las matemáticas en Lean
Lean
1
star
49

LogicaProgramacionDemostracion

Lógica (con deducción natural), programación (con Haskell) y demostración (con Lean).
Lean
1
star