ویکیپیڈیا

فائل:Agda proof.jpg

اصل فائل (2,653 × 1,764 پکسل، فائل کا حجم: 555 کلوبائٹ، MIME قسم: image/jpeg)

یہ فائل ویکی ذخائر کی ہے اور دیگر منصوبوں کے زیر استعمال ہوسکتی ہے۔ فائل کے صفحہ تعارف پر موجود تعارف ذیل میں موجود ہے۔

خلاصہ

تفصیل 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.
تاریخ
ماخذ ذاتی کام
مصنف Alexandre Buisse (Nattfodd)

اجازہ کاری

اس تخلیقی کام کے حقوق کا مالک I, Nattfodd اسے مندرجہ ذیل اجازت ناموں کے تحت شائع کرتا ہے:
GNU head آپ کو آزاد سافٹ ویئر فاؤنڈیشن کی جانب سے شائع کردہ جی این یو آزاد مسوداتی اجازت نامہ کی شرائط استعمال کے تحت اس دستاویز کو نقل، تقسیم اور/ یا ترمیم کرنے کی اجازت دی جاتی ہے۔ اس اجازت نامہ کی ایک نقل 'جی این یو آزاد مسوداتی اجازت نامہ کے عنوان سے میسر ہے۔
w:en:Creative Commons
انتساب یکساں شراکت 		اس ملف کا لائسنس Creative Commons Attribution-Share Alike 3.0 Unported کے تحط ہے۔
لگاؤ: I, Nattfodd
آپ آزاد ہیں:
  • شیئر کرنے – کام کو نقل، تقسیم یا منتقل کرنے کے لیے
  • ریمکس کے لیے – کام منبطق کرنے کے لیے
مندرجہ ذیل شرائط کے تحت:
  • انتساب – آپ کو اس کام کا انتساب مصنف یا اجازت دہندہ کے بتائے گئے طریقہ کے مطابق دینا ہوگا (تاہم یہ انتساب اس طرح نہیں ہونا چاہیے کہ اسے دیکھ کر ایسا محسوس ہو کہ اصل مصنف یا اجازت دہندہ آپ کے یا آپ کے ذریعہ اس کام کے استعمال کرنے کے حامی ہیں)۔
  • یکساں شراکت – اگر آپ اس کام میں کوئی تبدیلی یا ترمیم کرتے ہیں یا اس کام پر مبنی کچھ نیا بناتے ہیں تو اسے بھی آپ اسی یا اس جیسے کسی اجازت نامے کے تحت شائع کر سکتے ہیں۔
This licensing tag was added to this file as part of the GFDL licensing update.
w:en:Creative Commons
انتساب یکساں شراکت
This file is licensed under the Creative Commons Attribution-Share Alike 2.5 Generic, 2.0 Generic and 1.0 Generic license.
لگاؤ: I, Nattfodd
آپ آزاد ہیں:
  • شیئر کرنے – کام کو نقل، تقسیم یا منتقل کرنے کے لیے
  • ریمکس کے لیے – کام منبطق کرنے کے لیے
مندرجہ ذیل شرائط کے تحت:
  • انتساب – آپ کو اس کام کا انتساب مصنف یا اجازت دہندہ کے بتائے گئے طریقہ کے مطابق دینا ہوگا (تاہم یہ انتساب اس طرح نہیں ہونا چاہیے کہ اسے دیکھ کر ایسا محسوس ہو کہ اصل مصنف یا اجازت دہندہ آپ کے یا آپ کے ذریعہ اس کام کے استعمال کرنے کے حامی ہیں)۔
  • یکساں شراکت – اگر آپ اس کام میں کوئی تبدیلی یا ترمیم کرتے ہیں یا اس کام پر مبنی کچھ نیا بناتے ہیں تو اسے بھی آپ اسی یا اس جیسے کسی اجازت نامے کے تحت شائع کر سکتے ہیں۔
آپ حسب منشا اجازت نامہ منتخب کر سکتے ہیں۔

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

عکاسی

تاسیس

26 اپريل 2007

captured with انگریزی

Nikon D50 انگریزی

exposure time انگریزی

0.01 سیکنڈ

ISO speed انگریزی

200

media type انگریزی

image/jpeg

source of file انگریزی

original creation by uploader انگریزی

checksum انگریزی

901eccd8dba3b0571635d2eba84dafa3482a998e

طریق تعیین: SHA-1

data size انگریزی

568,619 لکمہ

قد

1,764 عکصر

اونچائی

2,653 عکصر

فائل کا تاریخچہ

کسی خاص وقت یا تاریخ میں یہ فائل کیسی نظر آتی تھی، اسے دیکھنے کے لیے اس وقت/تاریخ پر کلک کریں۔

تاریخ/وقتتھمب نیلابعادصارفتبصرہ
رائج الوقت16:41، 18 جون 2007ءمورخہ 16:41، 18 جون 2007ء کا تھمب نیل2,653 × 1,764 (555 کلوبائٹ)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

درج ذیل صفحہ اس فائل کو استعمال کر رہا ہے:

فائل کا عالمی استعمال

مندرجہ ذیل ویکیوں میں یہ فائل زیر استعمال ہے:

میٹا ڈیٹا

اِس فائل میں اِضافی معلومات شامل ہیں، جو شاید اُس ڈیجیٹل کیمرے یا اِسکینر سے آئی ہیں جس کے ذریعے یہ فائل بنائی گئی تھی۔

اگر فائل اپنی اصل حالت میں نہ ہو تو کچھ معلومات ترمیم شدہ فائل کی مکمل طور پر عکاسی نہیں کر پائیں گی۔

اخذ کردہ از «https://ur.wiki.x.io/wiki/فائل:Agda_proof.jpg»