jaalonso/Examenes_de_PF_con_Haskell_Vol10 jaalonso/Examenes_de_PF_con_Haskell_Vol10

  • Stars
    star
    1
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaalonso/Examenes_de_PF_con_Haskell_Vol10
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. 10 (Curso 2018-19)

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_Vol5

Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14)
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

ParaGabriel

Exercises in formalizing mathematics with Lean 4
Lean
1
star
49

Formalizacion_de_las_matematicas_en_Lean

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

LogicaProgramacionDemostracion

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