jaalonso/I1M jaalonso/I1M

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    HTML
  • License
    Other
  • Created over 9 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaalonso/I1M
github

jaalonso

Reviews

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

Repository Details

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

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

Matematicas_en_Lean

Matemáticas en Lean
Lean
4
star
9

Intro-HaskellForMaths

Introducción a HaskellForMaths
Haskell
4
star
10

Recopilaciones

Recopilaciones de cursos y ofertas de trabajo
4
star
11

FormulasYpolinomios

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

Piensa-en-Haskell-y-en-Python

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

Exercitium1

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

Exercitium

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

I1M-Cod-Temas

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

Quotes

Quotes on Mathematics and Computer Science.
3
star
17

I1M-Ejercicios-Haskell

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

Temas_interactivos_de_PF_con_Haskell

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

Ejercicios-Python

Ejercicios de programación con Python
Python
3
star
20

Calculemus2

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

Exercitium2018

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

RA20116

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

Examenes_de_PF_con_Haskell_Vol11

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

Exercitium2013

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

Exercitium-Python

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

Trabajos-MULCIA

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

Cursos_de_PF_con_Haskell

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

Examenes_de_PF_con_Haskell_Vol7

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

Razonando-con-Lean

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

Matematicas_en_Lean4

Matemáticas en Lean4
Lean
1
star
31

Calculemus

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

Ejercicios-Prolog

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

Musica-de-Bach

Música de Johann Sebastian Bach
1
star
34

Explorando-con-Lean

Explorando formalizaciones con Lean
Lean
1
star
35

Examenes_de_PF_con_Haskell_Vol4

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

Examenes_de_PF_con_Haskell_Vol3

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

SLP

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

Logica-en-Haskell

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

Examenes_de_PF_con_Haskell_Vol2

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

GraficasEnIHaskell

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

Examenes_de_PF_con_Haskell_Vol5

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

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