Skip to content

marcelolynch/tex-docs

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
agda y programacion verificada
agda y programacion verificada
 
 
algebra de cardinales
algebra de cardinales
 
 
compacidad y coloreo
compacidad y coloreo
 
 
familias de conjuntos
familias de conjuntos
 
 
instancias de algebras de relaciones en SAT
instancias de algebras de relaciones en SAT
 
 
recursion primitiva en logica de primer orden
recursion primitiva en logica de primer orden
 
 
semantica y consecuencia logica
semantica y consecuencia logica
 
 
teorema de bernstein
teorema de bernstein
 
 
teorema de kuratowski
teorema de kuratowski
 
 
transformada de hough generalizada
transformada de hough generalizada
 
 
visualizando el cardinal de (0,1)^N
visualizando el cardinal de (0,1)^N
 
 
.gitignore
.gitignore
 
 
README.md
README.md
 
 

Repository files navigation

Recopilacion miscelánea de documentos que he escrito alguna vez y me interesa conservar y compartir

About

Documentitos que he escrito alguna vez

Resources

Readme
Activity

Stars

2 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages