الرئيسية سجلّي الفضائي
اللغة AR (العربية)

Coq

رائد فضاء متقدم الصعوبة 5/5 قائمة موارد محطة 69 / 94 الأعمار teen+ مترجم بالذكاء الاصطناعي

لغة صورية وبيئة للبرمجة والمواصفات تسهّل التطوير التفاعلي لبراهين تتحقّق منها الآلة.

ابدأ الدليل

دليلك

نظرة عامة كتبها الذكاء الاصطناعي

ما هو؟

Coq ضمن مجموعة لغات البرمجة لدينا، وهي قائمة طويلة بموارد لتعلّم لغات برمجة محدّدة. لا نعرف عن كل عنصر سوى العنوان والوصف القصير والمستوى.

هل هو مناسب لي؟

مناسب لمن هو مستعد لتعلّم لغة. معظم العناصر من المستوى المتوسط، لذا تفيد بعض الخبرة في البرمجة. عناصر المبتدئين أفضل بداية، ويناسب عمر teen+ تقريبًا فما فوق.

للكبار: للكبار: قد تحتاجون إلى المساعدة في تثبيت البرامج. يُرجى التحقق من الموقع أولًا.

كيف تبدأ

  1. اختر لغة سمعت بها أو تثير فضولك.
  2. افتح الموقع الأصلي مع شخص بالغ واقرأ الصفحة الأولى.
  3. اكتب مثالًا صغيرًا جدًا وانظر ماذا يفعل.

كم من الوقت؟

خطّط لنحو 80 دقيقة في كل مرة، على مدى نحو 9 جلسات. (تقدير)

80 د في الجلسة 9 جلسات تقدير

خطة يمكنك اتباعها

  1. اليوم 1 30 د اقرأ الصفحة الأولى وشغّل مثالًا صغيرًا جدًا.
  2. الأسبوع 1 45 د تابع الدروس الأولى.
  3. الأسبوع 2 60 د اكتب برنامجًا قصيرًا جدًا من تأليفك.
  4. الأسبوع 3 60 د أصلح خطأً واحدًا وأرِه لشخص ما.

الأوقات تقديرية. تقدّم بالسرعة التي تناسبك.

اذهب إلى موقع التعلّم

أنت على وشك مغادرة موقعنا لزيارة Coq على موقع آخر. نحن لا نتحكّم في ذلك الموقع. اسأل شخصًا بالغًا قبل أن تذهب. راجع المصدر الأصلي لمعرفة التفاصيل. قد لا يكون ذلك الموقع بلغتك. يمكن لمتصفحك ترجمة الصفحة: ابحث عن زر الترجمة قرب شريط العنوان، أو اطلب المساعدة من شخص بالغ.

أنت تغادر موقعنا

للكبار: للكبار: يؤدي هذا الرابط إلى موقع لا نتحكّم فيه ولم نراجعه إلا من خلال وصفه في قائمتنا. يُرجى إلقاء نظرة عليه أولًا.

انتقل إلى موقع التعلم (يفتح الموقع الأصلي في علامة تبويب جديدة)

https://github.com/coq-community/awesome-coq#readme

على موقع آخر. من القائمة: sindresorhus/awesome · الرخصة: CC0-1.0 · لغات البرمجة · الترجمات مولّدة بالذكاء الاصطناعي؛ راجع الأصل دائمًا.

كيف تتعلم من مشروع أو قائمة على GitHub

مسارك عبر لغات أخرى

محطة 67 ClojureScript قائمة موارد محطة 68 Common Lisp قائمة موارد محطة 69 Coq قائمة موارد محطة 70 Crystal قائمة موارد محطة 71 Erlang قائمة موارد محطة 72 Fortran قائمة موارد محطة 73 البرمجة الوظيفية قائمة موارد

واصل الاستكشاف