File:Agda proof.jpg
De Wikimedia Commons, el repositorio multimedia libre
Ir a la navegación
Ir a la búsqueda
Tamaño de esta previsualización: 800 × 532 píxeles. Otras resoluciones: 320 × 213 píxeles | 640 × 426 píxeles | 1024 × 681 píxeles | 1280 × 851 píxeles | 2653 × 1764 píxeles.
Archivo original (2653 × 1764 píxeles; tamaño de archivo: 555 kB; tipo MIME: image/jpeg)
Información del archivo
Datos estructurados
Leyendas
Resumen[editar]
DescripciónAgda proof.jpg | Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |
Fecha | |
Fuente | Trabajo propio |
Autor | Alexandre Buisse (Nattfodd) |
Licencia[editar]
I, Nattfodd, titular de los derechos de autor de esta obra, la publica en los términos de las siguientes licencias:
Se autoriza la copia, distribución y modificación de este documento bajo los términos de la licencia de documentación libre GNU, versión 1.2 o cualquier otra que posteriormente publique la Fundación para el Software Libre; sin secciones invariables, textos de portada, ni textos de contraportada. Se incluye una copia de la dicha licencia en la sección titulada Licencia de Documentación Libre GNU.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 3.0. | ||
Atribución: I, Nattfodd | ||
| ||
Esta etiqueta de licencia fue agregada a este archivo como parte de la actualización de la licencia GFDL.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
Este archivo se encuentra bajo la licencia Creative Commons de Atribución/Compartir-Igual 2.5 Genérica, 2.0 Genérica y 1.0 Genérica.
Atribución: I, Nattfodd
- Eres libre:
- de compartir – de copiar, distribuir y transmitir el trabajo
- de remezclar – de adaptar el trabajo
- Bajo las siguientes condiciones:
- atribución – Debes otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si realizaste algún cambio. Puedes hacerlo de cualquier manera razonable pero no de manera que sugiera que el licenciante te respalda a ti o al uso que hagas del trabajo.
- compartir igual – En caso de mezclar, transformar o modificar este trabajo, deberás distribuir el trabajo resultante bajo la misma licencia o una compatible como el original.
Puedes usar la licencia que prefieras.
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
---|---|---|---|---|---|
actual | 16:41 18 jun 2007 | 2653 × 1764 (555 kB) | Nattfodd (discusión | contribs.) | {{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff |
No puedes sobrescribir este archivo.
Usos del archivo
No hay páginas que enlacen a este archivo.
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en el.wikipedia.org
- Uso en en.wikipedia.org
- Uso en es.wikipedia.org
- Uso en eu.wikipedia.org
- Uso en fa.wikipedia.org
- Uso en ja.wikipedia.org
- Uso en pl.wikipedia.org
- Uso en pt.wikipedia.org
- Uso en tr.wikipedia.org
- Uso en uk.wikipedia.org
- Uso en ur.wikipedia.org
- Uso en www.wikidata.org
- Uso en zh.wikipedia.org
Metadatos
Este archivo contiene información adicional, probablemente añadida por la cámara digital o el escáner usado para crearlo o digitalizarlo.
Si el archivo ha sido modificado desde su estado original, pueden haberse perdido algunos detalles.
Fabricante de la cámara | NIKON CORPORATION |
---|---|
Modelo de cámara | NIKON D50 |
Autor | Alexandre Buisse |
Titular de los derechos de autor | (c) Alexandre Buisse |
Tiempo de exposición | 1/100 seg (0,01) |
Calificación de velocidad ISO | 200 |
Fecha y hora de la generación de los datos | 19:38 26 abr 2007 |
Resolución horizontal | 240 ppp |
Resolución vertical | 240 ppp |
Software usado | Ver.1.00 |
Fecha y hora de modificación del archivo | 18:30 18 jun 2007 |
Programa de exposición | Manual |
Versión de Exif | 2.21 |
Fecha y hora de la digitalización | 19:38 26 abr 2007 |
Velocidad de obturación APEX | 6,643856 |
Sesgo de exposición | 0 |
Valor máximo de apertura | 0 APEX (f/1) |
Modo de medición | Promedio centrado |
Fuente de luz | Desconocido |
Flash | No se disparó el flash |
Fecha y hora de la generación de los datos (precisión por debajo del segundo) | 30 |
Fecha y hora de la digitalización (precisión por debajo del segundo) | 30 |
Método de sensor | Sensor de área de color de un chip |
Procesador personalizado de imagen | Proceso normal |
Modo de exposición | Exposición manual |
Balance de blanco | Balance de blanco automático |
Razón de zoom digital | 1 |
Tipo de captura de escena | Estándar |
Contraste | Duro |
Saturación | Normal |
Agudeza | Normal |
Intervalo de distancia al sujeto | Desconocida |