קובץ:Predicate logic; 3 variables; sketch e3a(12).png

לקובץ המקורי (1,000 × 1,000 פיקסלים, גודל הקובץ: 78 ק"ב, סוג MIME‏: image/png)

זהו קובץ שמקורו במיזם ויקישיתוף וניתן להשתמש בו גם במיזמים אחרים.
פרטי הקובץ שמופיעים למטה נלקחו מדף תיאור הקובץ המקורי.

תקציר

תיאור A sketch for a formula in first order logic that has a 3-place predicate and coinciding variables, like e.g. for ∀x∃y Pxxy (or abbreviated: a(12) e3)
תאריך יצירה
מקור נוצר על־ידי מעלה היצירה
יוצר
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".


This file was created with POV-Ray, and uploaded with Commonist.

רישיון

אני, בעל זכויות היוצרים על היצירה הזאת, מפרסם אותה בזאת תחת הרישיונות הבאים:
GNU head מוענקת בכך הרשות להעתיק, להפיץ או לשנות את המסמך הזה, לפי תנאי הרישיון לשימוש חופשי במסמכים של גנו, גרסה 1.2 או כל גרסה מאוחרת יותר שתפורסם על־ידי המוסד לתוכנה חופשית; ללא פרקים קבועים, ללא טקסט עטיפה קדמית וללא טקסט עטיפה אחורית. עותק של הרישיון כלול בפרק שכותרתו הרישיון לשימוש חופשי במסמכים של גנו.
w:he:Creative Commons
ייחוס
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס 3.0 לא מותאם.
יש לך חופש:
  • לשתף – להעתיק, להפיץ ולהעביר את העבודה
  • לערבב בין עבודות – להתאים את העבודה
תחת התנאים הבאים:
  • ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
אפשר לבחור את הרישיון שמתאים לך.

כיתובים

נא להוסיף משפט שמסביר מה הקובץ מייצג

פריטים שמוצגים בקובץ הזה

מוצג

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

תאריך/שעהתמונה ממוזערתממדיםמשתמשהערה
נוכחית04:20, 23 בדצמבר 2010תמונה ממוזערת לגרסה מ־04:20, 23 בדצמבר 2010‪1,000 × 1,000‬ (78 ק"ב)Watchduck

שימוש גלובלי בקובץ

אתרי הוויקי השונים הבאים משתמשים בקובץ זה:

מטא־נתונים