Arch is an open source, rolling release distribution. It’s a Linux distribution well-known for its extremely complete wiki. Almost certainly, you should have reached an Arch’s wiki entry searching for troubleshooting about other distributions.
If you’re wiling to enlarge your knowledge about Linux, it’s highly recommended trying to install Arch or another terminal-installation based distro at least once, because GUI Linux installers made that task easier. On the contrary, Arch installation is completely based on terminal commands.
This has been the guide followed to install Arch to a partition in my hard drive. You could also try it in a virtual machine!
Beforehand you must know you’re gonna need an Internet Connection to install Arch. The main goal of installing Arch is learning, so if you follow my steps strictly to the letter, you aren’t gonna learn as much as if you found your own path. This would be handy in case you got stuck in a step.
es un lenguaje de marcado y composición de textos para crear documentos técnicos, crear gráficos, escribir matemáticas… Actualmente se utiliza junto con otros paquetes que añaden funcionalidades adicionales, por lo que dar una visión completa de sus capacidades es complejo. A continuación tienes una lista de recursos para aprender e utilizar y algunos de sus paquetes.
beamer es una clase de documento de LaTeX que nos permite crear diapositivas en pdf
y otros formatos. Permite el uso de transiciones, mostrar elementos selectivamente en la
pantalla y aprovechar las capacidades de tikz, pgf y la mayoría de paquetes de LaTeX
para personalizar el aspecto de la presentación al detalle.
Puedes encontrar una guía básica escrita en beameraquí.
No he podido cubrir todo, así que otros recursos que puedes utilizar son:
Normalmente aplicamos inducción sobre los números naturales, y cuando
necesitamos aplicar inducción en otro contexto lo llevamos a los números
naturales. Por ejemplo, si queremos demostrar una propiedad sobre los árboles
binarios, la demostraríamos por inducción sobre la altura del árbol. Pero el
proceso de llevar todo a los naturales puede ser incómodo, tedioso y puede complicar
la demostración innecesariamente. En este post vamos a desarrollar una forma de
ampliar la inducción a la estructura de los tipos de datos para simplificar
todas esas demostraciones.
Conjuntos bien fundados
Vamos a definir las relaciones bien fundadas, que nos permitirán definir una
inducción generalizada. 1
Relación bien fundada
Una relación en un conjunto de elementos es bien fundada si todo subconjunto
no vacío tiene un elemento minimal. Dado un orden parcial, es bien fundado si
todo subconjunto no vacío tiene un elemento tal que ninguno es menor que él.
Y podemos realizar inducción sobre cualquier conjunto con una relación bien
fundada.
Inducción noetheriana
Sea un conjunto bien fundado con . Si se cumple:
Entonces .
Nótese que, en particular, esta condición exige que el mínimo de esté en .
El caso base es aquí un paso más de la inducción.