Archivo:Agda_proof.jpg
De Wikipedia, la enciclopedia encyclopedia
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.
Ver la imagen en su resolución original (2653 × 1764 píxeles; tamaño de archivo: 555 kB; tipo MIME: image/jpeg)
Este es un archivo de Wikimedia Commons, un depósito de contenido libre hospedado por la Fundación Wikimedia. Más abajo se reproduce su página de descripción con la información sobre su origen y licencia. |
Resumen
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
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.
Elementos representados en este archivo
representa a
26 abr 2007
0,01 segundo
image/jpeg
901eccd8dba3b0571635d2eba84dafa3482a998e
568 619 byte
1764 píxel
2653 píxel
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 | {{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 |
Usos del archivo
Las siguientes páginas usan este archivo:
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en el.wikipedia.org
- Uso en en.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 |
Tiempo de exposición | 1/100 seg (0,01) |
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 |
Autor | Alexandre Buisse |
Titular de los derechos de autor | (c) Alexandre Buisse |
Programa de exposición | Manual |
Calificación de velocidad ISO | 200 |
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 |
Obtenido de «https://es.wikipedia.org/wiki/Archivo:Agda_proof.jpg»