stanford-oval/wikipedia huggingface dataset:
قبطرقلوی علیا

| قیدرقلوی علیا قبط قلو | قیدرقلوی علیا قبط قلو |
| --- | --- |
روستا: روستا
قیدرقلوی علیاموقعیت در ایراننمایش نقشه ایرانقیدرقلوی علیاقیدرقلوی علیا (استان فارس)نمایش نقشه استان فارس: قیدرقلوی علیاموقعیت در ایراننمایش نقشه ایرانقیدرقلوی علیاقیدرقلوی علیا (استان فارس)نمایش نقشه استان فارس
مختصات: ۲۹°۴۹′ شمالی ۵۲°۴۷′ شرقی﻿ / ﻿۲۹٫۸۱۷°شمالی ۵۲٫۷۸۳°شرقی﻿ / 29.817; 52.783: مختصات: ۲۹°۴۹′ شمالی ۵۲°۴۷′ شرقی﻿ / ﻿۲۹٫۸۱۷°شمالی ۵۲٫۷۸۳°شرقی﻿ / 29.817; 52.783
کشور: ایران
استان: فارس
شهرستان: شیراز
بخش: بخش زرقان
دهستان: زرقان
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
قبطرقلوی علیا، روستایی از توابع بخش زرقان شهرستان شیراز در استان فارس ایران است.
جمعیت

این روستا در دهستان زرقان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۶ نفر (۷خانوار) بوده‌است.
گلشن وصال

| 0 | 1 |
| --- | --- |
نویسنده(ها): علی روحانی وصال
موضوع(ها): شرح حال و آثار خاندان وصال شیرازی
ناشر: شرکت سهامی طبع کتاب
تاریخ نشر: ۱۳۱۹
شمار صفحات: ۵۷۹
گلشن وصال کتابی از علی روحانی وصال است که در آن نویسنده به شرح حال و آثار خاندان وصال شیرازی می‌پردازد. این کتاب در سال ۱۳۱۹ با مقدمه محمدعلی فروغی از سوی شرکت سهامی طبع کتاب منتشر شد و نشر نوید شیراز در سال ۱۳۸۵ با ت‍ن‍ظی‍م و ت‍ص‍ح‍ی‍ح م‍ح‍م‍ود طاووس‍ی آن را بازنشر کرد.
منطق جدایی

منطق جدایی (به انگلیسی: Separation Logic) تعمیمی از منطق هور (Hoare logic) است که هدف اصلی ابداع آن، بررسی و وارسی ریاضی برنامه‌هایی است که داده‌ها را در حافظه تغییر می‌دهند و خانه‌های مختلف از حافظه هستند که در معرض تحول هستند. این منطق توسط جان سی رینولدز, Peter O'Hearn, Samin Ishtiaq و Hongseok Yang معرفی شده‌است.
مفاهیم کلی

در برنامه‌هایی که از اشاره‌گر بهره می‌برند، استفاده از منطق‌های پیشین نظیر منطق هور ممکن نیست. علت آن است که در این‌جا، هر خانه از حافظه اهمیت دارد و باید زبان منطق مورد نظر، توانایی اشاره به قسمت‌های مختلف از حافظهٔ رایانه را داشته باشد. به این دلیل، نیاز به تعریف عملگری جدید حس شد. این احساس نیاز، منجر به تعریف عملگر  \ast  شد که به صورت شهودی یعنی دو عملوند آن، در قسمت‌های مجزا از حافظهٔ پشته هستند؛ لذا، با شکل‌گیری این منطق و ابزارهای آن، وارسی الگوریتم‌ها و برنامه‌های موازی امکان‌پذیر شده‌است.
اعلان‌ها

منظور ما در این‌جا از حالت، وضعیت مقادیر موجود در حافظهٔ تصادفی و همچنین حافظهٔ پشته است. اعلان  P در منطق جدایی، تعدادی حالت را مشخص می‌کند که در آن‌ها  P درست است. با تعریف استقرایی ساختار لغوی منطق جدایی، عبارت  P\ast Q حالاتی را مشخص می‌کند که  P در یک قسمت از ساختار حافظهٔ تصادفی/پشته و  Q در قسمتی کاملاً مجزا از آن درست باشد. پس تعریف استقرایی زبان منطق به این صورت است:
گزارهٔ  \mathbf {e} \mathbf {m} \mathbf {p}  یک پشتهٔ خالی را نشان می‌دهد. یعنی پشته‌ای که هیچ خانهٔ آن، به متغیری اختصاص داده نشده باشد.
عملگر دوتایی  \mapsto  نشان‌دهندهٔ یک اشاره‌گر است. یعنی متغیری به خانه‌ای از حافظه اشاره می‌کند.
عملگر دوتایی  \ast  نشان‌دهندهٔ درستی دو عبارت در دو قسمت مجزای حافظه است.
عملگر دوتایی  -\!\!\ast  به این معنا است که اگر بتوانیم حافظه را طوری گسترش دهیم که عملگر اول برقرار باشد، عملگر دوم نیز ناگزیر برقرار است.
حال می‌توان این عملگرها را در مفاهیم منطق مرتبهٔ اول به کار برد و با آن عباراتی در مورد تأثیر یک برنامه بر حافظه گفت یا در بیان مشخصات حافظه استفاده کرد.
استدلال و استنتاج

در این منطق هم مانند دیگر منطق‌ها می‌توان اصول استنتاج تعریف و طبق آن‌ها استدلال کرد. برای مثال طبق تعریف عملگر  -\!\!\ast ، داریم:
 {\frac {s,h\models P\ast (P-\!\!\ast \,Q)}{s,h\models Q}}
تمامی قواعد استنتاج در منطق هور، در منطق جدایی هم معتبر هستند؛ و همچنین در این منطق، قاعدهٔ قاب هست که برای سه‌تایی‌های هور تعریف می‌شود. یک سه‌تایی هور، به شکل کلی
 \{P\}\ C\ \{Q\} است که یعنی اگر، حافظه قبل از اجرای برنامهٔ  C، در حالت  P باشد، پس از اجرای آن به حالت  Q می‌رود. حال طبق قاعدهٔ قاب داریم:
{\frac {\{P\}\ C\ \{Q\}}{\{P\ast R\}\ C\ \{Q\ast R\}}}
به‌وسیلهٔ این قاعده، می‌توان استدلالات محلی در مورد حافظه را گسترش داد و در مورد بخش بزرگ‌تری از حافظه صحبت کرد. استدلال محلی برای یک برنامهٔ  C، یعنی استدلال در مورد تمامی متغیرها و خانه‌های حافظه که توسط  C تغییر می‌یابند. این‌ها را O'Hearn، ردپای  C می‌نامد. او بیان می‌دارد که:
«برای فهم رفتار یک برنامه، باید در مورد خانه‌هایی اطلاع کسب کنید که توسط آن برنامه تغییر می‌یابند. ارزش دیگر خانه‌ها به صورت خودبه‌خود ثابت باقی می‌ماند.»
ابزارهای وارسی مدلّ‌ها و تحلیل برنامه‌ها

منطق جدایی به دلیل کاربرد در درستی‌یابی برنامه‌های کامپیوتری، عملکرد وسیعی در ابزارهای مختلف وارسی مدل‌ها و همچنین کاربردهای صنعتی دارد. به‌نحوی‌که O'Hearn که از مبدعین این منطق بوده، از سال ۲۰۱۳ در شرکت فیسبوک مشغول به کار است.
به صورت کلی، ابزارهایی که از منطق جدایی استفاده می‌کنند در دسته‌های مختلف هستند:
تحلیل خودکار برنامه‌ها: این دسته از ابزارها، تلاش می‌کنند تا به صورت خودکار تحلیل‌هایی را در مورد ساختار، تأثیر و معنای برنامه‌ها انجام دهند. به‌طور مثال شرکت فیسبوک از ابزار Facebook Infer استفاده می‌کند که در این دسته جای می‌گیرد.
اثبات‌ها تعاملی: در این دسته، سعی بر آن است که با استفاده از قواعد استنتاج از پیش تعیین شده به اثبات‌های ریاضی برای عبارات در منطق جدایی برسیم. در حقیقت، این ابزارها جایگزین تلاش‌های طولانی افراد برای درستی‌یابی عبارات هستند. از نمونهٔ این ابزارها، اثبات‌کنندهٔ Coq است که دستهٔ وسیعی از عبارات، از ساده تا پیچیده را در بر می‌گیرد. Coq، در حقیقت یک زبان برنامه‌نویسی است که به‌وسیلهٔ آن می‌توان اعلان‌های مختلف را بیان کرد.
ابزارهای بینابین: این گروه، رویکردی مخلوط از اثبات‌کننده و تحلیل‌گر دارند. به این صورت که با دریافت برخی ویژگی‌ها، ویژگی‌های دیگر را می‌یابند و برای درستی آن‌ها اثبات ارائه می‌دهند. یک نمونه از این الگوریتم‌ها، مسئلهٔ قیاس دوگانه است. در این مسئله، به دنبال یافتن پیش‌شرط کافی برای به دست آوردن شرایط پس از اجرای یک برنامه هستیم. یک نمونه از این ابزارها، Smallfoot است که جزو نخستین نسل از آن‌هاست.
شکل عبارت  x\mapsto 3,y در حافظه
شکل عبارت  x\mapsto 3,y\ast y\mapsto 3,x در حافظه
گرانت اسمیت (ورزشکار)

گرانت اسمیت (انگلیسی: Grant Smith؛ زادهٔ ۲۰ آوریل ۱۹۷۱) ورزشکار هاکی روی چمن اهل استرالیا است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
فهرست جزایر جمهوری آذربایجان
جزایری که در مجمع الجزایر باکو هستند

جزیره نارگین
جزیره وولف
جزیره قوم
جزیره تاوا
جزایری که از گروه اصلی جدا هستن

جزیره گیل
زنبیل (جزیره)
سنگ مغان
چیکیل
قره‌سو
خره‌زیره
جزیره Qutan
کورداشی
جزیره شنی
جزیره Adsiz Ada
در مجمع الجزایر باکو نیستند

چیلوف
پیراللهی
سوینوی
گرگتی

| گرگتی | گرگتی |
| --- | --- |
View of a portion of the Gergeti Glacier within the کاسه آتشفشانی of Mt. Kazbek: View of a portion of the Gergeti Glacier within the کاسه آتشفشانی of Mt. Kazbek
موقعیت گرگتی در نقشهنمایش نقشه Mtskheta-Mtianetiگرگتی (گرجستان)نمایش نقشه گرجستان: موقعیت گرگتی در نقشهنمایش نقشه Mtskheta-Mtianetiگرگتی (گرجستان)نمایش نقشه گرجستان
گونه: ریخت‌شناسی یخچال طبیعی
مکان: گرجستان
مساحت: ۱۱ کیلومتر مربع (۲٬۷۱۸ جریب فرنگی)
طول: ۷٫۱ کیلومتر (۴ مایل)
گرگتی (به لاتین: Gergeti) یک یخچال طبیعی است که در گرجستان واقع شده‌است.
قاموس کتاب مقدس

قاموس کتاب مقدس یک کتاب مرجع در زمینه اعلام و واژگان کتاب مقدس است که توسط جیمز هاکس مبلغ مسیحی گردآوری شده بود و برای چندین دهه تنها مرجع فارسی در این زمینه بود. دهخدا در لغت نامه خود، در مورد اعلام کتاب مقدس در هر مدخل به آن ارجاع داده‌است. این کتاب نخستین بار در مطبعه آمریکائی بیروت ۱۹۲۸م چاپ شده.
شامل لغات کتاب مقدس عهد عتیق (تورات) و عهد جدید (انجیل)، رسایل و نوشته‌های دینی اولیا، مذاهب یهود و مسیحیت است. ذیل هر لغت، شرحی از آن به همراه مرجع لغت آمده‌است. این مجموعه در یک جلد و به ترتیب حروف الفبای فارسی تدوین یافته و در سال ۱۳۷۷ توسط نشر اساطیر در تهران منتشر شده‌است.
ناشران

مطبعه آمریکائی بیروت
نشر اساطیر
کتابخانه طهوری
موضوع "پسر انسان"

در این کتاب به بررسی لغت "پسر انسان" (در نسخه انگلیسی Son of Man) نیز پرداخته شده است. هاکس اشاره می کند که كلمه پسر انسان 80 بار در انجيل آمده كه فقط 30 مورد آن با عيسی مسیح منطبق است. بعضی از نظریه پردازان مسلمان گفتند که 50 مورد باقی مانده می‎تواند از مصلح نجات دهنده‌ای سخن بگوید كه در آخرالزمان ظهور خواهد كرد.
گاوکرن

گاوکرن یا گائوکرن یا گائوکرنا، در افسانه‌های فارسی زبان و ایرانی، اسطوره ای از گیاه هوم بود که با نام گئوکرن توانا نیز خوانده می‌شد. این اسطوره [که با عنوان درخت شگفت‌انگیز گئوکرن نیز خوانده شده]، هرگاه که خورده شود، دارای خواص شفابخش خواهد بود و همچنین از طریق احیاء بدنهای مُرده، جاودانگی را اعطا خواهد نمود. همچنین عصاره یا افشره‌ای که از میوه این درخت حاصل می‌شود، حاوی اکسیر جاودانگی خواهد بود. به لحاظ لغوی نام گئوکرن، به معنای «شاخ گاو» می‌باشد.
اهریمن یا شیطان، به‌طور طبیعی در تلاش است تا این درخت طول عمر را نابود سازد و با یورش بدان، شکل مارمولک یا قورباغه به آن بدهد، اما آن درخت توسط ده ماهی کارا و همچنین توسط یک الاغ که دارای نُه دهان و شش چشم است [همان خر سه پا]، محافظت می‌شود.
در قیامت، کسانی که از آب حیات بخش این گیاه می‌نوشند، بهروزی و رفاه کامل، و از جمله نامیرایی را دریافت می‌کنند.
ارتباط با سیمرغ

در منابع مربوط به اساطیر ایران، آشیان سیمرغ در البرزکوه اسطوره‌ای قرار دارد امّا در آثار زرتشتی، گفته شده که آشیان و قرارگاه سیمرغ بر فراز درخت شگفت‌انگیز گاوکرن یا درختی در میانهٔ دریای فراخکرد، واقع است. این درخت دربردارندهٔ تخمه همه رستنی‌ها است. هرگاه سیمرغ از این درخت برمی‌خیزد، هزار شاخه از درخت می‌روید و هرگاه که بر درخت می‌نشیند، هزار شاخهٔ درخت می‌شکند و با پراکنده شدن تخمه‌ها، گیاهان مختلف از این تخمک‌ها هستی می‌یابند.
گلشن کومار

| گلشن کومار دوا | گلشن کومار دوا |
| --- | --- |
نام هنگام تولد: گلشن کومار دوا
زادهٔ: ۵ مهٔ ۱۹۵۶ New Delhi, Delhi, India
درگذشت: ۱۲ اوت ۱۹۹۷ (۴۱ سال) Mumbai, Maharashtra, India
علت مرگ: برخورد گلوله به قسمت بالای بدن و سر
ملیت: هندی
تحصیلات: کالج دشبندیو, دانشگاه دهلی
پیشه(ها): اهالی کسب‌وکار, تهیه‌کننده فیلم
سال‌های فعالیت: ۱۹۷۲ – ۱۹۹۷ (مرگ)
همسر: سودش کومار دوا (۱۹۷۵-۱۹۹۷)
فرزندان: بوشان کومار (پسر) تولسی کومار (دختر) Khushali Kumari Dua (دختر)
خویشاوندان: Krishan Kumar Dua (برادر جوان‌تر)
گلشن کومار دوا (۵ می ۱۹۵۶ - ۱۲ آگوست ۱۹۹۷)، معروف به گلشن کومار، بنیانگذار ناشر موسیقی تی-سریز و تولید کننده فیلم بالیوود بود . او تی سریز را در دهه ۱۹۸۰ تاسیس کرد.
کنوانسیون رفع هرگونه تبعیض علیه زنان

سبز: اعضای کنوانسیون، سبز تیره: اعضایی که در تدوین کنوانسیون نقشی نداشته‌اند، زرد: کنوانسیون را امضا کرده ولی در مجلس تصویب نکرده‌اند، قرمز: کشورهای غیرعضو
کنوانسیون امحای کلیه اشکال تبعیض علیه زنان یا کنوانسیون رفع هر گونه تبعیض علیه زنان یک معاهده بین‌المللی است که در ۱۸ دسامبر ۱۹۷۹ مورد پذیرش مجمع عمومی سازمان ملل متحد قرار گرفت و در ۳ سپتامبر ۱۹۸۱ (سی روز پس از تودیع بیستمین سند تصویب یا الحاق) به اجرا درآمد.
از بین اعضای سازمان ملل تاکنون تنها شش کشور ایران، سومالی، سودان، تونگا به این کنوانسیون ملحق نشده‌اند. دو کشور ایالات متحده آمریکا و پالائو هم کنوانسیون را امضاء کرده ولی هنوز به آن نپیوسته‌اند. از بین کشورهای غیر عضو سازمان ملل هم سریر مقدس (واتیکان) به کنوانسیون نپیوسته ولی جمهوری چین (تایوان) به آن پیوسته هرچند این کنوانسیون مختص اعضای ملل متحد است و عضویت تایوان غیررسمی است. دولت فلسطین به عنوان ناظر غیر عضو سازمان ملل در تاریخ ۲ آوریل ۲۰۱۴ به این کنوانسیون پیوست. نائورو و قطر به ترتیب در ۲۳ ژوئن ۲۰۱۱ و ۲۹ آوریل ۲۰۰۹ به این کنوانسیون پیوسته‌اند. سودان جنوبی آخرین مورد پیوستن به این کنوانسیون را در تاریخ ۳۰ آوریل ۲۰۱۵ رقم زد.
این کنوانسیون مهم‌ترین معاهده ملل متحد در مورد تبعیض جنسیتی است و تبعیض جنسیتی را این‌گونه تعریف می‌کند:
«قائل شدن به هرگونه تمایز، استثناء یا محدودیت بر مبنای جنسیت… در زمینه‌های سیاسی، اقتصادی، اجتماعی، فرهنگی، مدنی یا هر زمینه دیگر»
کمیته رفع تبعیض علیه زنان

کمیته رفع تبعیض علیه زنان نهادی برای نظارت بر حسن اجرای این معاهده‌است که به موجب ماده ۱۷ کنوانسیون تأسیس شده و دارای ۲۲ عضو است. وظیفه اصلی این کمیته بررسی گزارش‌های رسیده از کشورهای عضو کنوانسیون و در ارائه پیشنهادها یا توصیه‌های کلی بر اساس بررسی گزارش‌هاست. گزارش به کمیته باید یک سال پس از تصویب یا الحاق و پس از آن هر چهار سال یک‌بار یا هرگاه که کمیته بخواهد صورت پذیرد.
پروتکل اختیاری

پروتکل اختیاری کنوانسیون امحای کلیه اشکال تبعیض علیه زنان یک قرارداد جنبی کنوانسیون است که دولت‌های عضو آن صلاحیت را در رسیدگی به شکایات اشخاص می‌پذیرند. این پروتکل در اکتبر ۱۹۹۹ مورد پذیرش مجمع عمومی سازمان ملل متحد قرار گرفت و از دسامبر ۲۰۰۰ به اجرا درآمد و تاکنون ۱۰۹ کشور به آن پیوسته یا آن را امضاء کرده‌اند.
مواد پیمان نامه

کنوانسیون رفع هر گونه تبعیض علیه زنان
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی)

مجمع عمومی سازمان ملل متحد(۲۲)
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی) > مقدمه

دول عضو کنوانسیون حاضر، با عنایت به اینکه منشور ملل متحد برپایبندی به حقوق اساسی بشر، کرامت و ارزش هر فرد انسانی و برابری حقوق زن و مرد تأکید دارد.
با عنایت به اینکه اعلامیه جهانی حقوق بشر اصل قابل قبول نبودن تبعیض را تأیید نموده، اعلام می‌دارد که کلیه افراد بشر آزاد به دنیا آمده و از نظر منزلت و حقوق یکسان بوده و بدون هیچگونه تمایزی، از جمله تمایزات مبتنی بر جنسیت، حق دارند از کلیه حقوق و آزادیهای مندرج در این اعلامیه بهره‌مند شوند،
با عنایت به اینکه دول عضو میثاقهای بین‌المللی حقوق بشر متعهد به تضمین حقوق برابر زنان و مردان در بهره‌مندی از کلیه حقوق اساسی، اجتماعی، فرهنگی، مدنی و سیاسی می‌باشند،
با در نظر گرفتن کنوانسیونهای بین‌المللی که تحت نظر سازمان ملل متحد و سازمان‌های تخصصی به منظور پیشبرد تساوی حقوق زنان و مردان منعقد گردیده‌اند،
همچنین با عنایت به قطعنامه‌ها، اعلامیه‌ها و توصیه‌هایی که توسط ملل متحد و سازمان‌های تخصصی برای پیشبرد تساوی حقوق زنان و مردان تصویب شده‌است،
در عین حال، با نگرانی از اینکه به رغم این اسناد متعدد، تبعیضات علیه زنان همچنان به‌طور گسترده ادامه دارد، با یادآوری اینکه تبعیض علیه زنان ناقض اصول برابری حقوق و احترام به کرامت انسانی است و مانع شرکت زنان در شرایط مساوی با مردان در زندگی سیاسی، اجتماعی، اقتصادی و فرهنگی کشور و نیز گسترش سعادت جامعه و خانواده شده و شکوفایی کامل قابلیت‌ها و استعدادهای زنان در خدمت به کشور و بشریت را دشوارتر می‌نماید،
با نگرانی از اینکه در شرایط فقر و تنگدستی زنان از حداقل امکان دسترسی به مواد غذایی، بهداشت، تعلیم و تربیت و فرصتهای شغلی و سایر نیازها برخوردارند،
با اعتقاد بر اینکه تأسیس نظام نوین اقتصاد بین‌الملل براساس مساوات و عدالت در تحقق پیشبرد برابری بین مردان و زنان نقش مهمی را ایفاء می‌نماید،
با تأکید بر اینکه ریشه‌کن کردن آپارتاید، اشکال مختلف نژادپرستی، تبعیض‌نژادی، استعمار، استعمارنو، تجاوز، اشغال و سلطه و دخالت خارجی در امور داخلی دولت‌ها مستلزم تحقق کامل حقوق مردان و زنان می‌باشد،
با تأیید بر اینکه تحکیم صلح و امنیت بین‌المللی، تشنج‌زدایی بین‌المللی، همکاری‌های متقابل دول صرف نظر از نظام‌های اجتماعی و اقتصادی آنان، خلع سلاح کامل و عمومی و به ویژه خلع سلاح اتمی تحت نظارت و کنترل دقیق و مؤثر بین‌المللی، تأکید بر اصول عدالت، مساوات و منافع متقابل در روابط بین کشورها و احقاق حق مردم تحت سلطه استعمار و بیگانه و اشغال خارجی به دستیابی به حق تعیین سرنوشت و استقلال و همچنین احترام به حاکمیت ملی و تمامیت ارضی باعث توسعه و پیشرفت اجتماعی خواهد شد و در نتیجه به دستیابی به مساوات کامل بین مردان و زنان کمک خواهد کرد،
با اعتقاد بر اینکه توسعه تمام و کمال یک کشور، رفاه جهانی و برقراری صلح مستلزم شرکت یکپارچه زنان در تمام زمینه‌ها در شرایط مساوی با مردان است،
با یادآوری سهم عمده زنان در تحقق رفاه خانواده و پیشرفت جامعه، که تاکنون کاملاً شناسایی نشده‌است، اهمیت اجتماعی مادری و نقش والدین در خانواده و در تربیت کودکان، و با آگاهی از اینکه نقش زنان در تولید مثل نباید اساس تبعیض قرار گیرد بلکه تربیت کودکان مستلزم تقسیم مسئولیت بین زن و مرد و جامعه به‌طور کلی می‌باشد،
با اطلاع از اینکه تغییر در نقش سنتی مردان و زنان در جامعه و خانواده برای دستیابی به مساوات کامل میان زنان و مردان ضروری است،
با عزم بر اجرای اصول مندرج در اعلامیه محو تبعیض علیه زنان و در این راستا اتخاذ اقدامات ضروری برای از میان برداشتن این گونه تبعیض‌ها در اشکال و صور آن، بر مقررات زیر توافق کرده‌اند:
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی) > بخش ۱

ماده ۱
از نظر این کنوانسیون، عبارت: «تبعیض علیه زنان»، به معنی قائل شدن هر گونه تمایز، استثناء یا محدودیت براساس جنسیت است که بر به رسمیت شناختن حقوق بشر زنان و آزادیهای اساسی آن‌ها و بهره‌مندی و اعمال آن حقوق، برپایه مساوات با مردان، صرف‌نظر از وضعیت تأهل آنها، در تمام زمینه‌های سیاسی، اقتصادی، اجتماعی، فرهنگی، مدنی و دیگر زمینه‌ها اثر مخرب دارد یا اصولاً، هدفش از بین بردن این وضعیت است.
ماده ۲
دولتهای عضو، تبعیض علیه زنان را به هر شکل محکوم می‌نمایند و موافقت می‌نمایند بدون درنگ، به طرق مقتضی، سیاست رفع تبعیض علیه زنان را تعقیب نمایند و بدین منظور، بر امور زیر تعهد می‌نمایند:
الف: گنجاندن اصل مساوات زن و مرد در قانون اساسی یا دیگر قوانین متناسب داخلی خود، اگر تاکنون چنین کاری انجام نشده و حصول اطمینان از تحقق عملی این اصل، از طریق وضع قانون (منظور قوانین عادی لازم‌الاجراست) و طرق مناسب دیگر.
ب: اتخاذ تدابیر قانونی و غیره از جمله وضع ضمانت اجراهای مناسب به منظور جلوگیری از اعمال تبعیض علیه زنان.
ج: حمایت قانون از حقوق زنان براساس تساوی با مردان و حصول تضمین و اطمینان از حمایت مؤثر زنان علیه هر نوع تبعیض، از طریق دادگاه‌های صالح ملی و دیگر مؤسسات عمومی.
د: خودداری از انجام هر گونه اقدام و عمل تبعیض‌آمیز علیه زنان و تضمین اینکه مقامات و مؤسسات عمومی بر طبق این تعهد عمل نمایند.
ه: اتخاذ هر گونه اقدام مناسب برای رفع تبعیض علیه زنان توسط هر فرد، سازمان یا مؤسسه.
و: اتخاذ تدابیر لازم، از جمله تدابیر قانونگذاری، برای تغییر یا لغو قوانین، مقررات، عادات و عملکردهایی که نسبت به زنان تبعیض‌آمیز هستند.
ز: نسخ کلیه مقررات کیفری داخلی که تبعیض علیه زنان را دربردارند.
ماده ۳
دولتهای عضو در همه زمینه‌ها، مخصوصاً در زمینه‌های سیاسی، اجتماعی، اقتصادی و فرهنگی، تمام اقدام‌های لازم از جمله قانونگذاری را اعمال خواهند کرد، تا از توسعه و پیشرفت کامل زنان اطمینان حاصل کنند و در نتیجه، برخورداری زنان را از حقوق بشر و آزادیهای اساسی بر پایه تساوی با مردان تضمین کنند.
ماده ۴
پذیرش تدابیر ویژه موقتی که به منظور تسریع برابری موقت میان مردان و زنان توسط دولتهای عضو صورت می‌گیرد نباید به عنوان تبعیض به نفع زنان آنچنان که در این کنوانسیون تعریف شده‌است تلقی گردد ولی به هیچوجه نباید منتج به حفظ استانداردهای جداگانه یا نامساوی بشود، این اقدامات و تدابیر هنگامی که اهداف برابری فرصت‌ها و برخورد مساوی زنان با مردان حاصل شد متوقف خواهد گردید.
همچنین اقدامات ویژه‌ای که توسط دولتهای عضو صورت می‌گیرد از جمله تدابیری که در این کنوانسیون وجود دارد و هدف آن حمایت از ایفای نقش مادری زنان است نباید تبعیض‌آمیز تلقی گردد.
ماده ۵
دولتهای عضو، اقدامات مقتضی زیر را به عمل خواهند آورد:
الف: تغییر الگوهای رفتاری اجتماعی و فرهنگی مردان و زنان به منظور دستیابی به برانداختن تعصبات، عادات و دیگر روش‌های عملی که بر طرز تفکر پست‌نگری یا برتربینی یک جنس نسبت به جنس دیگر یا نقش کلیشه‌ای زنان و مردان مبتنی است.
ب: حصول اطمینان از اینکه تعلیم و تربیت خانواده، شامل درک صحیح از مادری به عنوان یک وظیفه اجتماعی و شناسایی مسئولیت مشترک زن و مرد در تربیت و رشد کودکان می‌شود.
این امر را هم باید درک کرد که منافع کودکان در همه موارد از اولویت برخوردار است.
ماده ۶
دولت‌های عضو باید به هر نوع اقدام مقتضی از جمله وضع قانون دست بزنند تا از هر گونه معامله بر روی زنان و بهره‌برداری از فحشای آن‌ها جلوگیری نمایند.
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی) > بخش ۲

ماده ۷
دولتهای عضو کنوانسیون موظف‌اند اقدامات مقتضی برای رفع تبعیض علیه زنان در زندگی سیاسی و عمومی کشور، اتخاذ نموده و مخصوصاً اطمینان دهند که در شرایط مساوی با مردان، حقوق زیر را برای زنان تأمین کنند:
الف: حق رأی دادن در همه انتخابات و همه‌پرسی‌های عمومی و صلاحیت انتخاب شدن در همة ارگانهایی که با انتخابات عمومی برگزیده می‌شوند.
ب: حق شرکت در تعیین سیاست دولت و اجرای آن‌ها و به عهده گرفتن پست‌های دولتی و انجام وظایف عمومی در تمام سطوح دولتی.
ج: حق شرکت در سازمان‌ها و انجمن‌های غیردولتی مربوط به زندگی عمومی و سیاسی کشور.
ماده ۸
دولت‌های عضو باید اقدامات مناسب و مقتضی برای اطمینان و تضمین این امر فراهم آورند که زنان در شرایط مساوی با مردان و بدون هیچگونه تبعیض بتوانند نمایندگی دولت خود را در سطح بین‌المللی احراز کنند و در کارهای سازمان‌های بین‌المللی مشارکت داشته باشند.
ماده ۹
دولتهای عضو، به زنان حقوق مساوی با مردان در زمینه کسب، تغییر یا حفظ تابعیت می‌دهند، مخصوصاً دولت‌ها باید اطمینان دهند و تضمین کنند، که نه ازدواج زن با یک مرد خارجی و نه تغییر تابعیت شوهر در طی دوران ازدواج، خودبخود، موجب تغییر تابعیت زن، بی تابعیت شدن او یا تحمیل تابعیت شوهر بر او نمی‌شوند.
دولتهای متعاهد باید در رابطه با تابعیت کودکان به زن، حق مساوی با مرد اعطاء کنند.
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی) > بخش ۴

ماده ۱۵
دولت‌های عضو، تساوی زنان را با مردان در برابر قانون می‌پذیرند.
دولتهای عضو، در امور مدنی، همان اهلیت قانونی را که مردان دارند به زنان داده و امکانات مساوی برای اجرای این اهلیت را در اختیار آن‌ها قرار می‌دهند. مخصوصاً دولتهای عضو به زنان حقوق مساوی با مردان را در انعقاد قرارداد و اداره اموال می‌دهند و در تمام مراحل دادرسی در دادگاه‌ها و محاکم با آن‌ها رفتار یکسان خواهند داشت.
دولتهای عضو قبول می‌کنند که هر گونه قرار داد یا اسناد خصوصی دیگر از هر نوع که به منظور محدود کردن صلاحیت قانونی زنان تنظیم شده باشد باطل و بلا اثر تلقی می‌شود.
دولتهای عضو می‌پذیرند که در رابطه با قانون رفت‌وآمد اشخاص و انتخاب مسکن و محل اقامت، زن و مرد از حق مساوی برخوردار باشند.
ماده ۱۶
۱. دولتهای عضو باید اقدام‌های لازم را برای رفع تبعیض علیه زنان در همه امور مربوط به ازدواج و روابط خانوادگی به عمل آورند و مخصوصاً برپایه تساوی حقوق مرد و زن امور زیر را تضمین کنند:
الف: حق یکسان برای انعقاد ازدواج
ب: حق یکسان برای انتخاب آزادانه همسر و انعقاد ازدواج براساس رضایت آزاد و کامل طرفین.
ج. حقوق و مسئولیت‌های یکسان در دوران ازدواج و هنگام انحلال آن.
د: حقوق و مسئولیتهای یکسان به عنوان والدین، قطع نظر از وضعیت زناشویی آنها، در موضوعات مربوط به فرزندان، در تمام موارد، منافع کودکان در اولویت است.
ه: حقوق مساوی برای تصمیم‌گیری آزادانه و مسئولانه در زمینه تعداد فرزندان و فاصله زمانی بارداری و دسترسی به اطلاعات، آموزش، و وسایلی که آن‌ها را برای اعمال این حقوق قادر سازند.
و: حقوق و مسئولیت یکسان در رابطه با ولایت، حضانت، قیومت کودکان و فرزندخواندگی یا هر گونه عناوین و مفاهیم مشابهی که در قوانین داخلی وجود دارد. در تمام موارد، منافع کودکان در اولویت است.
ز: حقوق شخصی یکسان به عنوان شوهر و زن از جمله حق انتخاب نام خانوادگی، حرفه و شغل.
ح: حقوق یکسان برای هر یک از زوجین در رابطه با مالکیت، اکتساب، مدیریت، سرپرستی، بهره‌برداری و در اختیار داشتن اموال خواه مجانی یا با داشتن هزینه.
۲. نامزد کردن و تزویج کودکان، قانوناً بلا اثر خواهد بود و هر گونه اقدام لازم، از جمله وضع قانون جهت تعیین حداقل سن برای ازدواج و ثبت اجباری ازدواج در یک دفتر رسمی باید اتخاذ شود.
مصوب ۱۸ دسامبر ۱۹۷۹ میلادی (مطابق با ۲۸/۹/۱۳۵۸ شمسی) > بخش ۶

ماده ۲۳
هیچ‌چیز در این کنوانسیون بر مقرراتی که برای دستیابی زنان و مردان به برابری مفیدتر و مؤثرتر وجود دارد تأثیر نخواهد گذاشت، این مقررات می‌تواند شامل موارد زیر باشد:
الف: قوانین یک دولت عضو، یا
ب: هر کنوانسیون، پیمان یا موافقت نامه بین‌المللی دیگری که برای آن دولت لازم‌الاجرا است.
ماده ۲۴
دول عضو متعهد می‌گردند کلیه اقدام‌های لازم در سطح ملی را که هدف از آن تحقق کامل حقوق به رسمیت شناخته شده در این کنوانسیون می‌باشد، به عمل آورند.
ماده ۲۵
این کنوانسیون برای امضای کلیه دول مفتوح می‌باشد.
دبیرکل ملل متحد به عنوان امین این کنوانسیون تعیین می‌شود.
تصویب این کنوانسیون منوط به طی مراحل تصویب قانونی است. اسناد تصویب نزد دبیرکل ملل متحد به امانت گذارده خواهد شد.
این کنوانسیون جهت الحاق دول مفتوح می‌باشد. الحاق با سپردن سند الحاق به دبیرکل ملل متحد محقق می‌شود.
ماده ۲۶
دول عضو می‌توانند در هر زمان طی نامه‌ای خطاب به دبیرکل ملل متحد درخواست تجدید نظر در این کنوانسیون را نمایند.
مجمع عمومی ملل متحد در مورد اقدامات احتمالی بعدی در مورد چنین درخواستی تصمیم خواهد گرفت.
ماده ۲۷
این کنوانسیون سی روز پس از تاریخی که بیستمین سند تصویب یا الحاق آن نزد دبیرکل ملل متحد به امانت گذارده شد، لازم‌الاجرا می‌گردد.
پس از به ودیعه سپردن بیستمین سند تصویب یا الحاق، برای هر دولتی که این کنوانسیون را تصویب می‌کند یا به آن ملحق می‌گردد، کنوانسیون مذکور از سی‌امین روز تاریخی که سند تصویب یا الحاق آن به دولت به امانت گذارده شده لازم‌الاجرا می‌گردد.
ماده ۲۸
دبیرکل ملل متحد متن تحفظ کشورها، در هنگام تصویب یا الحاق را دریافت نموده و آن را میان کلیه دول توزیع می‌نماید.
تحفظاتی که با هدف و منظور این کنوانسیون سازگار نباشد مجاز نخواهد بود.
تحفظات از طریق تسلیم یادداشتی به دبیرکل ملل متحد در هر زمان قابل پس گرفتن است. نامبرده همه دولت‌ها را از این موضوع مطلع خواهد کرد. لغو تحفظ از روزی که یادداشت دریافت شود معتبر است.
ماده ۲۹
هر گونه اختلاف در تفسیر یا اجرای این کنوانسیون بین دو یا چند دولت عضو که از طریق مذاکره حل نگردد بنا به تقاضای یکی از طرفین به داوری ارجاع می‌گردد. چنانچه ظرف شش ماه از تاریخ درخواست داوری، طرفین در مورد نحوه و تشکیلات داوری به توافق نرسند، یکی از طرفین می‌تواند خواستار ارجاع موضوع به دیوان بین‌المللی دادگستری مطابق با اساسنامه دیوان گردد.
هر دولت عضو می‌تواند به هنگام امضاء یا تصویب این کنوانسیون یا الحاق به آن اعلام کند که خود را موظف به اجرای بند یک ماده نمی‌داند. دول عضو دیگر در قبال دولتی که به بند یک این ماده اعلام تحفظ نموده‌است، ملزم به اجرای بند یک نمی‌باشند.
۳. هر دولت عضوی که بر طبق بند ۲ این ماده اعلام تحفظ نموده باشد می‌تواند در هر زمان از تحفظ خود از طریق اعلام رسمی به دبیرکل ملل متحد صرف‌نظر نماید.
ماده ۳۰
این کنوانسیون که متون عربی، چینی، انگلیسی، فرانسه، روسی و اسپانیولی آن دارای اعتبار یکسان می‌باشند، نزد دبیرکل ملل متحد به امانت گذارده می‌شود.