Dosya:Agda proof.jpg - Vikipedi
İçeriğe atla
Ana menü
Gezinti
  • Anasayfa
  • Hakkımızda
  • İçindekiler
  • Rastgele madde
  • Seçkin içerik
  • Yakınımdakiler
Katılım
  • Deneme tahtası
  • Köy çeşmesi
  • Son değişiklikler
  • Dosya yükle
  • Topluluk portalı
  • Wikimedia dükkânı
  • Yardım
  • Özel sayfalar
Vikipedi Özgür Ansiklopedi
Ara
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç

Dosya:Agda proof.jpg

Sayfa içeriği diğer dillerde desteklenmemektedir.
  • Dosya
  • Tartışma
  • Oku
  • Wikimedia Commons üzerinde gör
  • Yerel açıklama ekle
  • Yerel açıklama kaynağı ekle
Araçlar
Eylemler
  • Oku
  • Wikimedia Commons üzerinde gör
  • Yerel açıklama ekle
  • Yerel açıklama kaynağı ekle
Genel
  • Sayfaya bağlantılar
  • Basılmaya uygun görünüm
  • Sayfa bilgisi
  • Kısaltılmış URL'yi al
  • Karekodu indir
Diğer projelerde
Görünüm
Vikipedi, özgür ansiklopedi
  • Dosya
  • Dosya geçmişi
  • Dosya kullanımı
  • Küresel dosya kullanımı
  • Üstveri
Dosya:Agda proof.jpg
Bu önizlemenin boyutu: 800 × 532 piksel. Diğer çözünürlükler: 320 × 213 piksel | 640 × 426 piksel | 1.024 × 681 piksel | 1.280 × 851 piksel | 2.653 × 1.764 piksel.
Tam çözünürlük ((2.653 × 1.764 piksel, dosya boyutu: 555 KB, MIME tipi: image/jpeg))
Bu dosya Wikimedia Commons'ta bulunmaktadır. Dosyanın açıklaması aşağıda gösterilmiştir.
Commons, serbest/özgür telifli medya dosyalarının bulundurulduğu depodur. Siz de yardım edebilirsiniz.
Bu dosya Wikimedia Commons'ta bulunmaktadır.

Özet

AçıklamaAgda 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.
Tarih 26 Nisan 2007
Kaynak Yükleyenin kendi çalışması
Yazar Alexandre Buisse (Nattfodd)

Lisanslama

I, Nattfodd, bu işin telif sahibi, burada işi aşağıdaki lisanslar altında yayımlıyor:
GNU head Bu belgenin GNU Özgür Belgeleme Lisansı, Sürüm 1.2 veya Özgür Yazılım Vakfı tarafından yayımlanan sonraki herhangi bir sürüm şartları altında bu belgenin kopyalanması, dağıtılması ve/veya değiştirilmesi için izin verilmiştir;

Değişmeyen Bölümler, Ön Kapak Metinleri ve Arka Kapak Metinleri yoktur. Lisansın bir kopyası GNU Özgür Belgeleme Lisansı sayfasında yer almaktadır.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

w:tr:Creative Commons
atıf benzer paylaşım 		Bu dosya, Creative Commons Atıf-Benzer Paylaşım 3.0 Taşınmamış lisansı ile lisanslanmıştır
Atıf:
I, Nattfodd
Şu seçeneklerde özgürsünüz:
  • paylaşım – eser paylaşımı, dağıtımı ve iletimi
  • içeriği değiştirip uyarlama – eser adaptasyonu
Aşağıdaki koşullar geçerli olacaktır:
  • atıf – Esere yazar veya lisans sahibi tarafından belirtilen (ancak sizi ya da eseri kullanımınızı desteklediklerini ileri sürmeyecek bir) şekilde atıfta bulunmalısınız.
  • benzer paylaşım – Maddeyi yeniden düzenler, dönüştürür veya inşa ederseniz, katkılarınızı özgünüyle aynı veya uyumlu lisans altında dağıtmanız gerekir.
Bu lisanslama etiketi, dosyaya GFDL lisanslama güncelleştirmenin bir parçası olarak eklenmiştir.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
w:tr:Creative Commons
atıf benzer paylaşım
Bu dosya Creative Commons Atıf-Benzer Paylaşım 2.5 Genel, 2.0 Genel ve 1.0 Genel lisansları ile lisanslanmıştır.
Atıf:
I, Nattfodd
Şu seçeneklerde özgürsünüz:
  • paylaşım – eser paylaşımı, dağıtımı ve iletimi
  • içeriği değiştirip uyarlama – eser adaptasyonu
Aşağıdaki koşullar geçerli olacaktır:
  • atıf – Esere yazar veya lisans sahibi tarafından belirtilen (ancak sizi ya da eseri kullanımınızı desteklediklerini ileri sürmeyecek bir) şekilde atıfta bulunmalısınız.
  • benzer paylaşım – Maddeyi yeniden düzenler, dönüştürür veya inşa ederseniz, katkılarınızı özgünüyle aynı veya uyumlu lisans altında dağıtmanız gerekir.
https://creativecommons.org/licenses/by-sa/2.5CC BY-SA 2.5 Creative Commons Attribution-Share Alike 2.5 truetrue
İstediğiniz lisansı seçebilirsiniz.

Altyazılar

Bu dosyanın temsil ettiği şeyin tek satırlık açıklamasını ekleyin.

Bu dosyada gösterilen öğeler

betimlenen

telif hakkı durumu

telif hakkı alınmış

telif hakkı lisansı

GNU Free Documentation License, version 1.2 or later İngilizce

Creative Commons Attribution-ShareAlike 1.0 Generic İngilizce

Creative Commons Atıf-AynıLisanslaPaylaş 3.0 Yerelleştirilmemiş

Creative Commons Atıf-AynıLisanslaPaylaş 2.5 Jenerik

Creative Commons Atıf-AynıLisanslaPaylaş 2.0 Jenerik

kuruluşu

26 Nisan 2007

ile çekildi

Nikon D50

deklanşör hızı

0,01 saniye

ISO hızı

200

ortam türü

image/jpeg

nedir

fotoğraf

dosya kaynağı

yükleyicinin orijinal eseri

sağlama toplamı

901eccd8dba3b0571635d2eba84dafa3482a998e

tespit yöntemi: SHA-1

dosya boyutu

568.619 bayt

boyu

1.764 piksel

genişliği

2.653 piksel

Dosya geçmişi

Dosyanın herhangi bir zamandaki hâli için ilgili tarih/saat kısmına tıklayın.

Tarih/SaatKüçük resimBoyutlarKullanıcıYorum
güncel16.41, 18 Haziran 200716.41, 18 Haziran 2007 tarihindeki sürümün küçültülmüş hâli2.653 × 1.764 (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

Dosya kullanımı

Bu görüntü dosyasına bağlantısı olan sayfalar:

  • Ayrık matematik

Küresel dosya kullanımı

Aşağıdaki diğer vikiler bu dosyayı kullanmaktadır:

  • el.wikipedia.org üzerinde kullanımı
    • Agda
  • en.wikipedia.org üzerinde kullanımı
    • Competitions and prizes in artificial intelligence
  • es.wikipedia.org üzerinde kullanımı
    • Demostración automática de teoremas
    • Competencias y premios en inteligencia artificial
  • eu.wikipedia.org üzerinde kullanımı
    • Teoremen frogapen automatiko
  • fa.wikipedia.org üzerinde kullanımı
    • ریاضیات گسسته
    • آگدا (زبان برنامه‌نویسی)
  • incubator.wikimedia.org üzerinde kullanımı
    • Wp/syl/ꠄꠉꠖꠣ
  • ja.wikipedia.org üzerinde kullanımı
    • 利用者:Foxtrot/Agda
    • Agda
  • nl.wikipedia.org üzerinde kullanımı
    • Agda
  • pl.wikipedia.org üzerinde kullanımı
    • Wikiprojekt:Informatyka/Brakujące artykuły z największą liczbą interwiki
  • pt.wikipedia.org üzerinde kullanımı
    • Prova automática de teoremas
  • sr.wikipedia.org üzerinde kullanımı
    • Automatsko dokazivanje teorema
  • syl.wikipedia.org üzerinde kullanımı
    • ꠄꠉꠖꠣ
  • uk.wikipedia.org üzerinde kullanımı
    • Agda
  • ur.wikipedia.org üzerinde kullanımı
    • متفرد ریاضی
  • www.wikidata.org üzerinde kullanımı
    • Q20479
    • Wikidata:WikiProject Informatics/Languages/List
  • zh.wikipedia.org üzerinde kullanımı
    • 自動化定理證明

Üstveri

Bu dosyada, muhtemelen fotoğraf makinesi ya da tarayıcı tarafından eklenmiş ek bilgiler mevcuttur. Eğer dosyada sonradan değişiklik yapıldıysa, bazı bilgiler yeni değişikliğe göre eski kalmış olabilir.

Kamera markasıNIKON CORPORATION
Kamera modeliNIKON D50
YazarAlexandre Buisse
Telif hakkı sahibi(c) Alexandre Buisse
Çekim süresi1/100 saniye (0,01)
ISO hız derecesi200
Verinin ilk yaratılma zamanı19.38, 26 Nisan 2007
Yatay çözünürlük240 dpi
Dikey çözünürlük240 dpi
Kullanılan yazılımVer.1.00
Dosya değişiklik tarihi ve zamanı18.30, 18 Haziran 2007
Poz ProgramıKılavuz
Exif sürümü2.21
Dijitalleştirme zamanı19.38, 26 Nisan 2007
APEX deklanşör hızı6,643856
Poz eğilim değeri0
Maksimum açıklık değeri0 APEX (f/1)
Ölçüm moduMerkez ağırlıklı ortalama
Işık kaynağıBilinmiyor
FlaşFlaş patlamadı
Orijinal alt-ikinci zamanı30
Dijitalize alt-ikinci zamanı30
Algılama metoduTek çipli renk alanı sensörü
Özel resim işlemiNormal işlem
Pozlama moduManüel pozlama
Beyaz dengeOtomatik beyaz denge
Dijital zoom oranı1
Sahne yakalama tipiStandart
KarşıtlıkSert
DoygunlukNormal
KeskinlikNormal
Özne mesafe menziliBilinmiyor
"https://tr.wikipedia.org/wiki/Dosya:Agda_proof.jpg" sayfasından alınmıştır
  • Gizlilik politikası
  • Vikipedi hakkında
  • Sorumluluk reddi
  • Davranış Kuralları
  • Geliştiriciler
  • İstatistikler
  • Çerez politikası
  • Mobil görünüm
  • Wikimedia Foundation
  • Powered by MediaWiki
Dosya:Agda proof.jpg
Konu ekle