title: حساب لامبدا

text: حساب لامبدا شامل زبانی از عناصر لامبدا است که با عناصر نحوی مشخص بیان می‌شود و هم چنین قانون‌های انتقال که به عناصر لامبدا اجازه دستکاری می‌دهد؛ که این قانون‌های انتقال در قضیه معدله‌ای و بیان عملیاتی استفاده می‌شود.


title: حساب لامبدا

text: برای توضیح بالا تمام توابع در حساب لامبدا توابع ناشناس هستند؛ که فقط یک ورودی متغیر را می‌پذیرند؛ که با تابع کارینگ می‌توان چندین متغیر را به عنوان ورودی در نظر گرفت


title: حساب لامبدا

text: عناصر لامبدا


title: حساب لامبدا

text: نحو حساب لامبدا برای بیان متغیرهای معتبر و نامعتبر است برای رشته‌ای از کاراکترهای معتبر زبان و برنامه سی و نامعتبر آن. به حساب لامبدا معتبر عناصر لامبدا می‌گویند.


title: حساب لامبدا

text: سه قانون زیر یک معنای القایی به ما می‌دهد که می‌تواند تمام نحو معتبر حساب لامبدا را شمال شود


title: حساب لامبدا

text: متغیر xخود به تنهایی یک عناصر معتبر لامبدا است.


title: حساب لامبدا

text: اگر t یک عنصر لامبدا و xیک متغیر باشد آنگاه. (λx.t) یک عنصر لامبدا است.


title: حساب لامبدا

text: اگر tوsعناصر لامبدا باشند آنگاه (ts)عناصر لامبدا اسنت


title: حساب لامبدا

text: هیچ عبارت دیگری عناصر لامبدا نیست؛ بنابراین عناصر لامبدا معتبر هستند اگر شامل تکرار قوانین بالا باشند. اگرچه بعضی از پرانتزگذاری‌ها با استفاده از این قوانین حذف شده‌است. به عنوان مثال پرانتز خارج از محدوده به صورت معمول نوشته نمی‌شودبه نشانه‌گذاری پایین دقت کنید


title: حساب لامبدا

text: مفهوم یا برداشت لامبداx.tتوضیحی از توابع ناشناخته که این توانایی را دارد که ورودی xرا بگیرد و با tجایگزین کند بنابراین یک تابع ناشناخته را بیان می‌کند که xرا می‌گیرد و t را برمی‌گرداند. به عنوان مثال x.x+2یک مفهوم از تابع f(x)=x+2که از عناصر x+2استفاده می‌کند تعریف تابع به همراه مفهوم لامبدا صرفاً تولید و تشکیل تابع است انا نه فراخوانی کردن آن. در کل پیوند متغیر xدر عنصر t.


title: حساب لامبدا

text: برنامه ts بیان گر برنامه‌ای از تابع tبا ورودی sاست. باعث صدا زدن تابع tبا ورودی sبرای تولید t(s) می‌شود.


title: حساب لامبدا

text: هیچ نظر و جنبه‌ای در حساب لامبدا برای اعلام متغیر نیست. با این تعریف مانند x.x+y(i.e. f(x)=x+y)می توان عنوان کرد. حساب لامبدا yرا متغیری عنوان می‌کند که هنوز مشخص و قابل تعریف نیست. مفهوم لامبدا x.x+yبه صورت نخوی معتبر است و هم چنین تابعی را تولید می‌کند که ورودی را با yکه هنوز ناشناخته هست جمع می‌کند.


title: حساب لامبدا

text: Bracketingهم استفاده می‌شود و هم برای عناصر غیرضروری مورد نیاز است. به عنوان مثالλx.((λx.x)x) و(λx.(λx.x)) دو عنصر مختلف را بیان می‌کنند (اگرچه که هر دو اگر گاهش داده شوند به یک آرش و مقدار می‌رسند). اینجا اولین مثال برای معرفی تابع است که این معرفی تابع و برگرداندن نتیجه برای درخواست xاز تابع فرزندان به حساب می‌آید (درخواست تابع و بعد بازگشت) مثال دوم معرفی و تعیین تابع که تابعی را برمی‌گرداند که با هر ورودی کار می‌کند و در آخر برنامهxرا برمی‌گرداند (بازگشت تابع و بعد از درخواست)


title: حساب لامبدا

text: توابعی روی توابع دیگر کار می‌کنند


title: حساب لامبدا

text: در حساب لامبدا توابع در واقع همان کلاس اول با ارزش بالا هستند پس ممکن است توابع به عنوان ورودی گرفته شوند یا به عنوان خروجی از بقیه توابع.


title: حساب لامبدا

text: به عنوان مثال λx.x نماینده‌ای برای معرفی تابع x=xو (λx.x)yنماینده تابعی کهyرا درخواست می‌کند. اگرچه(λx.y)تابع ثابت x=yرا بیان می‌کند تابعی که همیشه yرا برگرداند برای ورودی مشکلی ندارد. در حساب لامبدا برنامه توابع به نوان وابسته چپ در نظر گرفته شده‌است پس stxبه معنای (st)xمی‌باشد.


title: حساب لامبدا

text: ایده‌های متفاوتی برای همبستگی و کاهش وجود دارد که عناصر لامبدا به عناصر وابسته لامبدا کاهش پیدا کنند.


title: حساب لامبدا

text: همبستگی آلفا


title: حساب لامبدا

text: اساس همبستگی که روی عناصر لامبدا قابل تعریف است را همبستگی آلفا گویند. بینشی برای انتخاب مشخص در محدوده متغیر را می‌گیرد که در مفهوم لامبدا مشکلی با این تعریف نیست. به عنوان مثال mx.xوmy.yدو همبستگ=ی آلفا از عناصر لامبدا هستند و هر دو نماینده یک تابع می‌باشند (تابع مشخص شده). دو عنصر xوyهمبستگی آلفا ندارند زیرا در محدوده مفهوم لامبدا قرار نگرفته‌اند. در بسیاری از بیانات پیدا کردن همبستگی آلفا با عناصر لامبدا کاری معمول و رایج است.


title: حساب لامبدا

text: پیدا کردن بسیار مهم‌تر از پیدا کردن کاهش بتا است.


title: حساب لامبدا

text: متغیرهای آزاد


title: حساب لامبدا

text: متغیرهای آزاد برای یک عنصر متغیرهایی است که در محدوده مفهوم لامبدا نباشند. متغیرهای آزاد این‌گونه معرفی می‌شوند


title: حساب لامبدا

text: متغیر آزاد xهمان x است.


title: حساب لامبدا

text: متغیر آزاد λx.tهمان متغیر آزاد t است اما زمانی که xحذف شود.


title: حساب لامبدا

text: متغیر آزاد tsدر واقع همان متغیر آزاد tو متغیر آزاد s است.


title: حساب لامبدا

text: به عنوان مثال نماینده عناصر لامبدا که به این هویت و نشانه استλx.xمتغیر آزادی ندارد اما تابع λx.yxیک متغیر آزاد به نام yدارد.


title: حساب لامبدا

text: جلوگیری از جایگزینی کردن


title: حساب لامبدا

text: فرض کنید tوsوrعناصر لامبدا باشند و xوyمتغیر باشند. این نشانه‌گذاری t[x:=r]بان جایگزینی rبرایxدر tبا شیوه جلوگیری از گرفتن است؛ که به این شرح است.


title: حساب لامبدا

text: X[x:=r]=r


title: حساب لامبدا

text: Y[x:=r]=y if x≠y


title: حساب لامبدا

text: (mx.t)[x:=r]=mx.t


title: حساب لامبدا

text: (my.t)[x:=r]=my.(t[x:=r]) if x≠y و هم چنین yجز متغیر آزاد rبه حساب نمی‌آید.. متغیر yبه r درخواست نو شدن می‌دهد.


title: حساب لامبدا

text: به عنوان مثال (mx.x)[y:=y]=mx.(x[y:=y])=mx.x و((mx.y)[x:=y])=((mx.y)(x[x:=y])=(mx.y)y.


title: حساب لامبدا

text: نو شدن شرایط (به اینکه y از متغیرهای آزاد r نباشد احتیاج دارد) حیاتی تر از اطمینان یافتن است زیرا جایگزینی نباید معنی تابع را تغییر دهد. به عنوان مثال جایگزینی از شرایط نو چشم پوشی می‌کند(λx.y)


title: حساب لامبدا

text: [y:=x]= λx.(y[y:=x])= λx.xکه این جایگزینی تابع ثابت λx.yبه λx.xاست.


title: حساب لامبدا

text: در کل دیدن شرایط نو که به وسیله تغییر نام آلفا همراه با متغیرهای تازه تصفیه شده باشد با شکست رو به رو می‌شود به عنوان مثال رفتن به عقب برای جایگزینی صحیح در (λx.y)[y:=x]مفهوم لامبدا با متغیر تازه zتغییر نام داده‌است که شامل(λz.y)[y:=x]= λz.(y(y:=x])= λz.xکه یعنی تابع با جایگزینی حفظ شده‌است.


title: حساب لامبدا

text: کاهش بتا


title: حساب لامبدا

text: قانون کاهش بتا برنامه‌ای است برای فرم (λx.t)sکه به t[x:=s]کاهش پیدا کرده‌است. نشانه‌گذاری (λx.t)s=t[x:=s]که استفاده می‌شود تا نشان دهد (λx.t)sکاهش بتا در t[x:=s]به عنوان مثال برای تمام s(λx.x)s=x[x:=s]=sکه این عبارت نشان می‌دهد که λx.xشناخته شده‌است. هم چنین (λx.y)sy[x:=s]=y نشان می‌دهد که λx.yیک تابع ثابت است.


title: حساب لامبدا

text: حساب لامبدا در واقع یک ورژن ایدئال از یک زبان برنامه‌نویسی تابعی است به مانند Haskellیاstandard ML. علاوه بر این کاهش بتا با محاسبات تطابق دارد. این گام می‌تواند به وسیله تبدیل بتا اضافی تکرار شود تا زمانی که برنامه‌ای برای کاهش وجود نداشته باشد. در حساب لامبدا نانوشته که در این‌جا وجود دارد که این کار کاهش را خاتمه نمی‌دهد. برای مثال فرض کنید عنصرλx.xx)(λx.xx))=Ωکه در اینجا(λx.xx)(λx.xx)=(xx)[x:= λ x.xx]=(x[x:= λx.xx])(x[x:= λx.xx])=(λx.xx)(λx.xx)در اینجا نصر به خودش کاهش پیدا می‌کند با استفاده از کاهش بتا و هم چنین عمل کاهش هیچ وقت خاتمه پیدا نمی‌کند.


title: حساب لامبدا

text: جنبه دیگر حساب لامبدا نانوشته تشخیص داده‌های مختلف را نمی‌دهد. به عنوان مثال مطلوب است که که تابعی که فقط با اعداد کار دارد نوشته شود. اگرچه حساب لامبدا نانوشته راهی برای جلوگیری از بیان ارزش درست و رشته هاو شی‌های بدون اعداد ندارد


title: حساب لامبدا

text: تعریف رسمی


title: حساب لامبدا

text: تعریف


title: حساب لامبدا

text: عبارات لامبدا عبارتند از:


title: حساب لامبدا

text: متغیرهای v1، v2، …، vn، ...


title: حساب لامبدا

text: نمادهای انتزاعی lambda ،' λ 'و نقطه '.' است.


title: حساب لامبدا

text: پرانتز ()


title: حساب لامبدا

text: مجموعه‌ای از عبارات لامبدا، Λ، می‌تواند به صورت القایی تعریف شود:


title: حساب لامبدا

text: اگر x یک متغیر باشد، پس x ∈ Λ


title: حساب لامبدا

text: اگر x یک متغیر و M ∈ Λ باشد، (λx.M) ∈ Λ


title: حساب لامبدا

text: اگر M, N ∈ Λ، و سپس (M N) ∈ Λ


title: حساب لامبدا

text: نمونه‌هایی از قانون ۲ به عنوان انتزاع و نمونه‌هایی از قانون ۳ به عنوان برنامه‌های کاربردی شناخته می‌شوند


title: حساب لامبدا

text: نشانه گذاری


title: حساب لامبدا

text: برای حفظ نشانه‌ای از عبارات لامبدا بدون سر و صدا، معمولاً قراردادهای زیر اعمال می‌شود:


title: حساب لامبدا

text: پرانتز خارج از محدوده کاهش می‌یابد: M N به جای (M N)


title: حساب لامبدا

text: فرض می‌شود که برنامه‌های کاربردی باقی می‌مانند: M N P ممکن است به جای ((M N) P)


title: حساب لامبدا

text: بدن انتزاع به همان اندازه که ممکن است به سمت راست گسترش می‌یابد: λx.M N معنی λx.(M N) و نه (λx.M) N


title: حساب لامبدا

text: یک دنباله از انتزاع قرارداد: λx. λy. λz.N به اختصار λxyz.N می‌باشد


title: حساب لامبدا

text: متغیرهای آزاد و محدود


title: حساب لامبدا

text: گفته می‌شود که اپراتور انتزاعی، λ، متغیر آن را هر جا که در انتهای انتزاع رخ می‌دهد، مرتبط کند. گفته می‌شود متغیرهایی که در محدوده یک انتزاع قرار می‌گیرند محدود می‌شوند. همه متغیرهای دیگر نامیده می‌شوند. به عنوان مثال، در عبارت زیر، یک متغیر محدود و x آزاد است: λy.x x y. همچنین توجه داشته باشید که یک متغیر با انتزاع «نزدیکترین» آن محدود شده‌است. در مثال زیر، وقفه تک x در بیان توسط لامبدا دوم محدود می‌شود: λx.y (λx.z x)


title: حساب لامبدا

text: مجموعه‌ای از متغیرهای آزاد بیان Lambda, M، به عنوان FV (M) تعریف شده‌است و توسط بازگشتی بر ساختار اصطلاحات تعریف شده‌است، به شرح زیر است: 3. FV(M N) = FV(M) ∪ FV(N)


title: حساب لامبدا

text: گفته می‌شود که عبارت ای که حاوی هیچ متغیر آزاد نیست بسته می‌شود. عبارت lambda بسته نیز به عنوان ترکیبی شناخته می‌شود و معادل آن‌ها در منطق ترکیبی است.


title: حساب لامبدا

text: کاهش


title: حساب لامبدا

text: معنای عبارات لامبدا به این معناست که چگونه عبارات را می‌توان کاهش داد.


title: حساب لامبدا

text: سه نوع کاهش وجود دارد:


title: حساب لامبدا

text: α تبدیل: تغییر متغیرهای متناوب (آلفا).


title: حساب لامبدا

text: β-reduction: اعمال توابع به استدلال‌های آن‌ها (بتا).


title: حساب لامبدا

text: η-conversion: که مفهوم گسترش (eta) را ترسیم می‌کند.


title: حساب لامبدا

text: ما همچنین از معادلات حاصل می‌گوییم: دو عبارات β-معادل هستند، اگر آن‌ها می‌توانند β-تبدیل به یک عبارت مشابه باشند، و α / η-هم‌ارزی به‌طور مشابه تعریف می‌شوند.


title: حساب لامبدا

text: اصطلاح redex، کوتاهی برای عبارت reducible refers to subterms که می‌تواند توسط یکی از قوانین کاهش کاهش یابد. به عنوان مثال (λx.M) N یک بتا-redex در بیان جایگزینی N برای x در M است؛ اگر x در M آزاد نباشد، λx.M x نیز eta-redex است. بیان که بازده کاهش می‌یابد، کاهش آن نامیده می‌شود؛ با استفاده از مثال قبلی، کاهش این عبارات به ترتیب M [x: = N] و M.


title: حساب لامبدا

text: α تبدیل


title: حساب لامبدا

text: تبدیل آلفا، که گاهی اوقات به عنوان تغییر نام آلفا شناخته می‌شود، نام نام متغیر را تغییر می‌دهد. به عنوان مثال، تبدیل آلفا λx.x ممکن است λy.y. شرایطی که فقط با تبدیل آلفا متفاوت هستند، معادل α نامیده می‌شوند. اغلب، در استفاده از محاسبات لامبدا، معادلات معادل α معادل است.


title: حساب لامبدا

text: قوانین دقیق برای تبدیل آلفا کاملاً بی‌اهمیت نیستند. اول، هنگامی که تبدیل آلفا یک انتزاع، تنها رخ داده‌های متغیر که تغییر نام داده‌اند، کسانی هستند که به یک انتزاع متعهد هستند. به عنوان مثال، تبدیل آلفا λx. λx.x می‌تواند به λy. λx.x منجر شود، اما نمی‌تواند نتیجه λy. λx.y. این دومین معنای متفاوت از اصل دارد.


title: حساب لامبدا

text: دوم، تبدیل آلفا امکان‌پذیر نیست اگر یک متغیر با یک انتزاع متفاوت گرفته شود. برای مثال، اگر x را با y در λx. λy.x جایگزین کنیم، می‌توانیم λy. λy.y را بدست آوریم که کاملاً متفاوت نیست.


title: حساب لامبدا

text: در زبان‌های برنامه‌نویسی با محدوده استاتیک، تبدیل آلفا می‌تواند برای ایجاد وضوح نام ساده‌تر با اطمینان از اینکه نام متغیر یک نام را در دامنه حاوی مخفی می‌کند (نگاه کنید به تغییر نام آلفا برای ایجاد وضوح نام نامطلوب).


title: حساب لامبدا

text: در نماد شاخص De Bruijn، هر دو اصطلاح معادل آلفای معادل به صورت همگانی یکسان هستند.


title: حساب لامبدا

text: جایگزینی


title: حساب لامبدا

text: تعویض، نوشته شده E [V: = R]، فرایند جایگزینی تمام رخدادهای آزاد متغیر V در عبارت E با بیان R است. تعویض در شرایط λ-calculus توسط بازگشتی بر ساختار اصطلاحات تعریف شده‌است، همان‌طور که به این ترتیب (توجه داشته باشید: x و y فقط متغیر هستند در حالی که M و N هر عبارت λ هستند).


title: حساب لامبدا

text: x[x := N] ≡ N


title: حساب لامبدا

text: y[x := N] ≡ y, if x ≠ y


title: حساب لامبدا

text: (M M)[x := N] ≡ (M[x := N]) (M[x := N])


title: حساب لامبدا

text: (λx.M)[x := N] ≡ λx.M


title: حساب لامبدا

text: (λy.M)[x := N] ≡ λy.(M[x := N]), if x ≠ y, provided y ∉ FV(N)


title: حساب لامبدا

text: برای جایگزینی به یک انتزاع لامبدا، گاهی لازم است که بیان α تبدیل شود. به عنوان مثال، برای (λx.y) [y: = x] درست نیست (به خاطر آوردن (λx.x)، زیرا x جایگزین به صورت آزاد بود اما به پایان رسید. جایگزینی صحیح در این مورد (λz.x)، تا α-هم‌ارزی است. توجه داشته باشید که تعویض به صورت منحصر به فرد به α-هم‌ارزی تعریف شده‌است.


title: حساب لامبدا

text: β-کاهش


title: حساب لامبدا

text: کاهش بتا ایده برنامه کاربردی را ضبط می‌کند. بتا-کاهش از نظر جایگزینی تعریف می‌شود: کاهش بتا


title: حساب لامبدا

text: ((λV.E) E ') E [V: E] است.


title: حساب لامبدا

text: به عنوان مثال، با فرض برخی از کدگذاری ۲، ۷، ×، ما کاهش زیر را داریم: ((λn.n × ۲) ۷) → ۷ × ۲.


title: حساب لامبدا

text: η-تبدیل


title: حساب لامبدا

text: Eta-conversion بیان عقلی را بیان می‌کند که در این چارچوب این است که دو توابع یکسان هستند اگر و فقط اگر آن‌ها نتایج مشابهی را برای تمام استدلال‌ها ارائه دهند. Eta-conversion بین λx (fx) و f تبدیل می‌کند هر زمان که x در فضای آزاد ظاهر نشود.


title: حساب لامبدا

text: اشکال طبیعی و همپوشانی


title: حساب لامبدا

text: برای محاسبه لامبدا ty، β-reduction به عنوان یک قانون بازنویسی نه به شدت نرمال و نه ضعیف نرمال کردن است.


title: حساب لامبدا

text: با این حال، می‌توان نشان داد که β-reduction با هم مخلوط است. (البته، ما به آلفا تبدیل می‌پردازیم، یعنی ما دو عددی معمول را در نظر می‌گیریم، اگر ممکن است به α-تبدیل یک به دیگری تبدیل شود)


title: حساب لامبدا

text: بنابراین، هر دو اصطلاح به شدت نرمال و شرایط ضعیف عادی، یک فرم طبیعی منحصر به فرد دارند. برای اصطلاحات به شدت نرمال، هر استراتژی کاهش تضمین می‌شود که فرم طبیعی را تولید کند، در حالی که برای اصطلاحات ضعیف نرمال، برخی از استراتژی‌های کاهش می‌توانند آن را پیدا نکنند.


title: حساب لامبدا

text: انواع داده‌ها کدگذاری


title: حساب لامبدا

text: مقالات اصلی: رمزگذاریchurch و کدگذاری مگنسن اسکات


title: حساب لامبدا

text: محاسبات پایه لامبدا ممکن است برای مدل‌سازی بولی‌ها، ریاضیات، ساختار داده‌ها و رکود استفاده شود، که در زیر بخش‌های زیر نشان داده شده‌است.


title: حساب لامبدا

text: ریاضی در محاسبات لامبدا


title: حساب لامبدا

text: چندین روش ممکن برای تعریف اعداد طبیعی در محاسبات لامبدا وجود دارد، اما اکثر عبارات church هستند که می‌توانند به صورت زیر تعریف شوند:


title: حساب لامبدا

text: ۰ := λf. λx.x


title: حساب لامبدا

text: ۱ := λf. λx.f x


title: حساب لامبدا

text: ۲ := λf. λx.f (f x)


title: حساب لامبدا

text: ۳ := λf. λx.f (f (f x))


title: حساب لامبدا

text: و غیره یا با استفاده از نحوه جایگزین ارائه شده در بالا در نماد:


title: حساب لامبدا

text: ۰ := λfx.x


title: حساب لامبدا

text: ۱ := λfx.f x


title: حساب لامبدا

text: ۲ := λfx.f (f x)


title: حساب لامبدا

text: ۳ := λfx.f (f (f x))


title: حساب لامبدا

text: یک عدد church یک تابع مرتبه بالاتر است - یک تابع یک پارامتر تابع f را می‌گیرد و یک تابع تک استدلالی را بازمی‌گرداند. عدد n عنصر کلیسا یک تابع است که یک تابع f را به عنوان علامت می‌گیرد و ترکیب n-th f را به دست می‌دهد، یعنی تابع f با خود برابر n برابر است. این نشان دهنده f (n) است و در واقع n-th power f است (در نظر گرفته شده به عنوان یک اپراتور)؛ f (0) به عنوان تابع هویت تعریف می‌شود. چنین ترکیبات تکراری (از یک تابع f) به قوانین مادیات احترام می‌گذارند، به همین دلیل این عددها را می‌توان برای محاسبات استفاده کرد. (در محاسبات لامبدا اصلی کلیسای، پارامتر رسمی بیان لامبدا حداقل یکبار در بدن تابع اتفاق افتاد که تعریف فوق از ۰ غیرممکن بود).


title: حساب لامبدا

text: ما می‌توانیم یک تابع جانشین را تعریف کنیم که یک عدد n را می‌گیرد و n + 1 را با اضافه کردن یک برنامه دیگر از f تعریف می‌کند، where '(mf) x' به معنی تابع 'f' است 'm' بار در 'x' اعمال می‌شود:


title: حساب لامبدا

text: SUCC: = λn. λf. λx.f (n f x)


title: حساب لامبدا

text: از آنجا که ترکیب m-th f با ترکیب n-th f به ترکیب m + n-th f می‌دهد، افزودن می‌تواند به صورت زیر تعریف شود:


title: حساب لامبدا

text: PLUS: = λm. λn. λf. λx.m f (n f x)


title: حساب لامبدا

text: PLUS را می‌توان به عنوان یک تابع در نظر گرفت که دو عدد طبیعی را به عنوان استدلال و بازگشت یک عدد طبیعی؛ می‌توان آن را تأیید کرد


title: حساب لامبدا

text: PLUS 2 3


title: حساب لامبدا

text: و


title: حساب لامبدا

text: ۵


title: حساب لامبدا

text: عبارات لامبدا β معادل هستند. از آنجا که اضافه کردن m به عدد n می‌توان با اضافه کردن 1 m بار، تعریف معادل آن است: PLUS: = λm. λn.m SUCC n


title: حساب لامبدا

text: به‌طور مشابه، ضرب می‌تواند به صورت زیر تعریف شود


title: حساب لامبدا

text: MULT: = λm. λn. λf.m (n f)


title: حساب لامبدا

text: متناوباً


title: حساب لامبدا

text: MULT: = λm. λn.m (PLUS n) 0


title: حساب لامبدا

text: از آنجا که ضرب m و n همانند تکرار تابع add n تابع m است و سپس آن را به صفر اعمال می‌کند. انحراف در عبارات church نسبتاً پیچیده‌است.


title: حساب لامبدا

text: POW: = λb. λe.e b


title: حساب لامبدا

text: عملکرد پیشینی تعریف شده توسط PRED n = n-1 برای یک عدد صحیح مثبت n و PRED 0 = ۰ به مراتب سخت‌تر است. فرمول


title: حساب لامبدا

text: PRED: = λn. λf. λx.n (λg. λh.h (g f)) (λu.x) (λu.u)


title: حساب لامبدا

text: می‌توان با نشان دادن الگویی که اگر T نامیده می‌شود (λg. λh.h (gf)), T (n) (λu.x) = (λh.h (f (n-1) (x))) برای n> 0. دو تعریف دیگر از PRED در زیر آمده‌است، یکی با استفاده از شرط و دیگری با استفاده از جفت. با عملکرد پیشین، تفریق ساده است. تعریف کردن


title: حساب لامبدا

text: SUB: = λm. λn.n PRED m،


title: حساب لامبدا

text: SUB m n بازده m - n زمانی که m> n و ۰ در غیر این صورت.


title: حساب لامبدا

text: منطق و پیش فرض‌ها


title: حساب لامبدا

text: به‌طور مشترک، دو تعریف زیر (به نام کلیسای booleans) برای مقادیر بولین TRUE و FALSE استفاده می‌شود:


title: حساب لامبدا

text: TRUE: = λx. λy.x


title: حساب لامبدا

text: FALSE: = λx. λy.y


title: حساب لامبدا

text: سپس با استفاده از این دو λ-term، می‌توانیم برخی از اپراتورهای منطقی را تعریف کنیم (این فقط فرمول‌های ممکن است؛ عبارات دیگر به همان اندازه صحیح هستند):


title: حساب لامبدا

text: AND := λp. λq.p q p


title: حساب لامبدا

text: OR := λp. λq.p p q


title: حساب لامبدا

text: NOT := λp.p FALSE TRUE


title: حساب لامبدا

text: IFTHENELSE := λp. λa. λb.p a b


title: حساب لامبدا

text: اکنون می‌توانیم برخی از توابع منطقی را محاسبه کنیم، مثلاً:


title: حساب لامبدا

text: و


title: حساب لامبدا

text: TRUE FALSE


title: حساب لامبدا

text: ≡ (λp. λq.p q p) TRUE FALSE → TRUE FALSE TRUE


title: حساب لامبدا

text: ≡ (λx. λy.x) FALSE TRUE → FALSE


title: حساب لامبدا

text: و ما می‌بینیم که عدد درست عدد برابر با FALSE است.


title: حساب لامبدا

text: یک پیش‌فرض یک تابع است که مقدار boolean را بازمی‌گرداند. اساسی‌ترین اساسی ISZERO است، که اگر علامت آن عدد کلیسای عدد ۰ باشد، عدد را درست می‌کند، و علامت FALSE اگر علامت دیگری باشد، عدد کلیسای دیگری است:


title: حساب لامبدا

text: ISZERO: = λn.n (λx.FALSE) درست است.


title: حساب لامبدا

text: پیش فرض زیر تست می‌کند که آیا آرگومان اول کمتر از نسبت یا برابر با دوم است:


title: حساب لامبدا

text: LEQ: = λm. λn.ISZERO (SUB m n)،


title: حساب لامبدا

text: و از آنجا که m = n، اگر LEQ m n و LEQ n m باشد، ساختن پیش‌فرض برای برابری عددی ساده است.


title: حساب لامبدا

text: در دسترس بودن پیش فرض‌ها و تعریف بالا از TRUE و FALSE، آن را مناسب برای بیان عبارات "if-then-else" در محاسبات لامبدا ایجاد کنید. برای مثال، تابع پیشینی را می‌توان به صورت زیر تعریف کرد:


title: حساب لامبدا

text: PRED: = λn.n (λg. λk.ISZERO (g 1) k (PLUS (g k) 1)) (λv 0) 0


title: حساب لامبدا

text: که می‌تواند با نشان دادن القاء الگویی که n (λg. λk.ISZERO (g 1) k (PLUS (g k) 1)) (λv.0) تابع افزودن n - 1 برای n> 0 است.


title: حساب لامبدا

text: جفت


title: حساب لامبدا

text: یک جفت (2-tuple) را می‌توان از نظر TRUE و FALSE تعریف کرد، با استفاده از کلیسای رمزگذاری برای جفت‌ها. به عنوان مثال، PAIR جفت (x, y) را محاسبه می‌کند، FIRST اولین عنصر جفت را باز می‌کند و SECOND دوم را بازمی‌گرداند.


title: حساب لامبدا

text: PAIR := λx. λy. λf.f x y


title: حساب لامبدا

text: FIRST := λp.p TRUE


title: حساب لامبدا

text: SECOND := λp.p FALSE


title: حساب لامبدا

text: NIL := λx.TRUE


title: حساب لامبدا

text: NULL := λp.p (λx. λy.FALSE)


title: حساب لامبدا

text: یک لیست مرتبط را می‌توان به عنوان NIL برای لیست خالی یا PAIR یک عنصر و یک لیست کوچکتر تعریف کرد. آزمون NULL پیش‌فرض برای مقدار NIL. (به جای آن، با NIL: = FALSE، ساختار l (λh. λt. λz.deal_with_head_h_and_tail_t) (deal_with_nil) نیاز به یک آزمون NULL صریح را از بین می‌برد).


title: حساب لامبدا

text: به عنوان مثال استفاده از جفت، تابع shift و increment کهm,n))به(n,n+1) می‌توان تعریف کرد به عنوان


title: حساب لامبدا

text: Φ: = λx.PAIR (SECOND x) (SUCC (SECOND x))


title: حساب لامبدا

text: که به ما اجازه می‌دهد تا شاید نسخه شفاف تابع سلف:


title: حساب لامبدا

text: PRED: = λn.FIRST (n Φ (PAIR 0)).


title: حساب لامبدا

text: ر کوردها و نقاط ثابت


title: حساب لامبدا

text: همچنین نگاه کنید به: SKI حساب کاربری ترکیبی § خود برنامه‌ریزی و بازپخش


title: حساب لامبدا

text: Recursion تعریف یک تابع با استفاده از تابع خود است. محاسبات لامبدا نمی‌تواند این را به‌طور مستقیم به عنوان برخی از نشانه‌های دیگر بیان کند: تمام توابع در محاسبات لامبدا ناشناس هستند، بنابراین ما نمی‌توانیم به یک مقدار که هنوز تعریف شده‌است، در داخل عبارت لامبدا تعریف کنیم که همان مقدار است. با این وجود، می‌توان از طریق برگزاری یک عبارت لامبدا برای بازگشت خود به عنوان ارزش استدلال خود، به عنوان مثال در (λx.xx) E. دریافت کرد.


title: حساب لامبدا

text: تابع فاکتوریل F (n) را به صورت بازگشتی به وسیلهٔ تعریف می‌کنیم


title: حساب لامبدا

text: F(n) = 1, if n = 0; else n × F(n − ۱)


title: حساب لامبدا

text: در بیان لامبدا که برای نشان دادن این تابع است، پارامتر (به‌طور پیش‌فرض اول) فرض می‌شود که خودش را به عنوان مقدار خود دریافت می‌کند، به‌طوری‌که فراخوانی آن - استفاده از آن به یک استدلال - به مقدار بازگشتی تبدیل می‌شود؛ بنابراین برای رسیدن به بازگشت، استدلال در نظر گرفته شده به عنوان خود ارجاع (به نام r اینجا) همیشه باید در داخل بدن تابع در یک نقطه تماس منتقل شود:


title: حساب لامبدا

text: G := λr. λn.(1, if n = 0; else n × (r r (n−۱)))


title: حساب لامبدا

text: with r r x = F x = G r x to hold, so r = G and


title: حساب لامبدا

text: F := G G = (λx.x x) G


title: حساب لامبدا

text: خود نرم‌افزار در اینجا تکرار می‌کند، بیانگر لامبدا تابع را به فراخوانی بعدی به عنوان یک مقدار استدلال انتقال می‌دهد، و آن را در دسترس برای ارجاع و فراخوانی در آنجا قرار می‌دهد.


title: حساب لامبدا

text: این را حل می‌کند اما نیاز به نوشتن هر تماس مجدد را به عنوان خود برنامه کاربردی دارد. ما می‌خواهیم یک راه حل عمومی بدون نیاز به نوشتن مجدد داشته باشیم:


title: حساب لامبدا

text: G := λr. λn.(1, if n = 0; else n × (r (n−۱)))


title: حساب لامبدا

text: with r x = F x = G r x to hold, so r = G r =: FIX G and


title: حساب لامبدا

text: F := FIX G where FIX g := (r where r = g r) = g (FIX g)


title: حساب لامبدا

text: so that FIX G = G (FIX G) = (λn.(1, if n = 0; else n × ((FIX G) (n−۱))))


title: حساب لامبدا

text: با توجه به یک اصطلاح لامبدا با اولین آرگومان که نشانگر فراخوانی بازگشتی است (به عنوان مثال G در اینجا)، ترکیبی FIX نقطه ثابت یک بیان لامبدا خود تکراری را نشان می‌دهد که نشانگر تابع بازگشتی (در اینجا، F) است. این تابع به هیچ وجه نباید صریحاً به خود منتقل شود، زیرا خود تکرار به صورت پیشفرض تنظیم می‌شود، زمانی که آن ایجاد می‌شود، هر بار که آن را فراخوانی می‌شود؛ بنابراین بیان اصلی لامبدا (FIX G) در داخل خود، در نقطه تماس، دستیابی به خود ارجاع ایجاد می‌شود.


title: حساب لامبدا

text: در حقیقت، بسیاری از تعاریف ممکن برای این اپراتور FIX، ساده‌ترین آن‌ها وجود دارد:


title: حساب لامبدا

text: Y: = λg. (λx.g (xx)) (λx.g (xx))


title: حساب لامبدا

text: در محاسبات لامبدا، Yg یک نقطه ثابت از g است، به عنوان گسترش به:


title: حساب لامبدا

text: codice_1 codice_2


title: حساب لامبدا

text: codice_3 codice_4 codice_5 codice_4 codice_7 codice_2


title: حساب لامبدا

text: codice_9 codice_4 codice_11 codice_4 codice_13


title: حساب لامبدا

text: codice_2 codice_15 codice_4 codice_11 codice_4 codice_7


title: حساب لامبدا

text: codice_2 codice_21 codice_22


title: حساب لامبدا

text: حالا، برای فراخوانی بازگشتی ما به تابع فاکتوریل، ما به سادگی می‌توانیم (Y G) n, where n تعدادی است که فاکتوریل را محاسبه می‌کنیم. به عنوان مثال، با توجه به n = ۴، این می‌دهد:


title: حساب لامبدا

text: (Y G) 4


title: حساب لامبدا

text: G (Y G) 4


title: حساب لامبدا

text: (λr. λn.(1, if n = 0; else n × (r (n−1)))) (Y G) ۴


title: حساب لامبدا

text: (λn.(1, if n = 0; else n × ((Y G) (n−۱)))) ۴


title: حساب لامبدا

text: 1, if ۴ = 0; else ۴ × ((Y G) (4−۱))


title: حساب لامبدا

text: ۴ × (G (Y G) (4−۱))


title: حساب لامبدا

text: ۴ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۴−۱))


title: حساب لامبدا

text: ۴ × (1, if ۳ = 0; else ۳ × ((Y G) (3−۱)))


title: حساب لامبدا

text: ۴ × (۳ × (G (Y G) (3−۱)))


title: حساب لامبدا

text: ۴ × (۳ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۳−۱)))


title: حساب لامبدا

text: ۴ × (۳ × (1, if ۲ = 0; else ۲ × ((Y G) (2−۱))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (G (Y G) (2−۱))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۲−۱))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (1, if ۱ = 0; else ۱ × ((Y G) (1−۱)))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (۱ × (G (Y G) (1−۱)))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (۱ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۱−۱)))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (۱ × (1, if ۰ = 0; else ۰ × ((Y G) (0−۱))))))


title: حساب لامبدا

text: ۴ × (۳ × (۲ × (۱ × (۱))))


title: حساب لامبدا

text: ۲۴


title: حساب لامبدا

text: هر تابع تعریف بازگشتی را می‌توان به عنوان یک نقطه ثابت از برخی از تابع تعریف شده مناسب تعریف شده در تماس فراخوان با یک استدلال اضافی دیده می‌شود و بنابراین، با استفاده از Y، هر تابع تعریف بازگشتی را می‌توان به عنوان بیان لامبدا بیان کرد. به‌طور خاص، اکنون می‌توانیم تفکیک، ضرب و محاسبه مقادیر عدد طبیعی را به صورت مجزا تعریف کنیم.


title: حساب لامبدا

text: شرایط استاندارد


title: حساب لامبدا

text: اصطلاحات خاصی نام‌های رایج دارند:


title: حساب لامبدا

text: I: = λx.x


title: حساب لامبدا

text: K: = λx. λy.x


title: حساب لامبدا

text: S: = λx. λy. λz.x z (y z)


title: حساب لامبدا

text: B: = λx. λy. λz.x (y z)


title: حساب لامبدا

text: C: = λx. λy. λz.x z y


title: حساب لامبدا

text: W: = λx. λy.x y y


title: حساب لامبدا

text: U: = λx. λy.y (x x y)


title: حساب لامبدا

text: ω: = λx.x x


title: حساب لامبدا

text: Ω: = ω ω


title: حساب لامبدا

text: Y: = λg. (λx.g (xx)) (λx.g (xx))


title: حساب لامبدا

text: محاسبات لامبدا تایپ شده


title: حساب لامبدا

text: یک محاسبات لامبدا تایپ شده یک فرمالیسم تایپی است که از نماد لامبدا ({\ displaystyle \ lambda} \ lambda) برای انتساب تابع ناشناس استفاده می‌کند. در این زمینه، انواع معمولاً اشیاء طبیعت نحوی هستند که به شرایط لامبدا اختصاص دارند؛ نوع دقیق یک نوع بستگی به محاسبات دارد (نگاه کنید به انواع زیر). از دیدگاه خاص، محاسبات لامبدا تایپ شده را می‌توان به عنوان اصلاحاتی از محاسبات لامبدا غیرتصویر مشاهده کرد، اما از دیدگاه دیگر، آن‌ها همچنین می‌توانند تئوری بنیادی تر و محاسبات لامبدا با استفاده از یک مورد خاص با تنها یک نوع در نظر گرفته شوند.


title: حساب لامبدا

text: زبان‌های تایپ شده لامبدا زبان‌های برنامه‌نویسی پایه هستند و پایه زبان‌های برنامه‌نویسی کارکردی مانند ML و Haskell و غیرمستقیم زبان‌های برنامه‌نویسی ضروری را تایپ می‌کنند. Calibles lambda تایپ شده نقش مهمی در طراحی سیستم‌های نوع زبان‌های برنامه‌نویسی بازی می‌کند. در اینجا typability معمولاً ویژگی‌های مطلوب برنامه را ضبط می‌کند، برای مثال برنامه باعث نقض دسترسی به حافظه نمی‌شود.


title: حساب لامبدا

text: محاسبات لامبدا تایپ شده با منطق ریاضی و تئوری اثبات شده از طریق Isomorphism کاری-هوارد مرتبط هستند و می‌توان آن‌ها را به عنوان زبان داخلی کلاس‌های دسته‌بندی، به عنوان مثال محاسبات لامبدا به سادگی تایپ شده‌است زبان رده بسته دکارتی (CCCs).


title: حساب لامبدا

text: توابع قابل محاسبه و محاسبات لامبدا


title: حساب لامبدا

text: یک تابع F: N → N از اعداد طبیعی یک تابع قابل محاسبه است اگر و فقط اگر یک عبارت lambda f وجود دارد به‌طوری‌که برای هر جفت x, y در N, F (x) = y اگر و فقط اگر fx = β y، جایی که x و y عددهای church مربوط به x و y هستند و به ترتیب β = β معادل بودن با کاهش بتا است. این یکی از روش‌های بسیاری برای تعریف محاسبات است. دیدگاه کلیسون تورینگ را برای بحث در مورد رویکردهای دیگر و همسانیشان ببینید.


title: حساب لامبدا

text: عدم قطعیت برابر بودن


title: حساب لامبدا

text: هیچ الگوریتمی وجود ندارد که به عنوان ورودی دو علامت لامبدا و خروجی TRUE یا FALSE را در نظر بگیرد که آیا دو عبارت برابر هستند یا نه. این مسئله از لحاظ تاریخی اولین مشکل بود که قابل اثبات نیست. همان‌طور که برای اثبات غیرقابل انکار بودن معمول است، اثبات نشان می‌دهد که هیچ تابع قابل محاسبه نمی‌تواند همسان‌سازی را تعیین کند. سپس پایان‌نامه کلیسا به نشان می‌دهد که هیچ الگوریتمی نمی‌تواند این کار را انجام دهد.


title: حساب لامبدا

text: اثبات کلیسا برای اولین بار مشکل را برای تعیین اینکه آیا یک لامبدا داده شده به شکل نرمال است، کاهش می‌دهد. یک فرم عادی بیان معادل است که نمی‌تواند تحت قوانینی که توسط فرم اعمال می‌شود کاهش یابد. سپس فرض می‌کند که این پیش‌فرض قابل محاسبه است و بنابراین می‌تواند در محاسبات لامبدا بیان شود. بر اساس کار قبلی Kleene و ساخت شماره Gödel برای عبارات لامبدا، او یک عبارت لامبدا را ایجاد می‌کند که دقیقاً به اثبات اولین قضیه ناقص گودل می‌رسد. اگر e به شماره Gödel خود اعمال شود، یک تضاد حاصل می‌شود.


title: حساب لامبدا

text: محاسبات لامبدا و زبان‌های برنامه‌نویسی


title: حساب لامبدا

text: همان‌طور که توسط مقاله پیتر لندن در سال ۱۹۶۵ ذکر شده‌است A Correspondence between ALGOL 60 and Lambda-notation کلیسا، زبان برنامه‌نویسی رویه‌های متوالی را می‌توان از طریق محاسبات لامبدا، که مکانیسم اولیه برای انتزاع رویه و برنامه (زیر برنامه) کاربرد را فراهم می‌کند.


title: حساب لامبدا

text: توابع ناشناس


title: حساب لامبدا

text: به عنوان مثال، در Lisp تابع 'مربع' می‌تواند به صورت بیان lambda به صورت زیر بیان شود:


title: حساب لامبدا

text: مثال فوق یک عبارت است که به یک تابع کلاس اول ارزیابی می‌شود. نماد lambda تابع ناشناس ایجاد می‌کند، با توجه به لیستی از نام‌های پارامتر، (x) - فقط یک آرگومان در این مورد و یک عبارت است که به عنوان بدن تابع (* x x) ارزیابی می‌شود. توابع ناشناس گاهی اوقات عبارات لامبدا نامیده می‌شود.


title: حساب لامبدا

text: به عنوان مثال، پاسکال و بسیاری از زبان‌های ضروری دیگر، از طریق مکانیزم اشاره گرهای عملکرد، مدت زمان پشتیبانی از زیر برنامه‌ها را به عنوان استدلال برای دیگر برنامه‌های زیر پشتیبانی می‌کنند. با این حال، دستورالعمل‌های تابع شرایط کافی برای توابع به عنوان نوع داده‌های کلاس اول نیستند، زیرا یک تابع نوع داده کلاس اول است اگر و تنها اگر نمونه‌های جدیدی از تابع در زمان اجرا ایجاد شود؛ و این ایجاد زمان اجرای توابع در Smalltalk، جاوا اسکریپت، و اخیراً در Scala, Eiffel ("عوامل")، C # ("نمایندگان") و C ++ 11 در میان دیگر پشتیبانی می‌شود.


title: حساب لامبدا

text: استراتژی کاهش


title: حساب لامبدا

text: برای جزئیات بیشتر در مورد این موضوع، به استراتژی ارزیابی مراجعه کنید.


title: حساب لامبدا

text: این که آیا یک اصطلاح عادی است یا خیر، و چه مقدار کار باید انجام شود در عادی‌سازی آن، در صورت وجود، به شدت به استراتژی کاهش استفاده بستگی دارد. تمایز بین استراتژی‌های کاهش شامل تمایز در زبان‌های برنامه‌نویسی کاربردی بین ارزیابی مشتاق و ارزیابی تنبل است.


title: حساب لامبدا

text: کاهش بتا کامل


title: حساب لامبدا

text: هر گونه بازدهی می‌تواند در هر زمان کاهش یابد. این بدان معنی است که اساساً فقدان استراتژی کاهش خاص، با توجه به کاهش پذیری، «تمام شرط‌ها خاموش است».


title: حساب لامبدا

text: سفارش کاربردی


title: حساب لامبدا

text: راست‌ترین، بازخورد بیرونی همیشه اولین بار کاهش می‌یابد. به‌طور مستقیم این به این معنی است که استدلال‌های تابع همیشه قبل از تابع خود کاهش می‌یابد. دستور Applicatory همیشه تلاش می‌کند تا توابع را به فرم‌های معمول اعمال کند، حتی اگر این امکان‌پذیر نباشد.


title: حساب لامبدا

text: اکثر زبان‌های برنامه‌نویسی (از جمله Lisp, ML و زبان‌های ضروری مانند C و Java) به عنوان «سخت» توصیف می‌شوند، به این معنی که توابع اعمال شده به استدلال‌های غیرعادی غیرطبیعی هستند. این کار اساساً با استفاده از نظم اعمال انجام می‌شود، با کاهش ارزش تماس بگیرید (نگاه کنید به زیر)، اما معمولاً «ارزیابی مشتاق» نامیده می‌شود.


title: حساب لامبدا

text: سفارش عادی


title: حساب لامبدا

text: اولیای چپ و راست، خارج از محدوده همیشه اول کاهش می‌یابد. به عبارت دیگر، هر گاه استدلال‌ها قبل از اینکه استدلال‌ها کاهش یابد، به انتزاعی تعویض می‌شوند.


title: حساب لامبدا

text: تماس با نام


title: حساب لامبدا

text: به عنوان منظور عادی، اما در انتساب‌ها هیچ کاهشی انجام نمی‌شود. به عنوان مثال، λx (λx.x) x طبق این استراتژی در فرم عادی است، هرچند که حاوی redex (λx.x) x می‌باشد.


title: حساب لامبدا

text: با ارزش تماس بگیرید


title: حساب لامبدا

text: فقط بازخوانی‌های خارج از محدوده کاهش می‌یابد: یک مقدار بازده کاهش می‌یابد تنها زمانی که سمت راست آن به یک مقدار کاهش می‌یابد (انتزاعی متغیر یا لامبدا).


title: حساب لامبدا

text: با نیاز تماس بگیرید


title: حساب لامبدا

text: به عنوان مثال عادی، اما عملکرد برنامه‌های کاربردی که اصطلاحات را تکرار می‌کنند، به جای آن آرگومان نامیده می‌شود، که پس از آن فقط «هنگامی که لازم است» کاهش می‌یابد. در زمینه‌های عملی «ارزیابی تنبل» نامیده می‌شود. در پیاده‌سازی این «نام» به صورت یک اشاره گر به دست می‌آید، با استفاده از redex توسط Thunk نشان داده می‌شود.


title: حساب لامبدا

text: منظور کاربردی یک استراتژی عادی نیست. مثال نمونه معمولی به شرح زیر است: تعریف Ω = ωω که در آن ω = λx.xx. این کل عبارت شامل تنها یک redex است یعنی کل عبارت؛ کاهش آن دوباره Ω است. از آنجا که این تنها کاهش موجود است، Ω دارای فرم عادی نیست (تحت هر استراتژی ارزیابی). با استفاده از نظم اعمال، بیان KIΩ = (λx. λy.x) (λx.x) Ω توسط اولین کاهش از Ω به شکل عادی کاهش می‌یابد (از آنجایی که آن مجذور راست‌ترین است)، اما از آنجا که Ω دارای فرم عادی نیست، نظم اعمال ناکافی است برای پیدا کردن یک فرم عادی برای KIΩ.


title: حساب لامبدا

text: در مقابل، نظم طبیعی به اصطلاح نامیده می‌شود، زیرا اگر همیشه وجود داشته باشد، همیشه یک کاهش نرمال پیدا می‌کند. در مثال بالا، KIΩ طبق معمول به I، یک فرم عادی کاهش می‌یابد. یک نقص این است که بازنگری در استدلال ممکن است کپی شود و نتیجه محاسبات تکراری (به عنوان مثال (λx.xx) ((λx.x) y) به ((λx.x) y) ((λx.x) y) با استفاده از این استراتژی؛ در حال حاضر دو بازخوانی وجود دارد، بنابراین ارزیابی کامل نیاز به دو مرحله دارد، اما اگر این استدلال ابتدا کاهش یافته باشد، در حال حاضر هیچ‌کدام وجود ندارد).


title: حساب لامبدا

text: معامله مثبت استفاده از دستور applicative این است که اگر همه استدلال‌ها مورد استفاده قرار گیرد، محاسبات غیرضروری را ایجاد نمی‌کند، زیرا هرگز استدلال‌هایی را که حاوی redexes است جایگزین نمی‌کند و بنابراین هرگز نیازی به کپی کردن آن‌ها نیست (که کار را کپی می‌کند). در مثال فوق، در برنامه کاربردی (λx.xx) ((λx.x) y) ابتدا به (λx.xx) y و سپس به حالت عادی yy کاهش می‌یابد، و به جای آن سه مرحله را می‌گیرد.


title: حساب لامبدا

text: بیشتر زبان‌های برنامه‌نویسی کاملاً کاربردی (به ویژه میراندا و نسل‌های آن، از جمله Haskell) و زبان‌های اثبات شده از قضیه‌های پیشین، از ارزیابی تنبل استفاده می‌کنند که اساساً همان چیزی است که نیاز به نیاز دارد. این همانند کاهش نظم طبیعی است، اما نیاز به مدیریت می‌شود تا از تقسیم کار ذاتی در کاهش سفارش معمول با استفاده از اشتراک استفاده شود. در مثال فوق داده شده (λx.xx) ((λx.x) y) به ((λx.x) y) ((λx.x) y) کاهش می‌یابد، که دارای دو بازخوانی است، اما در تماس با نیاز، آن‌ها نماینده با استفاده از همان شیء به جای کپی، بنابراین هنگامی که یکی کاهش می‌یابد دیگر نیز است.


title: حساب لامبدا

text: یک یادداشت در مورد پیچیدگی


title: حساب لامبدا

text: در حالی که ایده کاهش بتا به اندازه کافی ساده به نظر می‌رسد، این یک گام اتمی نیست، در حالی که هنگام تخمینی پیچیدگی محاسباتی باید هزینه‌ای بی‌اهمیت داشته باشد. برای دقیق بودن، باید مکان‌یابی هر رخداد متغیر محدود V را در عبارت E پیدا کرد، یعنی یک هزینه زمانی، یا باید مسیری را از این مکان‌ها به نحوی پیگیری کرد، یعنی یک هزینه فضایی است. جستجوی ساده‌ای برای مکان‌های V در E برابر O (n) در طول n از E. این منجر به مطالعه سیستم‌هایی که از جایگزینی صریح استفاده می‌کنند. رشته‌های مدیر سینو، راهی برای ردیابی مکان‌های آزاد متغیر در عبارات ارائه می‌دهد.


title: حساب لامبدا

text: همزمان‌سازی و هم‌زمان سازی


title: حساب لامبدا

text: اموال church-rosser از محاسبات لامبدا به معنی آن است که ارزیابی (کاهش بتا) می‌تواند در هر جهت، حتی به صورت موازی انجام شود. این به این معنی است که استراتژی‌های ارزیابی غیرمتمرکز متفاوت هستند. با این حال، محاسبات لامبدا هیچ ساختاری صریح برای موازی ارائه نمی‌دهد. می‌توانید سازه‌هایی مانند Futures را به محاسبات لامبدا اضافه کنید. دیگر محاسبات فرایند برای توصیف ارتباطات و همگام‌سازی توسعه داده شده‌است.


title: حساب لامبدا

text: معناشناسی


title: حساب لامبدا

text: این واقعیت که شرایط محاسبات لامبدا در شرایط دیگر محاسبات لامبدا و حتی در خود عمل می‌کند، منجر به سوالاتی در مورد معناشناسی محاسبات لامبدا شد. آیا معنای منطقی به شرایط محاسبات لامبدا اختصاص دارد؟ معناشناسی طبیعی یافتن مجموعه‌ای D است که به صورت فضای تابع D → D عمل می‌کند. با این وجود، هیچگونه غیرقطعی مانند D ممکن است با محدودیت‌های قدرتمندی وجود داشته باشد؛ زیرا مجموعه‌ای از همه توابع از D به D دارای قدرت بیشتری نسبت به D است، مگر اینکه D یک مجموعه تک تک باشد.


title: حساب لامبدا

text: در دهه ۱۹۷۰، دانا اسکات نشان داد که اگر تنها توابع پیوسته در نظر گرفته شوند، یک مجموعه یا دامنه D با ملک مورد نیاز یافت می‌شود، بنابراین یک مدل برای محاسبات لامبدا ارائه می‌شود.


title: حساب لامبدا

text: این کار همچنین پایه و اساس معانی معانی زبان‌های برنامه‌نویسی را تشکیل می‌دهد.


title: حساب لامبدا

text: 1. Turing, A. M. (دسامبر ۱۹۳۷). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. JSTOR 2268280. doi:10.2307/2268280.


title: حساب لامبدا

text: 2. Jump up^ Coquand, Thierry, "Type Theory", The Stanford Encyclopedia of Philosophy (Summer 2013 Edition), Edward N. Zalta (ed.).


title: حساب لامبدا

text: 3. Jump up^ Moortgat, Michael (1988). Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris Publications.


title: حساب لامبدا

text: 4. Jump up^ Bunt, Harry; Muskens, Reinhard, eds. (2008), Computing Meaning, Springer,


title: نانوکریستال‌های درمانی

text: در طی سال‌های گذشته با کمک علم شیمی و کامپیوتر، طراحی‌های زیادی برای ترکیب‌های دارویی انجام شده‌است، هر چند حدود ۶۰٪ از این ساختارها در آب کم محلول هستند. فرموله کردن این ساختارها از مشکلات اساسی دانشمندان داروسازی است زیرا این دسته از ترکیبات، به دلیل سرعت انحلال پایین و پخش شدن آهسته، فراهمی زیستی و جذب کمی خواهند داشت. برای جذب خوراکی، داروها باید بتوانند شیب غلظتی مناسبی را بین محیط گوارشی و جریان خون ایجاد نمایند؛ ولی در مورد داروهای کم محلول این شیب غلظتی کم و در نتیجه جذب نیز کم می‌شود. در راه‌های غیر خوراکی نیز، اگر دارو کم محلول باشد به خوبی در محل تزریق حل نمی‌شود و در نتیجه نمی‌توان سطح مناسبی از دارو را در خون ایجاد نمود. برای رفع این مشکلات راه حل‌هایی نظیر استفاده از ایجاد نمک، کمک‌حلال‌ها، داخل کردن به سیکلودکسترین‌ها (ساختارهایی شبیه به سبد با حفره‌ای در وسط که قابلیت ورود ترکیبات به درون این حفره وجود دارد) یا استفاده از حامل‌ها نظیر پراکندگی جامدات و لیپوزوم‌ها ارائه شده‌است. متأسفانه استفاده از این راهکارها برای همه داروها ممکن نیست مثلاً برخی داروها به سختی به یون تبدیل می‌شوند تا بتوان از آن‌ها نمک ایجاد نمود، یا برای داخل شدن به ساختار سیکلودکسترین‌ها مناسب نیستند. همچنین افزودنی‌هایی که در فرمولاسیون‌ها استفاده می‌شود همیشه کمک کننده نیست. به‌طور مثال محلول دارویی تزریقی تاکسول که امروزه در بازار دارویی وجود دارد حاوی مقادیر بالایی از Cremophor EL است که برای بهبود فراهمی زیستی پاکلیتاکسول مورد استفاده قرار گرفته‌است اما موجب عوارض جانبی نظیر شوک آلرژیک می‌شود. در دهه ۹۰ میلادی، نانوکریستال‌های دارویی توجه محققین دارویی را به خود جلب نمود. نانوکریستال‌های دارویی، پراکندگی کلوئیدی با اندازه کمتر از میکرومتر می‌باشند که تقریباً حاوی ۱۰۰٪ ماده فعال دارویی بوده و با کمک مقادیر ناچیز از پایدارکننده‌هایی نظیر پلیمرها یا سورفاکتانت‌ها پایدار می‌شوند. محیط پراکنده کنندهٔ این ساختارها می‌تواند آب، محلول‌های مایی یا غیر مایی (مثل پلی اتیلن گلیکول مایع یا روغن‌ها) باشد. بسته به تکنولوژی ساخت، ذرات جامد ایجاد شده می‌توانند آمورف یا کریستالی باشند که در نتیجه این ذرات، نانوکریستال در ساختار آمورف نیز نامیده می‌شوند.


title: نانوکریستال‌های درمانی

text: با کاهش اندازه ذره سطح تماس بین ذره و محیط اطراف افزایش یافته و در نتیجه سرعت انحلال (که به میزان سطح تماس مرتبط است) افزایش می‌یابد.


title: نانوکریستال‌های درمانی

text: ساختارهای آمورف سرعت انحلال بیشتری دارند در نتیجه اگر حین تولید این ساختارها ایجاد شوند زمان مورد نیاز برای انحلال کمتر شده و سرعت اثر دارو افزایش می‌یابد. همان‌طور که در مقالات قبل نیز ذکر شده‌است، نانوذرات نسبت به ذرات بزرگتر از نظر جذب و اثربخشی بهتر عمل می‌کنند.


title: نانوکریستال‌های درمانی

text: در کل روش‌های تولید نانوذرات کریستالی به دو دسته بالا- پایین (top-down) و پایین- بالا (down-top) تقسیم می‌شوند. روش پایین- بالا مانند روش رسوبی به این معنا است که نانوکریستال‌ها از مولکول‌ها ساخته می‌شوند اما در روش بالا- پایین مانند تکنیک هموژنایز کردن و سایش دانه‌ای، نانوکریستال‌ها با تخریب و واپاشی مرحله به مرحله از پودر سخت ایجاد می‌گردند.


title: نانوکریستال‌های درمانی

text: داروی کم محلول در آب، در یک حلال (غالباً حلال آلی) حل و محلول به یک ضد حلال (antisolvent) قابل امتزاج با آب (حلال مایی) اضافه و چرخیده می‌شود. با این کار اشباع سریع رخ داده و موجب هسته زایی و ایجاد رسوب می‌گردد. روش رسوبی این مزیت را دارد که یک داروی خاص می‌تواند در حلال‌های مختلف، میزان انحلال‌های متفاوتی داشته باشد که این امر خود بر هسته زایی مؤثر است. هرچند ذرات ایجاد شده در فرمولاسیون نهایی می‌توانند رشد کنند و با افزایش اندازه، موجب بروز مشکلاتی در فراورده‌های دارویی شوند. برای جلوگیری از این پدیده اغلب پایدارکننده‌ها به فرمولاسیون اضافه می‌شود. در روش رسوبی، برخی از عوامل بر اندازه و یکسان‌سازی ذرات اثرگذار است:


title: نانوکریستال‌های درمانی

text: با افزایش سرعت چرخش، ذرات کوچکتر می‌شوند زیرا سرعت بالاتر، پخش شدن دارو را بین فازها افزایش داده و موجب ازدیاد تعداد هسته‌های ایجاد شده و در نتیجه تولید ذرات کوچکتر می‌گردد. اگر نسبت ضد حلال به حلال نیز افزایش یابد موجب اشباع‌پذیری بین سطوح فازها و هسته زایی سریعتر می‌شود. میزان داروی وارد شده نیز نباید زیاد باشد زیرا موجب افزایش احتمال تجمع ذرات اطراف هم و بزرگتر شدن آن‌ها می‌گردد. در این روش معمولاً دما را نیز پایین در نظر می‌گیرند. در دمای پایین‌تر اشباع پذیری سریع تر انجام می‌شود به علاوه، با توجه به گرمازا بودن واکنش هسته زایی، هرچه دما کمتر باشد هسته زایی بهتر انجام می‌شود. روش رسوبی ساده و مقرون به صرفه است و نیاز به تجهیزات گران‌قیمت ندارد. به‌علاوه به دلیل عدم نیاز به انرژی بالا برای انجام آن، احتمال تخریب دارو نیز کاهش می‌یابد. گاه با استفاده از این روش، اشکال آمورف نیز ایجاد می‌شود که موجب افزایش سرعت انحلال دارو می‌گردد. اشکال آمورف یک عیب دارند و آن این است که حالت‌های آمورف با انرژی بالاتر تمایل دارند به فرم کریستاله که پایدارتر است برسند و این مورد بر پایداری دارو مؤثر خواهد بود. باقی ماندن حلال در محصول نهایی و نیاز به محلول بودن دارو در حداقل یک حلال، از دیگر محدودیت‌های این روش برای تولید نانوذرات کریستالی است. در این روش دارو، سورفاکتانت و آب وارد محفظهٔ سایش حاوی دانه‌های سایشی (milling pearls) که از جنس شیشه، زیرکونیوم اکسید یا رزین پلی استایرن هستند شده و با چرخش دانه‌ها با انرژی بالا، دارو به نانوذره تبدیل می‌شود (شکل ۳). در کل، بهینه‌سازی این روش به عوامل زیر بستگی دارد: اگر میزان دارو و زمان سایش زیاد باشد، احتمال تجمع ذرات و کلوخه شدن آن‌ها افزایش می‌یابد. با افزایش سرعت سایش و نیز تعداد دانه‌های سایشی، میزان انرژی مصرفی توسط دستگاه بیشتر می‌شود که از نظر اقتصادی مقرون به صرفه نیست. در برخی گزارش‌ها ذکر شده‌است که کاهش دما از کلوخه شدن ذرات جلوگیری می‌نماید. به همین دلیل در بسیاری از فرایندهای تولید، با وارد کردن نیتروژن مایع دمای محفظهٔ سایش را کاهش می‌دهند. روش سایش دانه‌ای ساده است و برای داروهای نامحلول در محیط مایی و غیر مایی کاربرد دارد. این فرایند در حجم‌های مختلف از میلی لیتر تا لیتر قابل استفاده است و در نتیجه هم در آزمایشگاه‌های تحقیقاتی و هم در صنعت قابلیت اجرا دارد. اولین محصولی که با این روش تولید شد، Rapamune® بوده‌است که در سال ۲۰۰۰ معرفی گردید. این روش تولید در مقایسه با تکنیک رسوبی نیاز به انرژی بیشتری دارد. به علاوه این نگرانی نیز وجود دارد که با سایش دانه‌ها ترکیباتی از آن‌ها وارد محصول شده و موجب آلودگی محصول نهایی شود. همچنین این روش زمانبر است و این زمان ممکن است از چند ساعت تا چند روز ادامه یابد که همین موضوع احتمال آلودگی میکروبی فراورده را افزایش می‌دهد. در این روش، سوسپانسیونی حاوی دارو، سورفاکتانت و آب از یک شکاف بسیار باریک با سرعت بسیار بالا عبور کرده و ذرات را به اندازه نانو درمی‌آورد. این روش نیز مانند روش سایش دانه‌ای، برای داروهای نامحلول در محیط مایی و غیر مایی مناسب است.


title: نانوکریستال‌های درمانی

text: عوامل زیر بر بهینه عمل کردن این روش مؤثر هستند:


title: نانوکریستال‌های درمانی

text: با افزایش فشار اعمال شده معمولاً اندازه ذرات کاهش می‌یابد. اغلب در آزمایشگاه‌ها حداکثر فشار لازم برای تهیه نانوذرات کریستالی دارویی حدود ۱۵۰۰ بار است. البته هر چه ذرات سخت‌تر باشند فشار لازم برای کاهش اندازه آن‌ها بیشتر خواهد بود. هرچه تعداد دفعات هموژنایز کردن بیشتر شود، ذرات اندازه یکسان‌تری خواهند داشت. با کمک شکل ۵ این موضوع روشن‌تر خواهد شد. طی یک تحقیق اثر تعداد دفعات هموژنایز کردن بر اندازه ذرات بررسی شد و نشان داد که با افزایش تعداد دفعات قطر کلی ذرات به هم نزدیکتر شده و گستردگی اندازه ذرات که یکی از معایب تولید است، کاهش می‌یابد. با انجام عمل هموژنایز کردن دمای محفظه انجام فرایند افزایش می‌یابد که برای داروهای حساس به حرارت مناسب نیست در نتیجه اغلب از یک دستگاه خنک‌کننده در این روش استفاده می‌شود. یک مزیت عمده در این روش قابلیت تولید زیاد محصول بدون نگرانی از آلوده شدن آن است که نسبت به روش سایش دانه‌ای یک مزیت بزرگ محسوب می‌شود.


title: نانوکریستال‌های درمانی

text: محصولاتی را که با بکارگیری روش‌هایی که تاکنون نام برده شد تولید می‌شوند، نسل اول نانوکریستال‌ها گویند. در نسل دوم از مخلوطی از روش‌ها برای تولید استفاده می‌شود. اصل این روش‌ها بر پایه هموژنایز کردن است با این تفاوت که پیش از ورود ذرات به هموژنایزر یکسری عملیات بر روی آن‌ها صورت می‌گیرد. جدول زیر به‌طور خلاصه نام فرایندهای نسل دوم و پیش عملیات لازم بر روی ذرات قبل از مرحله هموژنایز کردن را نشان می‌دهد.


title: نانوکریستال‌های درمانی

text: در نسل اول اغلب ذرات ایجاد شده اندازه‌ای کمتر از ۲۰۰ نانومتر دارند اما در نسل دوم این محدوده کوچکتر شده و به زیر ۱۰۰ نانومتر می‌رسد. با همراهی روش‌هایی نظیر سایش و هموژنایز کردن در نسل دوم نانوکریستال‌ها، در حقیقت از دو راه اندازه ذرات کاهش می‌یابد که این امر به کم شدن گستره اندازه ذرات کمک می‌کند. هرچه ذرات اندازه مشابه‌تری داشته باشند احتمال تجمع و کلوخه شدن آن‌ها کاهش می‌یابد که این امر خود از مزایای نسل دوم نسبت به نسل اول است.


title: نانوکریستال‌های درمانی

text: داروهای دیگری نیز به صورت نانوکریستال وجود دارند که در حال گذراندن مراحل بالینی برای ورود به بازار دارویی هستند.


title: نانوکریستال‌های درمانی

text: نانوذرات با اندازه‌های کمتر از ۱۵۰ نانومتر احتمال سمیت سلولی را افزایش می‌دهند زیرا این ساختارها توانایی ورود به همه سلول‌های بدن و ایجاد سمیت در آن‌ها را دارند. به علاوه این روش تولید اغلب برای داروهای دسته II در داروسازی یعنی داروهایی با انحلال کم و در عین حال قابلیت نفوذ بالا به بافت‌ها قابل استفاده است.


title: نانوکریستال‌های درمانی

text: نانوکریستال‌های دارویی یکی از مهم‌ترین راه‌های فرمولاسیون برای داروهای کم محلول است که تاکنون معرفی شده‌است. این فرمولاسیون‌ها ساده بوده و نیاز به همراهی ترکیبات دیگر (که خود می‌توانند باعث ایجاد عوارض شوند) برای بهینه‌سازی ندارند. با توجه به آنکه تعداد داروهای معرفی شده کم محلول در حال افزایش است، گمان می‌رود که نانوکریستال‌ها بتوانند در آینده جایگاه مناسبی را در بین فرمولاسیون‌های دارویی برای وارد کردن این داروها داشته باشند.


title: زینایدا سربریاکوآ

text: زینایدا سربریاکوآ نقاش اهل روسیه بود.


title: زینایدا سربریاکوآ

text: برخی از نقاشی‌های سقفی و دیواری تئاتر هنری مسکو از کارهای زینایدا سربریاکوآ است.


title: زینایدا سربریاکوآ

text: June 22, 2017).


title: مترو اکسدس

text: مترو اِکسدِس یا مترو مهاجرت یک بازی ویدئویی در سبک تیراندازی اول شخص است که توسط ۴ای-گیمز ساخته شده، و بوسیلهٔ دیپ سیلور در تاریخ ۱۵ فوریه ۲۰۱۹ برای مایکروسافت ویندوز، پلی‌استیشن ۴ و اکس‌باکس وان منتشر شد. این بازی برای اولین بار در طی نمایشگاه رسانه و تجارت ای۳ ۲۰۱۷ رونمایی شد. داستان "مترو اکسدس" اقتباسی از رمان‌های مترو ۲۰۳۵ و مترو ۲۰۳۳ اثر دیمیتری گلوخوفسکی است، و رخدادهای آن پس از "" دنبال می‌شود.


title: مترو اکسدس

text: این بازی از گرافیک بالاتر و اسلحه‌های پیشرفته‌تر نسبت به "مترو: آخرین نور" و "مترو: احیا شده" برخوردار است. همچنان شخصیت اصلی بازی آرتیوم بوده و شیوهٔ روایی داستان بازی و مراحل آن به صورت غیر خطی است. یکی از نکات بازی حضور دوبارهٔ انسان‌ها بدون ماسک اکسیژن در سطح زمین است که این یک تحول بزرگ در دنیای مترو به‌شمار می‌رود.


title: مترو اکسدس

text: اولین پیش پرده این بازی در نمایشگاه رسانه و تجارت ای۳ ۲۰۱۷ در کنفرانس مایکروسافت به نمایش درآمد. بازی در ابتدا قرار بود توسط استیم در رایانه‌های شخصی عرضه شود اما پس از مدتی شرکت سازنده، دیپ سیلور، اعلام کرد که این بازی توسط فروشگاه مخصوص شرکت اپیک گیمز به صورت اختصاصی به فروش می‌رسد و کدهای این بازی نیز مخصوص این سکوی توزیع خواهد بود. این بازی در تاریخ ۱۵ فوریه ۲۰۱۹، برای پلت‌فرم‌های مایکروسافت ویندوز، پلی‌استیشن ۴ و اکس‌باکس وان منتشر شد.


title: امیلیا پلاتر

text: کنتس امیلیا پلاتر (به انگلیسی:Countess Emilia Plater یا Broel-Plater; ؛ ۱۳ نوامبر ۱۸۰۶ – ۲۳ دسامبر ۱۸۳۱–۲۵ سال) یک زن نجیب زاده لهستانی و انقلابی بود که در تجزیه لهستان از مشترک‌المنافع لهستان–لیتوانی نقش داشت.


title: امیلیا پلاتر

text: او به عنوان یک وطن‌پرست لهستانی مطرح شده که در قیام نوامبر ۱۸۳۰ سنتی در جنگ بنانهاد که یک واحد کوچک در چندین درگیری شرکت می‌کند. او به دریافت رتبه کاپیتان یا سروان در نیروهای شورشی لهستانی رسید.


title: امیلیا پلاتر

text: امیلیا پلاتر در نزدیکی پایان قیام بیمار شد و درگذشت.


title: انزو روکو

text: انزو پابلو روکو روکو (؛ زادهٔ ) بازیکن فوتبال اهل شیلی است.


title: انزو روکو

text: از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به الچه، اسپانیول، و باشگاه فوتبال کروز آزول اشاره کرد.


title: انزو روکو

text: وی همچنین در تیم ملی فوتبال شیلی بازی کرده‌است.


title: آنخلو ساگال

text: آنخلو نیکولاس ساگال تاپیا (؛ زادهٔ ) بازیکن فوتبال اهل شیلی است.


title: آنخلو ساگال

text: از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال پاچوکا اشاره کرد.


title: آنخلو ساگال

text: وی همچنین در تیم ملی فوتبال شیلی بازی کرده است.


title: پائولو دیاز

text: پائولو سزار دیاز هوینکالس (؛ زادهٔ ) بازیکن فوتبال اهل شیلی است.


title: پائولو دیاز

text: از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به کولو-کولو، سن لورنسو، الاهلی و ریور پلاته اشاره کرد.


title: پائولو دیاز


title: روابط ایران و سودان

text: روابط ایران و سودان () روابط فی‌مابین دو کشور ایران و سودان است. این دو کشور نزدیک به سه دهه رابطه دیپلماتیک، اقتصادی و نظامی داشتند و هر دو کشور از این رابطه نزدیک اظهار رضایت می‌کردند.


title: روابط ایران و سودان

text: سودان در مارس ۲۰۱۵ ساعاتی قبل از پیوستن به عملیات عربستان سعودی در یمن تصمیم به اخراج کلیه ایرانیان از سودان گرفت. رئیس‌جمهور سودان گفت که، پیوستن به ائتلاف عربی در محاسبه اقتصادی بسیار به نفع اقتصاد شکننده سودان بوده و از پیوستن جامعه سودان به داعش جلوگیری می‌کند و برای امنیت منطقه بسیار ضروری است. این تصمیم سودان و راه یافتن آن به ائتلاف کشورهای عربی با استقبال مطبوعات و جامعه عربی مواجه شد. در ۴ ژانویه ۲۰۱۶ سودان کلیه روابط دیپلماتیک خود را به دلیل تنش‌های بین عربستان سعودی و ایران قطع کرد و روابط بین دو کشور به سردی گرایید.


title: روابط ایران و سودان

text: سودان روابط خوبی با شاه ایران داشت و تعدادی وام قبل از انقلاب ایران، بمنظور تأمین امنیت دریافت کرده بود. پس از انقلاب ایران، در جنگ ایران و عراق، سودان از عراق در راستای سیاست اتحادیه عرب حمایت می‌کرد. در اواخر سال ۱۹۸۰ صادق المهدی، نخست‌وزیر سودان بمنظور برقراری رابطه با ایران یک سفر رسمی به ایران کرد. پس از کودتای نظامی در سودان که منجر به روی کار آمدن عمر البشیر شد، رابطه ایران و سودان نزدیک شد، رابطه نزدیک با ایران، به اسلامیزه شدن سودان کمک می‌کرد.


title: روابط ایران و سودان

text: در دوران جنگ سرد سودان نزدیک‌ترین متحد ایران در آفریقا بود، سودان تنها کشور آفریقایی تحت حکومت اسلام گرایان بود. علی‌رغم شکاف بین شیعه و سنی در دو کشور، رابطه آنها بسرعت نزدیک می‌شد. در سال ۱۹۹۱ رئیس‌جمهور ایران علی اکبر رفسنجانی به همراه یک هیئت ۱۵۰ نفره یک سفر رسمی به خارطوم داشت، در این سفر وی گفت که انقلاب اسلامی سودان در کنار انقلاب پیشگام ایران بدون شک می‌تواند منبع حرکت و انقلاب در جهان اسلام باشد.


title: روابط ایران و سودان

text: برای اولین بار در آوریل ۲۰۰۶ رئیس‌جمهور سودان به ایران رفت و با سید علی خامنه‌ای و محمود احمدی‌نژاد ملاقات کرد.


title: روابط ایران و سودان

text: در فوریه ۲۰۰۷ محمود احمدی‌نژاد به سودان سفر کرد و با عمر البشیر رئیس‌جمهور سودان ملاقات کرد. طی این سفر محمود احمدی‌نژاد بر آمادگی کامل جمهوری اسلامی ایران برای انتقال تجربیات خود به سودان در بخش‌های مختلف تأکید کرد.


title: روابط ایران و سودان

text: بدنبال حکم بازداشت رئیس‌جمهور سودان در ژوئن ۲۰۰۸ بعد از درگیریهای سودان شمال و جنوبی که منجر به کشته شدن تعداد زیادی از دو طرف شد. جمهوری اسلامی ایران بمنظور نزدیکی بیشتر به سودان به این حکم انتقاد کرد و این موضوع باعث استحکام روابط ایران و سودان شد.


title: روابط ایران و سودان

text: کشور سودان یک کشور اسلامی و فقیر است و جمهوری اسلامی ایران طی این مدت با سرمایه‌گذاری در این کشور روابط مستحکمی با سودان برقرار کرده بود. جمهوری اسلامی ایران همواره از کشور سودان به عنوان یک کشور مناسب و دارای ظرفیت‌های انقلابی و اسلامی برای ایجاد رابطه فرهنگی و اقتصادی نام می‌برد.


title: روابط ایران و سودان

text: در سال ۱۹۹۱ شواهدی از افزایش روابط اقتصادی و نظامی بین ایران و سودان مشاهده شده‌است. تعداد زیادی از رهبران بلندپایه ایران از سودان بازدید کردند و در آن زمان قراردادهای تجاری بین دو کشور بسته شد. روابط اقتصادی دو جانبه سودان یک منطقه تمرکز بین سودان و ایران شد. شک بر این بود که ایران سالانه یک میلیون تن نفت سودان را تأمین می‌کرد.


title: روابط ایران و سودان

text: در دسامبر ۲۰۰۴ جمهوری اسلامی ایران اعلام کرد که فعالیتهای بخش خصوصی ایران در سودان افزایش خواهد یافت.


title: روابط ایران و سودان

text: در اکتبر ۲۰۱۲ تصفیه‌خانه آب عطبره سودان به همت مهندسان ایرانی و تأمین مالی ۱۷۷ میلیون دلاری بانک توسعه صادرات احداث و به بهره‌برداری رسید. در اکتبر ۲۰۱۲ بعد از حمله اسرائیل به بخشهایی از کارخانه مهمات سازی یرموک در سودان، خبرهایی در مطبوعات عربی مبنی بر اینکه این کارخانه توسط سپاه پاسداران جمهوری اسلامی تأسیس و راه اندازی شده‌است، منتشر شد. بعد از حمله اسرائیل به کارخانه دو کشتی جنگی ایران به بندر پورت سودان در ساحل دریای سرخ بمدت سه روز لنگر انداختند.


title: روابط ایران و سودان

text: در نوامبر سال ۱۹۹۳ گزارش شد که ایران به سودان برای خرید ۲۰ هلیکوپتر تهاجمی از چین کمک مالی کرده‌است. ایران در کمک ۱۷ میلیون دلاری به دولت سودان متعهد شد و تأمین ۳۰۰ میلیون دلار تسلیحات چینی برای ارتش سودان را پرداخت کرد.


title: روابط ایران و سودان

text: بر اساس گزارش‌های منتشر شده، ایران ۲۰۰۰ نفر از نیروهای سپاه پاسداران را به سودان اعزام کرد. علی اکبر ترکان، وزیر دفاع ایران، با فرمانده ارتش سودان بمنظور کمکهای نظامی بیشتر ملاقات کرد. سودان ارتش خود را بعد از آموزش توسط سپاه پاسداران ایران بازسازی کرد.


title: روابط ایران و سودان

text: در سال ۱۹۹۵ یک هیئت نظامی ایران بمنظور تأمین نیازمندیهای نظامی سودان از خارطوم بازدید کرد. ایران اقدام به تأمین خودروهای نظامی، توپخانه سنگین، تجهیزات راداری برای ارتش سودان کرد. در سال بعد، دو کشور توافقنامه‌ای برای گسترش دامنه همکاری‌های خود امضا کردند.


title: روابط ایران و سودان

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


title: روابط ایران و سودان

text: در جریان جنگ داخلی لیبی در سال ۲۰۱۱، سازمانهای اطلاعاتی غربی گزارش دادند که نیروی قدس ایران ده‌ها موشک سطح به هوای ساخت روسیه را از لیبی منتقل کرده و آنها را از مرز به سودان منتقل کرده‌است. بر اساس این گزارش این تسلیحات شامل موشکهای SA-24 که در سال ۲۰۰۴ به لیبی فروخته شد، می‌شد. مقامات رسمی اطلاعاتی، همچنین بر عقیده بودند که سلاح‌های دیگری که از قذافی کشف و ضبط شده بود در یک تأسیسات مخفی در شمال دارفور که در دست نیروهای سپاه پاسداران ایران بود، نگهداری می‌شد.


title: روابط ایران و سودان

text: در یک سند درز داده شده در تابستان ۲۰۱۴ آمده‌است که رابطه بین سودان و ایران رابطه استراتژیک نظامی و دفاعی است. ژنرال صدیق عامر مدیر کل اطلاعات و امنیت سودان گفت ”ایران بزرگترین متحد ما در منطقه از نظر همکاری‌های در زمنیه اطلاعاتی و محصولات صنایع نظامی می‌باشد”.


title: روابط ایران و سودان

text: در طول هفته آخر ماه آوریل ۲۰۰۶، رئیس‌جمهور سودان، عمر البشیر، با تعدادی از چهره‌های سرشناس ایران شامل رهبر انقلاب علی خامنه‌ای و رئیس‌جمهور محمود احمدی‌نژاد دیدار کرد. در کنفرانس مطبوعاتی مشترک‌البشیر با احمدی‌نژاد در ۲۴ آوریل، احمدی‌نژاد توضیح داد که گسترش رابطه بین دو کشور در خدمت منافع هر دو کشور و منطقه و جهان اسلام و بویژه تقویت صلح و ثبات در منطقه است. قبل از اینکه کنفرانس بپایان برسد البشیر پیشرفت‌های موفقیت‌آمیز ”اهداف صلح طلبانه انرژی هسته‌ای” ایران را تبریک گفت، در حالی که احمدی‌نژاد مخالفت خود را از حضور صلح بانان سازمان ملل در دارفور را اعلام کرد.


title: روابط ایران و سودان

text: رئیس‌جمهور عمر البشیر در ژوئیه ۲۰۱۱ از ایران و محمود احمدی‌نژاد در سپتامبر ۲۰۱۱ از خارطوم بمنظور بحث در ابعاد استراتژیک منطقه‌ای و بین‌المللی بازدید کردند.


title: روابط ایران و سودان

text: در اکتبر ۲۰۱۱ احمدی‌نژاد اظهار داشت که رابطه ایران و سودان بر اساس ارزشهای اسلامی بنا شده‌است، بعدها بشیر اظهار داشت که سودان قصد دارد قانون اساسی خود را بر اساس قوانین اسلام در دولت تغییر دهد.


title: روابط ایران و سودان

text: در ۸ دسامبر ۲۰۱۲ دو کشتی جنگی ایران در بندر سودان لنگر انداختند. نیروی دریایی ایران به عنوان بندر دوم خود بمدت ۵ هفته در این بندر بسر بردند. نیروی دریایی ایران اعلام کرد که ناوچه ۱۴۰۰ تنی جماران با حمایت کشتی ۴۷۰۰ تنی بوشهر لنگر بعد از انجام ماموریت‌های موفقیت‌آمیز خود در دریای سرخ در بندر سودان از طرف فرماندهان نیروی دریایی سودان مورد استقبال قرار گرفتند.


title: روابط ایران و سودان

text: سخنگوی ارتش سودان ساوارمی خالد سعید اعلام کرد که حضور کشتی‌های جنگی ایران در ۳۰ نوامبر بخشی از مبادلات دیپلماتیک و نظامی بین دو کشور محسوب می‌شود و برای سه روز می‌باشد. پیش از این، دو کشتی نیروی دریایی ایران بنام کشتی خارک و ناوچه دریاسالار نقدی حدود دو روز در بندر سودان در اواخر اکتبر ۲۰۱۲ لنگر انداخته بودند.


title: روابط ایران و سودان

text: رایزن فرهنگی ایران در سودان در سالهای ۲۰۰۴ تا ۲۰۱۰ بمدت ۵ سال و نیم شیخ ابراهیم انصاری بود. انصاری بعد از آن به لبنان رفت و در سال ۲۰۱۳ در انفجار سفارت ایران در لبنان کشته شدزندگینامه انصاری نشان می‌دهد که وی یکی از عناصر اصلی اشاعه شیعه در کشورهای دیگر بوده‌است.


title: روابط ایران و سودان

text: بعد از انصاری شیخ ملکوتی‌تبار رایزن فرهنگی ایران در سودان شد.


title: روابط ایران و سودان

text: در سپتامبر ۲۰۱۴ وزارت‌خارجه سودان تصمیم به بستن رایزنی فرهنگی ایران در خارطوم را بطور قطعی اعلام کرد و گفت که در این مورد هیچ‌گونه تجدید نظری صورت نخواهد گرفت، رسانه‌ها به نقل از مقامات سودانی دلیل بسته شدن رایزنی فرهنگی ایران در سودان را اشاعه فرهنگ شیعه در این کشور ذکر کردند.


title: روابط ایران و سودان

text: در ۴ ژانویه ۲۰۱۶ در واکنش به حکم اعدام شیخ نمر در عربستان افرادی از بسیج جمهوری اسلامی اقدام به حمله و آتش زدن سفارت عربستان در تهران و مشهد کردند بعد از این واقعه عربستان با اخراج کلیه نفرات سفارت ایران در عربستان اعلام کرد که با ایران قطع رابطه می‌کند.


title: روابط ایران و سودان

text: بدنبال آن برخی از کشورهای عربی ازجمله سودان نیز در حمایت از عربستان با جمهوری اسلامی ایران قطع رابطه کرده و سفیر ایران را از سودان اخراج کرد.


title: روابط ایران و سودان

text: در ۲۷ ژوئن ۲۰۱۵ بعد از تصمیم دولت سودان مبنی بر بستن رایزن فرهنگی ایران در سودان، جمهوری اسلامی ایران کلیه طرح‌های عمرانی خود در سودان را متوقف کرد. این طرحها شامل پروژه ایستگاه آب در شهر ام درمان و ساخت پل در پایتخت بر روی رودخانه نیل بود.در همین تاریخ رئیس‌جمهور سودان اعلام کرد که ایران قصد سیطره بر کشورهای عربی را دارد.


title: روابط ایران و سودان

text: در دسامبر ۲۰۱۵ برای اولین بار ریاست جمهوری سودان هیئت دیپلماتیک جمهوری اسلامی ایران را اخراج کرد و سفیر خود را از تهران فراخواند و این در حالی بود که پیش از این سودان یکی از حامیان سرسخت جمهوری اسلامی ایران بود.


title: روابط ایران و سودان

text: در ۱۳ مارس ۲۰۱۷ دولت سودان از دادن ویزا به هیئت ایران برای شرکت در اجلاسICAPP در سودان خودداری کرد.


title: جان براشر

text: دکتر جان آلفرد براشر (; – ) ستاره‌شناس، و مهندس اهل ایالات متحده آمریکا بود.


title: جان براشر

text: جان براشر در براونزویل، پنسیلوانیا، شهری در ۳۵ مایلی جنوب پیتسبرگ و در امتداد رودخانه مونونگاهلا به دنیا آمد. پدرش، باسیل برون براشر یک زین ساز اسب بود و مادر وی، جولیا اسمیت براشر، معلم مدرسه بود. او فرزند بزرگ خانواده بین هفت فرزند بود. به عنوان یک پسر، او به شدت تحت تأثیر پدربزرگ مادری خود، ناتانیال اسمیت، که تعمیرکار ساعت بود قرار گرفته بود. وقتی او نه ساله بود پدربزرگش او را به تماشای تلسکوپ «اسکوایر» متعلق به جوزف. پی ومپلر برد. ومپلر در سلسله سفراتش به نقاط مختلف برای نمایش تلسکوپش، به ایستگاه براونزویل رسیده بود. نمایش تأثیرگذار ماه و سیاره زحل در آن تلسکوپ تا آخر عمر در ذهن براشر باقی ماند. پس از پذیرفته شدن در یک مدرسه عمومی تا ۱۵ سالگی او شاگرد یک کارگر بود و در ۲۰ سالگی او دیگر کار و کاسبی خودش را داشت.


title: جان براشر

text: در آغاز سال ۱۸۶۱ براشر به عنوان یک آسیاب ساز در یک کارخانه فولادسازی مشغول به کار شد. او علاقه اش را به اخترشناسی در شب‌ها به همراه همسرش، فوئه استوارت دنبال می‌کرد. فوئه استوارت یک معلم مدرسه بود که در سال ۱۸۶۱ با براشر آشنا شد و در سال ۱۸۶۲ با یکدیگر ازدواج کردند. در راستای تهیه یک تلسکوپ، براشر کارگاه خودش را در پشت خانه‌اش در یک زمین به وسعت سه متر مربع بنا کرد و موفق شد یک عدسی نورشکن برای خودش بسازد.


title: جان براشر

text: در آغاز سال ۱۸۸۰ او وقتش را به تولیدات نجومی و همچنین صنایع علمی و اجرای آزمایش‌هایش اختصاص داد. او روش نوین و بهبود یافته‌ای را برای عملیات «نقره فام کردن» ابداع کرد. این روش در آن زمان به استانداردی برای ساخت آینه‌های مسطح مبدل شد که معروف بود به «فرایند براشر». این روش تا زمانی که روش خلاء فلزی ابداع شد، استفاده می‌شد. براشر ابزارهای زیادی را اختراع کرد ولی هیچگاه تکنیک و شیوه خود را برای ساخت این صنایع بر ملا نکرد. او شرکتی را به نام «جان ای. براشر» با همکاری دامادش، جیمز برون مکداول، که شریک او هم بود تأسیس کرد. در آن زمان براشر به جائی رسیده بود که ابزار و اختراعاتش در سطح جهان دارای ارزش بودند. لوازم نوری و ابزار دقیق ساخته شده بدست جان براشر به دلیل کیفیت شان تقریباً توسط تمام رصدخانه‌های مهم جهان خریداری می‌شدند. بعضی از آن رصدخانه‌ها هنوز از ابزار جان براشر استفاده می‌کنند. یکی از خدمه‌های او در شرکتش یکی از اختراعات او که یک کپسول زمان بود را خراب کرد که این قضیه موجب وقوع سوءتفاهم‌هایی هم شد.


title: جان براشر

text: در سال ۱۸۹۲ او به دومین سفر از سه سفرش به اروپا رفت. آن موقع براشر یک تور برای سخنرانی فراهم کرده بود. در سال ۱۸۹۸ او رئیس رصدخانه الگنی واقع در دانشگاه پیتسبرگ شد. او تا سال ۱۹۰۰ در این پست فعالیت می‌کرد.


title: جان براشر

text: از ۱۹۰۱ تا ۱۹۰۴ وی رئیس دانشگاه غرب پنسیلوانیا بود که اکنون به نام دانشگاه پیتسبرگ شناخته می‌شود. تا قبل از این وی از سال ۱۸۹۶ در هیئت امناء این دانشگاه مشغول به خدمت بوده‌است. براشر همچنین یکی از متولیان دانشگاه کارنگی ملون بود و به عنوان رئیس بخش علم و هنر ارائه خدمت می‌کرد. جان و فوئه براشر به خوبی در کلیسا فعالیت می‌کردند. او مدیر گروه کر کلیسای اسقفی متدیست بینگم بود، انجمن کانتاتا را سازماندهی کرد و گروه کر کلیساهای جنوب پیتسبرگ را سازماندهی کرد. در دوران نمایشگاه بین‌المللی پاناما-پسیفیک که در آن تلسکوپ برادران سواسی معروف به تلسکوپ "۲۰ با لنزهای ساخته شده توسط براشر به نمایش گذاشته شده بود، براشر توسط فرمانده ایالت پنسیلوانیا، مارتین گروو برومبو، لقب "برجسته‌ترین فرد ایالت" را گرفت. این تلسکوپ هنوز در مرکز علوم فضایی دانشگاه چابوت واقع در اوکلند، کالیفرنیا استفاده می‌شود. او توسط پنسیلوانیائی‌ها و اخترشناسان بین‌المللی محبوب و تحسین شد، که آن‌ها او را "عمو جان" صدا می‌زدند.


title: جان براشر

text: در سال ۱۹۱۹ او توسط سمی به نام پتوماین مسموم شد که باعث تضعیف بدن او در شش ماه آخر عمرش شد. او در ۷۹ سالگی در قسمت جنوبی خانه‌اش دیده از جهان گشود. بدن او در تالار بزرگ یادبود سربازان و ملوانان نگهداری شد.


title: سامانه دفاع نزدیک دریایی کاشتان

text: سامانه پدافند ضد موشک کوتاه برد دریایی کاشتان که ناتو به آن لقب اس ای ان 11 داده است، یک مجموعه توانمند و ترکیبی ساخت شرکت روسیه است. سامانه کاشتان در حقیقت یک مجموعه ی دفاع نزدیک دریایی، ترکیبی از توپ و موشک است که می‌تواند علیه انواع تهدیدات به کار رود. مجموعه تسلیحات به کار رفته بر روی این سیستم شامل دو قبضه توپ گاتلینگ ۶ لول مدل با نواخت تیر ۹ تا ۱۰ هزار گلوله در دقیقه برای هر توپ با کالیبر ۳۰ میلی‌متری و همچنین سامانه موشکی که در دو محفظه ی ۴ تایی آماده ی شلیک است. این موشکها در حقیقت مدل دریایی سامانه هستند که به منظور دفاع در برابر تهدیداتی همچون موشکهای کروز و ضد رادار، مهمات هدایت شونده و هواپیماهای پرواز کننده در ارتفاع بسیار پایین را دارد.


title: سامانه دفاع نزدیک دریایی کاشتان

text: رادار کاشتان مشخص نیست ولی دارای دو رادار بر روی قسمت بالای برجک است و در سمت چپ رادار نیز سامانه اپتیک اِن قرار دارد. گفته شده بیشترین برد کشف رادار 30 کیلومتر است و می تواند یک موشک ضد کشتی در ابعاد هارپون را از برد 9 کیلومتری کشف کند. زمان واکنش نسبت به هدف در کاشتان 6 تا 8 ثانیه و در کاشتان ام 4 ثانیه است. توانایی درگیر همزمان با شش هدف را دارد.


title: سامانه دفاع نزدیک دریایی کاشتان

text: این موشکها می‌توانند با اهدافی در فاصله ۱۰ کیلومتری و ارتفاع ۶ کیلومتری از خود درگیر شوند. این عدد برای توپهای مورد نظر این سامانه در حدود ۴ کیلومتر برای برد و ۳ کیلومتر برای ارتفاع است. این توپ از گلوله‌های شدیدالانفجار و ترکش شونده استفاده می‌کند. کاشتان از هدایت ترکیبی راداری و اپتیکی بهره می‌برد.


title: سامانه دفاع نزدیک دریایی کاشتان

text: این سامانه تاکنون به کشورهای چین، ویتنام و هند صادر شده است.


title: آریکارا

text: آریکارا که به نام‌های ساهنیش ، آریکاری یا ری نیز شناخته می‌شود قبیله‌ای از بومیان آمریکا در داکوتای شمالی هستند. امروزه آن‌ها به همراه قبیله‌های ماندان و هیداستا در فهرست قبایل فدرال با نام ملت ماندان، هیداستا و آکیرا به ثبت رسیده‌اند.


title: برابری فرصت

text: فرصت برابر یا برابری فرصت یک ایدئال سیاسی است که در تضاد با نظام طبقاتی کاسْت (انتساب‌سالاری) است؛ اگرچه با نفس وجود نظام طبقاتی عادلانه (شایسته‌سالاری) در تضاد نیست. بر اساس برابری فرصت شهروندان می‌بایست تحت شرایطی برابر با هم به رقابت (سیاسی و اقتصادی) بپردازند. برابری فرصت ناشی از یکسان برخورد کردن با همهٔ مردم، فارغ از موانع یا تعصبات یا ترجیحات مصنوعی است، مگر وقتی که تمایزهای خاصی را بتوان صریحاً توجیه کرد. هدف از این مفهوم غالباً پیچیده و مورد مناقشه این است که مشاغل مهم باید به «شایسته ترین‌ها» تخصیص یابند-کسانی که احتمالاً قابل ترین‌ها در انجام یک وظیفهٔ خاص باشند- و نه به کسانی که به دلایل تصادفی یا بیربط مثل وضعیت خانوادگی یا دوستان، دین، جنسیت، قومیت، خویشاوندسالاری نژاد، طبقه، سن، هویت یا گرایش جنسی آن را به دست می‌آورند.


title: کتابچه گیاهان

text: کتابچه گیاهان یا هربال (Herbal) کتابی دربرگیرنده نام و توصیف گیاهان است که معمولاً اطلاعاتی درباره کاربرد پزشکی، گیاهان مقوی، استفاده در آشپزی، سمی بودن، ایجاد توهم، خصلت آروماتیکی، یا نیروهای جادویی، و افسانه‌های مرتبط با گیاهان در آن آورده می‌شود. این کتابچه ممکن است گیاهانی را که توصیف می‌کند طبقه‌بندی هم بکند.


title: کتابچه گیاهان

text: کتابچه گیاهان در بسیاری از زبان‌های اروپایی «هربال» (انگلیسی] نامیده می‌شود که از واژه "Liber Herbalis" در زبان لاتین میانه به معنای «کتاب گیاهان» گرفته شده است. پیش از پدیدآمدن چاپ، چنین نوشته‌هایی به صورت لوح یا طومار نگاشته می‌شده است.


title: کتابچه گیاهان

text: نخستین کتابچه‌های گیاهان در مصر، سومر، چین و هند نگاشته شد. در ایران از سده‌های میانی نوشته‌هایی درباره نام و ویژگی‌های گیاهان برجای مانده؛ از آن‌جمله در سده نهم میلادی، ««کتاب‌النبات»» از ابوحنیفه دینوری و بخش‌هایی در کتاب «قانون» از ابن سینا.


title: کتابچه گیاهان

text: در سده ۱۶ میلادی نخستین کتاب در این زمینه به زبان انگلیسی نگاشته شد.


title: سرمازده (فیلم)

text: سرمازده یک فیلم درام به کارگردانی شاروناس بارتاس است. این فیلم برای رقابت در بخش دو هفته کارگردانان هفتادمین جشنواره فیلم کن انتخاب شد.


title: سامانه دفاع نزدیک دریایی دروازه‌بان

text: سامانه دفاع نزدیک دریایی دروازه‌بان یک سامانه دفاعی هلندی است که معنای نام آن «دروازه‌بان» است در حقیقت یکی از بهترین سامانه‌های دفاع نزدیک دریایی در جهان به‌شمار می‌آید. سامانه گل کیپر از یک توپ گاتلینگ ۷ لول با نرخ آتش ۴۲۰۰ گلوله در دقیقه استفاده می‌کند.


title: سامانه دفاع نزدیک دریایی دروازه‌بان

text: این توپ می‌تواند انواع گلوله‌های شدید الانفجار و ضد زره را استفاده کند. این سامانه هلندی از یک مجموعه راداری دو کاره در باندهای K و I بهره می‌برد. یک بخش از این رادار وظیفه شناسایی هدف و بخش دیگر وظیفه تعقیب و درگیری با آن را بر عهده دارد. استفاده از دو باند رادارای گوناگون باعث شده‌است که حجم بالایی از اطلاعات متفاوت به این سیستم منتقل شده و آن را قادر سازد به سرعت نسبت به شناسایی دوست از دشمن و همچنین نوع واکنش به دشمن اقدام کند. همچنین مقاوت این سامانه به دلیل استفاده از دو باند راداری متفاوت در برابر جنگهای الکترونیک بالا است


title: سامانه دفاع نزدیک دریایی دروازه‌بان

text: این توپ می‌تواند با اهدافی تا فاصله ۲ کیلومتری با توجه به نوع مهمات به کار رفته در آن درگیر شود. زمان واکنش این سامانه به اهدافی مثل موشک کروز ضد کشتی مافوق صوت با سرعتی در حدود ۲ ماخ چیزی در حدود ۵٫۵ ثانیه است. سامانه گل کیپر از جمله سیستم‌های موفق در بازار صادارات به‌شمار می‌آید و به کشورهای انگلستان، بلژیک، قطر، کره جنوبی، پرتغال و شیلی صادر شده‌است.


title: گوگل موگل

text: گُگِل مُگِل (Gogel-Mogel)، (به زبان روسی: гоголь-моголь) یک نوع دسر معروف روسی است.


title: گوگل موگل

text: روش تهیه ساده این دسر، زرده تخم مرغ و شکر را هم می‌زنند تا حالت کف به خود بگیرد، بعد سرو می‌کنند. بعضی وقت‌ها هم عسل یا لیمو و دارچین به این دسر اضافه می‌شود.


title: گوگل موگل

text: گُگِل مُگِل بین یهودیان و مردم اروپای شرقی، به خصوص لهستان محبوب است. همچنین این دسر در دهه های اخیر در شمال غربی ایران نیز محبوب بود.


title: گوگل موگل

text: در روسیه زمان شوروی هم، مادران برای از شیر گرفتن بچه‌ها، به آن‌ها گُگِل مُگِل می‌دادند. گفته می‌شود که خاصیت ضد سرماخوردگی و درد گلو هم دارد. اما امروزه به خاطر ترس از مسمومیت ناشی از باکتری سالمونلا، محبوبیتش را از دست داده.


title: دانا (خواننده کره جنوبی)

text: دانا (زاده ۱۷ ژوئیه ۱۹۸۶) خواننده، بازیگر اهل کره جنوبی است.


title: دانا (خواننده کره جنوبی)

text: او عضو گروه د گریس است.


title: لینا (خواننده کره جنوبی)

text: لینا (زاده ۱۸ فوریه ۱۹۸۴) خواننده، بازیگر اهل کره جنوبی است.


title: لینا (خواننده کره جنوبی)

text: او عضو گروه د گریس است.


title: ساندی (خواننده)

text: ساندی (زاده ۱۲ ژانویه ۱۹۸۷) خواننده، بازیگر اهل کره جنوبی است.


title: ساندی (خواننده)

text: او عضو گروه د گریس است.


title: آلفرد کونیو

text: آلفرد کونیو ، (زاده ۷ آوریل ۱۸۴۱ – درگذشته ۱۵ آوریل ۱۹۱۶) گیاه‌شناس بلژیکی است که تصاویر چاپ‌سنگی زیاد و باارزشی از برزیلی‌ها تهیه کرد. از بین گیاهان دیگر، گونه نئوکونیوا، از ثعلبیان به افتخار او نامیده شده‌است.


title: آلفرد کونیو

text: در سال ۱۹۱۶ باغ گیاه‌شناسی ملی بلژیک مجموعه عظیم گیاهان او را بدست آورد.


title: دیا (خواننده)

text: دیا (زاده ۱۲ ژوئن ۱۹۹۲) خواننده اهل کره جنوبی است.


title: دیا (خواننده)

text: او عضو گروه کیس اند کرای است.


title: یوجین (بازیگر)

text: کیم یو-جین که با نام هنری یوجین شناخته می‌شود، خواننده و بازیگر اهل کره جنوبی است. او عضو گروه اس.ئی.اس است.


title: یوجین (بازیگر)

text: یوجین در سال ۲۰۱۱ با همبازی خود در سریال «ساختن سرنوشت»، ازدواج کرد. در سال ۲۰۱۵ اولین دختر این خانواده به نام "روهی" متولد شد. در سال ۲۰۱۸ نیز دومین فرزند دختر آنها به نام "رورین" به دنیا آمد.


title: اسکال اند بونز (بازی ویدئویی)

text: اِسکال اَند بونز یک بازی ویدئویی رو به انتشار در سبک اکشن است که توسط یوبی‌سافت سنگاپور توسعه یافته، و به‌وسیلهٔ یوبی‌سافت قرار است در سال ۲۰۲۰ برای مایکروسافت ویندوز، پلی‌استیشن ۴ و اکس‌باکس وان منتشر شود. این بازی برای اولین بار در طی کنفرانس مطبوعاتی یوبی‌سافت در نمایشگاه رسانه و تجارت ای۳ سال ۲۰۱۷ به عنوان مالکیت فکری جدید این شرکت رونمایی شد. "اِسکال اَند بونز" حول محور دزدان دریایی و جنگ دریایی است.


title: اسکال اند بونز (بازی ویدئویی)

text: اسکال اند بونز یک بازی در سبک اکشن تاکتیکی است، که از نگاه و زاویه دید سوم شخص در یک محیط جهان باز دنبال می‌شود. بازیکن کنترل یک کاپیتان قابل شخصی‌سازی را بر عهده خواهد گرفت، و قابلیت کشتیرانی در اقیانوس هند را دارا می‌باشد، و یا می‌تواند با بالای پنج بازیکن در کمپین بازی متحد و یا درگیر شود و موقعیت وزش باد گاهی می‌تواند در هنگام نبرد به کمک بازیکن بیاید.


title: اسکال اند بونز (بازی ویدئویی)

text: بازیکنان ممکن است کشتی‌های اضافی را در طول بازی جمع‌آوری کنند و در طی بازی بازیکن قادر است از سلاح‌هایی مانند توپ چنگی، راکت و خمپاره‌انداز استفاده کند. مهم‌ترین نکته در بخش چندنفره بازی غارت کردن کشتی‌های دیگر است و نبردهای متعددی بین بازیکنان برای تصاحب گنج و ثروت وجود خواهد داشت. هر یک از مناطق دیدبانی کشتی به عنوان یک نقطهٔ دیدبانی قابل استفاده خواهد بود، و قابلیت استفاده از Spyglasses وجود خواهد داشت. ویژگی خریدهای درون برنامه‌ای نیز وجود خواهد داشت.


title: اسکال اند بونز (بازی ویدئویی)

text: اِسکال اَند بونز اولین بازی است که توسط یوبی‌سافت سنگاپور توسعه داده می‌شود، که الهام بخش جنگ‌های دریایی "" بود. همچنین این استودیو به بازیکنان اجازه می‌دهد تا با استفاده از برنامهٔ ارتباطی کد کیپر (Code Keeper) در ساخت و پیشنهادها برای بازی این استودیو را یاری کنند.


title: اسکال اند بونز (بازی ویدئویی)

text: این بازی در کنفرانس مطبوعاتی نمایشگاه رسانه و تجارت ای۳ ۲۰۱۷ معرفی شد، و قرار است برای مایکروسافت ویندوز، پلی‌استیشن ۴ و اکس‌باکس وان منتشر شود، همچنین بازی با قابلیت بهبود یافته برای کنسول‌های پلی‌استیشن ۴ پرو و اکس‌باکس وان اکس در دسترس قرار خواهد گرفت. این بازی قرار بود در نیمهٔ دوم سال ۲۰۱۸ منتشر شود، اما تاریخ عرضه بازی به سال ۲۰۲۰/۲۰۱۹ تأخیر خورد.


title: اسکال اند بونز (بازی ویدئویی)

text: این بازی پس از معرفی در ای۳ ۲۰۱۷ در گیم کریتیک اوارد تواسنت نامزد بهترین بازی اوریجینال و بهترین بازی چندنفره آنلاین شود.


title: اونها (خواننده)

text: جانگ اون-بی (زاده ۳۰ مه ۱۹۹۷) که بیشتر با نام مستعار اون-ها شناخته می شود خواننده، بازیگر اهل کره جنوبی است. او بیشتر به عنوان دومین وکالیست اصلی در گروه کره‌ای جی فرند شناخته می شود.


title: سازند گوتنیا

text: سازند گوتنیا از سازندهای زمین‌شناسی ایران در زاگرس با سن ژوراسیک پسین است. سازند انیدریتی گوتنیا آخرین واحد سنگ‌چینه‌ای ژوراسیک بالایی در ناحیه لرستان و از نوع نهشته‌های انیدریتی است که نشان‌دهنده کاهش ژرفای دریا و شکل‌گیری حوضه‌های تبخیری – کولابی پایان ژوراسیک است. در ایران این سازند رخنمون سطحی ندارد ولی ردیف‌های انیدریتی موجود در چاه شمارة یک میدان نفتی امام حسن و چاه شماره ۳۰۶ میدان نفتی مسجد سلیمان با سازند قوطنیه عراق مقایسه شده‌اند. در دو چاه یاد شده، سازند گوتنیا ۱۳۷ متر انیدریت و لایه‌هایی از شیل‌های خاکستری تیره است، ولی در شمال لرستان (ایستگاه هفت تنگ)، این سازند شامل ۳ متر دولومیت برشی انحلالی است. نداشتن سنگواره سبب شده تا سن ژوراسیک پسین (تیتونین) برای آن برآورد شود.


title: سازند گوتنیا

text: جایگاه چینه‌شناسی نهشته‌های انیدریتی سازند گوتنیا به خوبی با نهشته‌های تبخیری ژوراسیک بالایی فارس داخلی (سازند هیث)، البرز (واحد گچ و ملافیر)، ایران مرکزی (گچ مگو) و سنگ‌های نمکی ژوراسیک ناحیه راور قابل مقایسه است. این نهشته‌های تبخیری یادآور ردیف‌های مشابه در عربستان و نشانگر چیرگی شرایط آب و هوایی گرم ژوراسیک پسین بر گستره‌های وسیع خاورمیانه است و برقراری حوضه‌های تبخیری و پسروی دریای ژوراسیک را نشان می‌دهد.


title: سازند گوتنیا

text: سازند گوتنیا از سازندهای نمکی ژوراسیک بالایی در خلیج فارس است. معادل این نمک‌ها در شرق ایران مرکزی لایه‌های پکتن‌دار و در شمال کرمان لایه‌های بیدو و در البرز، سازند گچ و ملافیر در کپه‌داغ سازند شوریجه و در زاکرس انیدریت هیث می‌باشد.


title: هام اون-جونگ

text: هام اون-جونگ (زاده ۱۲ دسامبر ۱۹۸۸) که بیشتر با نام هنری اون-جونگ و همچنین السی شناخته می شود، خواننده و بازیگر اهل کره جنوبی است. او همچنین عضو گروه تی-آرا است.او همچنین در سریال رویای بلند در نقش یون بک هی در کنار سوزی ،کیم سوهیون و تکیون ایفای نقش کرد.


title: اسلام در تاجیکستان

text: اسلام سنی مهم‌ترین دین در تاجیکستاناست. از سال ۲۰۰۹ میلادی، فقه حنفی به عنوان مذهب رسمی تاجیکستان شناخته شده است.با توجه به انتشار آمار وزارت امور خارجه ایالات متحده در سال ۲۰۰۹ از جمعیت تاجیکستان، ۹۸ کل جمعیت درصد مسلمان (حدود ۹۵٪ سنی و ۳ درصد شیعه) می‌باشند.


title: هان گرو

text: هان گرو (زاده ۲۹ می ۱۹۹۲) خواننده، بازیگر اهل کره جنوبی است.


title: بی‌دینی در جمهوری آذربایجان

text: بی‌دینی در آذربایجان تفاسیر مختلفی با توجه به تفاوت در نظرسنجی‌ها دارد. اگرچه اسلام شیعه مذهب غالب این کشور است، اما مردم این کشور وابستگی زیادی به آن ندارند. شمار افراد خداناباور یا ندانم‌گرا در آذربایجان دشوار است، زیرا اعتقاد آنان در سرشماری‌های رسمی کشور پرسیده نمی‌شود. آذربایجان یکی از مهم‌ترین کشورهای سکولار در جهان اسلام است.


title: بی‌دینی در جمهوری آذربایجان

text: طبق نظرسنجی اخیر مؤسسهٔ نظرسنجی گالوپ، آذربایجان یکی از مهم‌ترین و غیرمذهبی‌ترین کشورهای مسلمان جهان است که حدود ۵۳ درصد از پاسخ‌دهندگان، دین را در زندگی خود را کم‌اهمیت یا بدون اهمیت دانسته‌اند. همان نظرسنجی نشان می‌دهد که تنها ۲۰ درصد از پاسخ‌دهندگان به شرکت در مراسم مذهبی معتقد هستند.


title: گروه کازرون

text: گروه کازرون مجموعه‌ای از سازندهای زمین‌شناسی زاگرس شامل سازندهای دشتک و نیریز است. سازند نیریز عمدتاً از دولومیت و آهک تشکیل شده ولی سازند دشتک شامل انیدریت، دولومیت و مقادیری شیل آهکی است. سازند دشتک مهم‌ترین پوش‌سنگ مخازن عظیم گاز طبیعی خاورمیانه به شمار می‌رود. نام این گروه از شهر کازرون در ۸۰ کیلومتری غرب شیراز گرفته شده است.


title: مهدی زمین‌پرداز

text: مهدی زمین پرداز (زادهٔ ۲۳ شهریور ۱۳۶۰) بازیگر سینما، تلویزیون و تئاتر ایران است. شروع به کار وی در مستند آخرین روزهای زمستان بود و همکاری وی با محمدحسین مهدویان ادامه داشت. وی در فیلم ماجرای نیمروز نقش مسعود را ایفا و سپس در لاتاری (فیلم ۱۳۹۶) در نقش سامی ایفای نقش کرد. زمین پرداز برای نخستین بار در فیلم سینمایی «دیدن این فیلم جرم است!» در نقش اول یک فیلم سینمایی جلوی دوربین رفت.


title: کشاله ران

text: در آناتومی انسان، کشاله ران ناحیه اتصالی بین شکم و ران در دو سوی استخوان شرمگاهی است.


title: سده بوکر

text: سده بوکر کیبوتصی در صحرای نگب، واقع در استان جنوب اسرائیل است.


title: سده بوکر

text: کومهٔ بن گوریون در سده بوکر واقع شده‌است. کومه را داوید بن گوریون، نخستین نخست‌وزیر اسرائیل برای زندگی خودش و همسرش پائولا ساخت.


title: شوکت حمید خان

text: شوکت حمید خان (زاده ۴ سپتامبر ۱۹۴۱)(به اردو: ڈاکٹر شوکت حمید خان) فیزیکدان برجسته و مشهور هسته‌ای پاکستانی است. او قبلاً رئیس بنیاد علوم و فناوری مهندسی غلام اسحاق خان (GIKI) بود. خان از زمان آغاز این سازمان با آن در ارتباط بوده و تا اوایل سال ۲۰۱۳ عضو هیئت مدیره این بنیاد بوده‌است. او عضو آکادمی علوم پاکستان نیز می‌باشد. شوکت حمید خان پیش از این برای سازمان انرژی اتمی پاکستان (PAEC) کار می‌کرد، جایی که او به عنوان کارشناس ارشد علوم در سال ۲۰۰۵ بازنشسته شده‌است. خان در پیشرفت رشته فیزیک لیزری نقش به سزایی داشته و نویسنده دو کتاب دربارهٔ علوم لیزری است. خان همچنین تحقیقاتی مهم در حوزه تولیدات مربوط به لیزر مانند تولید پلاسماها، طیف‌بینی، طیف‌سنجی جذب اتمی، جداسازی لیزری ایزوتوپ و اندازه‌گیری دقیق با لیزر داشته‌است.


title: شوکت حمید خان

text: شوکت حمید خان در پنجاب لاهور در یک خانواده پشتون متولد شد. او پیش دانشگاهی خود را در کالج گوردون کالج گوردون جایی که او دیپلم علوم پایه خود را نیز در سال ۱۹۵۷ دریافت کرده بود، به پایان رساند. در همان سال در دانشگاه پنجاب پذیرفته شد و در سال ۱۹۶۱ مدرک کارشناسی (لیسانس) خود را در رشته فیزیک فیزیک دریافت کرد. در سال ۱۹۶۲، خان بورس تحصیلی رودز را دریافت کرد و برای ادامه تحصیلات به بریتانیا رفت و در سال ۱۹۶۲ در دانشگاه آکسفورد پذیرفته شد و در سال ۱۹۶۴ مدرک لیسانس ریاضی ریاضی و در سال ۱۹۶۶ در رشته فیزیک مدرک فوق لیسانس خود را از مؤسسه مذکور گرفت و در ۱۹۶۸ دانشگاه آکسفورد مدرک دکترای خود را در رشته فیزیک هسته‌ای دریافت کرد.


title: شوکت حمید خان

text: خان در سال ۱۹۶۸ به پاکستان برگشت و در همان سال به دانشگاه کالج دولتی لاهور پیوست. زمانی که در دانشگاه مشغول تدریس بود، از طریق دکتر رافع محمد چودری، به دکتر عبدالسلام معرفی شد و در سال ۱۹۶۹ به عنوان کارشناس علوم پایه به سازمان انرژی اتمی پاکستان پیوست. در پاکستان، اواسط جنگ ۱۹۷۱، خان زمانی که در کویته بلوچستان بود، با منیر احمد خان ملاقات کرد. منیر احمد خان مقدمات دیدار با نخست وزیر ذوالفقار علی بوتو را فراهم کرد. دکتر شوکت حمید خان یکی از معدود دانشمندان دعوت شده به نشست مولتان بود که مدت کوتاهی پس از آزمایش هسته‌ای هند برگزار شد. پس از این دیدار، خان شروع به توسعه روش‌های سوختی، و تکمیل اقدامات مقدماتی مطالعات هسته‌ای در مدل‌های مختلف کرد. در ماه مارس سال ۱۹۷۴، خان به همراه دیگر دانشمندان جلسه‌ای به ریاست منیر احمد خان و مشاور علمی نخست وزیر دکتر عبدالسلام تشکیل دادند. در این نشست، خان روش جداسازی مولکولی را ارائه کرد اما این پیشنهاد رد شد. جداسازی مولکولی روشی بسیار پیچیده به همراه روش‌های دشوار در مقایسه با فرایند گازی است. پس از بررسی هر دو فرایند، آن‌ها تصمیم گرفتند از روش فرایند گازی برای این پروژه استفاده کنند. با وجود مخالفت با طرح، آن‌ها به‌طور کامل روش جداسازی مولکولی را کنار نگذاشتند و خان همچنان برای مقاصد تحقیقاتی کار بروی روش جداسازی مولکولی در گازها را ادامه داد. خان بخشی از یک تیم کوچک از دانشمندان بود که نقش محوری در توسعه دستگاه خنک‌کننده داشتند. تلاش‌های او منجر به دریافت جایزه بهترین عملکرد از ژنرال ضیاء الحق ریاست جمهوری شد. در سال ۱۹۸۵، خان مدیر " آزمایشگاه اپتیک " در سازمان انرژی اتمی پاکستان شد. در سال ۱۹۹۰، به دستور دولت پاکستان، خان و تیمش موفق به ساخت و توسعه اتاق گاز به صورت بومی شدند. خان همچنین قطعات پیچیده لیزری را برای کاهش زباله‌های خطرناک اختراع کرد. در ماه مه سال ۱۹۹۸، خان یکی از دانشمندان ارشدی بود که شاهد اولین آزمایش اتمی پاکستان بودند.


title: شوکت حمید خان

text: در سال ۱۹۹۹، خان به سازمان تحقیقات هسته‌ای اروپا (CERN) پیوست، جایی که به عنوان دانشمند ارشد مشغول به کار شد. در سرن، خان طراح ارشد بود و در طراحی سیم‌لوله فشرده میونی کمک کرده بود، که در پروژه برخورددهنده هادرونی بزرگ در سرن ژنو مورد استفاده قرار گرفت. خان به عنوان رئیس مشترک فناوری‌های اطلاعاتی ارتباطاتی کار فعالیت کرده‌است. در سال ۲۰۰۱، خان سرن را ترک کرد و دوباره به سازمان انرژی اتمی پاکستان پیوست. در سال ۲۰۰۲ به ریاست این سازمان منصوب شد. در سال ۲۰۰۲، خان آزمایشگاه فیزیک پلاسما در سازمان انرژی اتمی پاکستان را رهبری کرد و مقالات علمی متعددی را در زمینه اکتشافات در زمینه لیزر و فیزیک پلاسما چاپ کرد. در سال ۲۰۰۵، خان از سازمان انرژی اتمی پاکستان با عنوان «مأمور ارشد علوم» بازنشسته شد. او بنیان‌گذار برنامه‌های لیزری در پاکستان است که در حال حاضر به آزمایشگاه اپتیک و مؤسسه ملی لیزر ارتقا یافته‌است که با چند صد محقق فعالیت می‌نماید. او همچنین مؤسس انجمن‌های تحقیقاتی فیزیک پلاسما در پاکستان است. با توجه به اقدامات او در پاکستان و سازان انرژی اتمی این کشور، خان یکی از فیزیکدانان هسته‌ای پیشرو در پاکستان محسوب می‌گردد.


title: شوکت حمید خان

text: در سال ۲۰۰۵ شوکت حمید خان به عنوان عضو حوزه علوم و فناوری در کمیسیون برنامه‌ریزی منصوب شد. خان همچنین مدیر پروژه چشم‌انداز ۲۰۳۰ بود که تلاش می‌کرد یک افق درخشان در سال ۲۰۳۰ برای پاکستان ترسیم نماید. این طرح از نظرات شهروندان برجسته الهام می‌گرفت و در اوت ۲۰۰۷ کمی پس از ۶۰مین سالگرد تأسیس کشور پاکستان منتشر شد. خان در اکتبر سال ۲۰۰۷ برای یک گروه از نمایندگان پارلمان آلمان در مورد چشم‌انداز ۲۰۳۰ در برلین سخنرانی کرد.


title: شوکت حمید خان

text: پروفسور شوکت حمید خان از سال ۲۰۱۴ پس از دکتر جواد لاغری به عنوان هماهنگ‌کننده کل در کمیته دائمی همکاریهای علمی و فناوری سازمان همکاری اسلامی یا به‌طور اختصار کامستک، حضور دارد.کامستک یکی از زیر مجموعه‌های سازمان همکاری اسلامی (OIC) است که با هدف و تأکید بر توسعه آموزش‌های تکمیلی، سرمایه‌گذاری در بخش تحقیقات، توجه ویژه به فناوری اطلاعات، مبادله اطلاعات میان کشورهای اسلامی و جلوگیری از فرار مغزها شکل گرفته‌است. این سازمان ۵۷ عضو از چهار قاره مختلف جهان دارد.


title: آنتونیو ری

text: آنتونیو ری ناواز آهنگساز و نوازندهٔ گیتار اهل اسپانیا است وی در تاریخ ۱۹۸۱ در شهر مادرید، اسپانیا متولد شد وی یکی از چهره‌های بسیار شناخته‌شده کنونی در موسیقی فلامنکو است.انتونیو ری گیتار را نزد پدرش آموخت و بعد شاگرد اسطوره ای به نام پاکو دلوسیا. شد جدید ترین البوم تکنوازی او به نام flamenco sinforenteras برنده برترین آلبوم سال 2020 شد


title: لانگلی (ویرجینیا)

text: لانگلی ، یک محدوده ثبت‌نشده در مکان‌های مشخص‌شدهٔ آماریِ مک‌لین در فیرفکس، ویرجینیا، در ایالات متحده است. لانگلی اغلب به عنوان یک دگرنام برای آژانس اطلاعات مرکزی (سیا CIA)، به عنوان دفتر مرکزی آن، مرکز اطلاعات جرج بوش استفاده می‌شود. زمینی که امروزه "لنگلی" را تشکیل می‌دهد، زمانی متعلق به توماس لی، فرماندار سلطنتی سابق کلنی ویرجینیا از سال ۱۷۴۹ تا ۱۷۵۰، بود. زمین‌های لانگلی به پاس و به خاطر لانگلی‌هال، که بخشی از املاک خانهٔ لی در شروپ‌شر انگلستان بود، بنام لنگ نامگذاری شد. در سال ۱۸۳۹، ۷۰۰ مترمربع (۲۸۳ هکتار) زمین توسط بنجامین ماکل از خانوادهٔ لی، با شرط نگاه‌داشتن نام، خریداری شد.


title: فنیل‌بوتازون

text: فنیل‌بوتازون () دارویی است که از موارد استعمال آن می‌توان به آرتروپاتی‌های دردناک، سینوویت، آرتروز، اسپوندیلوز، لومبالژی، سیاتالژی و براکیالژی اشاره کرد.


title: فنیل‌بوتازون

text: از موارد منع استعمال این دارو قرحه‌های معده و اِثناعَشَر، حساسیت به پیرازولها، نارسائی‌های قلبی-کلیوی و کبدی اشاره کرد.


title: فنیل‌بوتازون

text: مصرف آن در ۳ ماهه اول بارداری ممنوع است.


title: نفس (مجموعه تلویزیونی)

text: نفس مجموعه تلویزیونی ایرانی در سه فصل به کارگردانی جلیل سامان است که فصل اول آن در ماه رمضان ۱۳۹۶ از شبکه سوم سیما پخش شد.


title: نفس (مجموعه تلویزیونی)

text: ناهید دختر دانشجویی است که با روزبه عضو سازمان مجاهدین، آشنا می‌شود. در بحبوحه وقایع انقلاب رازی در زندگی اش فاش می‌شود… او برای رسیدن به حقیقت حوادث پیچیده‌ای را پشت سر می‌گذارد.!


title: گوانتیدین

text: گوانتیدین () دارویی است که از تخلیه نور آدرنالین از انتهای اعصاب پس عقده‌ای سمپاتیک جلوگیری می‌کند. این دارو برای مواردی همچون هیپرتانسیون خطیر و متوسط از جمله هیپرتانسیون بدخیم استفاده می‌شود.


title: گوانتیدین

text: مصرف این دارو برای مواردی همچون نارسائی شدید کلیه و کرونر، اولسرپپتیک، بیماران فئوکروموسیتوز ممنوع می‌باشد.


title: ملیندا کینامان

text: ملیندا کینامان (؛ زادهٔ ) بازیگر اهل سوئد است.


title: ملیندا کینامان

text: از فیلم‌هایی که وی در آن نقش داشته است، می‌توان به "زندگی من مانند سگ"، "گوردن و پدی"، "دوران گرگ" و "حادثه قریب‌الوقوع" اشاره کرد.


title: آله مولر

text: آله مولر (؛ زادهٔ ۱۹۵۵) یک موسیقی‌دان و آهنگساز اهل سوئد است. وی از سال ۱۹۷۷ میلادی تاکنون مشغول فعالیت بوده‌است.


title: آله مولر

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "حادثه قریب‌الوقوع" اشاره کرد.


title: ملیس کارلیه

text: ملیس کارلیه (؛ زادهٔ ) هنرپیشه اهل سوئد است.


title: ملیس کارلیه

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان "حادثه قریب‌الوقوع" اشاره کرد.


title: حسن بریجانی

text: حسن بریجانی (؛ زادهٔ ) هنرپیشه ایرانی‌الاصل اهل سوئد بود. وی در تاریخ ۲۲ ژوئیه ۲۰۲۰ برابر با یکم مرداد ماه سال ۹۹ خورشیدی درگذشت.


title: حسن بریجانی

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان "حادثه قریب‌الوقوع" اشاره کرد.


title: حسن بریجانی

text: وی در سال ۲۰۰۷ میلادی، برندهٔ «جایزه گلدباگ» برای «بهترین بازیگر نقش مکمل مرد» شد.


title: یوناس حسن خمیری

text: یوناس حسن خمیری (؛ زادهٔ ) نویسنده، رمان‌نویس و نمایش‌نامه‌نویس اهل سوئد است.


title: یوناس حسن خمیری

text: او بابت آثارش برندهٔ جوایز گوناگونی شده و یکی از مهمترین نویسندگان نسل خود محسوب می‌شود.


title: ولادیمیر چاگین

text: ولادیمیر چاگین یک راننده مسابقه رالی اهل روسیه است. او برنده مسابقات رالی داکار در سال‌های ۲۰۱۰ ،۲۰۰۶، ۲۰۰۴ ،۲۰۰۳، ۲۰۰۲، ۲۰۰۰ و ۲۰۱۱ بوده است. او را موفق‌ترین راننده در این مسابقات ساخته و به او لقب تزار داکار داده‌اند.


title: پرواز به خانه (فیلم)

text: پرواز به خانه فیلم رمانتیک درام بلژیکی محصول سال ۲۰۱۴ است به تهیه‌کنندگی و کارگردانی دومینیک درودر.


title: پرواز به خانه (فیلم)

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


title: روز بزرگداشت

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


title: روز بزرگداشت

text: نماد شقایق برای گرامیداشت این سربازان در ماه نوامبر مورد استفاده قرار می‌گیرد.


title: روز بزرگداشت

text: سنت رایج انگلیسی، کانادایی، آفریقای جنوبی یک ساعت سکوت یک یا دو دقیقه‌ای را در ساعت یازدهم از روز یازدهم ماه یازدهم (۱۱:۰۰ ق. ظ، ۱۱ نوامبر) می‌گذارد، زیرا زمان (در انگلستان) زمانی که فرماندهی مؤثر بود.


title: روز بزرگداشت

text: سرویس یادآوری در بسیاری از کشورهای مشترک‌المنافع عموماً شامل صدای «آخرین پست» است و سپس یک دوره سکوت و پس از آن صدای «شیپور» و در نهایت با «غزل خاطره» به پایان می‌رسد.


title: روز بزرگداشت

text: در انگلستان، روز نیروهای مسلح (روز قبل از روز کهنه سرباز) یک یادبود جداگانه است که برای اولین بار در ۲۷ ژوئن ۲۰۰۹ جشن گرفته شد.


title: روز بزرگداشت

text: روز یادبود (۱۱ نوامبر) یک تعطیلی رسمی ملی در فرانسه و بلژیک است. این یادآور آتش‌بس بین متحدین و آلمان در کمپین فرانسه، برای پایان دادن به خصومت‌های جبهه غربی است، که در ساعت ۱۱ صبح (ساعت یازدهم از روز یازدهم ماه یازدهم) اتفاق افتاد. روز صلح یکی از مهمترین جشن‌های نظامی در فرانسه است؛ زیرا پیروزی بزرگ فرانسه بود و فرانسه برای دستیابی به آن بهای سنگینی پرداخت. جنگ جهانی اول در فرانسه به عنوان «جنگ میهنی بزرگ» مورد توجه قرار گرفت. تقریباً تمام روستاهای فرانسوی دارای یادبودهایی برای افرادی که در جنگ بوده‌اند هستند. در فرانسه، از نماد گل گندم (Bleuet de France) به جای خشخاش استفاده می‌شود.


title: روز بزرگداشت

text: در کانادا، روز یادبود یک تعطیلات قانونی در هر سه قلمرو و در شش ایالت از ده ایالت است ایالات نوا اسکوشیا، مانیتوبا، انتاریو و کبک استثنا هستند. از سالهای ۱۹۲۱ تا ۱۹۳۰، قانون روز بزرگداشت و روز شکرگذاری را در روز دوشنبه هفته‌ای که تاریخ ۱۱ نوامبر در آن است توسط قانون تعیین شده‌است. در سال ۱۹۳۱، مجلس فدرال اقدام به اصلاح قانون روز مجرمان را تصویب کرد، که روز بزرگداشت باید در تاریخ ۱۱ نوامبر مورد توجه قرار گیرد و روز باید به عنوان روز یادبود شناخته شود.


title: روز بزرگداشت

text: همچنین در ادبیات کانادا، پس از نبرد سنگر به سنگری که در کنار مزارع شقایق فلاندر در جنگ جهانی اول رخ داد و شعری که جان مک‌کری به نام در دشت فلاندرز سروده، شقایق تبدیل به نماد سربازانی شده که در طول جنگ کشته شده‌اند.


title: روز بزرگداشت

text: در انگلستان، رعایت اصلی روز یکشنبه نزدیک به ۱۱ نوامبر، یادبود یکشنبه با دو دقیقه سکوت در تاریخ ۱۱ نوامبر خود مشاهده شده‌است، سفارشی که قبل از مبارزات انتخاباتی برای احیای آن در دهه ۱۹۹۰ آغاز شد.


title: روز بزرگداشت

text: علاوه بر این مراسم‌های دیگر در مراسم خاکسپاری در بیشتر موزه‌های جنگی در سرتاسر بریتانیا در ساعت ۱۱ صبح ۱۱ نوامبر برگزار می‌شود که به رهبری لژیون سلطنتی بریتانیا می‌باشد


title: روز بزرگداشت

text: در آمریکا، ۱۱ نوامبر هر سال به عنوان روز یادبود سربازان بازنشسته در نظر گرفته شده‌است.


title: روز بزرگداشت

text: در هلند، ۴ مه هر سال به عنوان روز یادبود در نظر گرفته شده‌است.


title: سعید اویسی

text: سعید اویسی (؛ زادهٔ ) هنرپیشه، فیلم‌نامه‌نویس و کارگردان تئاتر ایرانی‌الاصل اهل سوئد است. وی بازیگری را با «گروه هنر ملی» آغاز نمود و سپس در گروهی که «پیتر بروک» (کارگردان مشهور انگلیسی) برای اجرای نمایش در «جشن هنر شیراز» تشکیل داده بود، همکاری کرد و بعدها به «کارگاه نمایش» آربی اوانسیان پیوست.


title: سعید اویسی

text: او در اوایل دههٔ ۹۰ میلادی، به‌دنبال نگارش و کارگردانی نمایش‌نامه‌ای در انتقاد از حکومت، مجبور به ترک کشور شد و به سوئد رفت.


title: سعید اویسی

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در سوئد در آنها نقش داشته‌است می‌توان به "بال‌های شیشه‌ای" اشاره کرد.


title: سعید اویسی

text: وی در سال ۲۰۰۰ میلادی، برندهٔ «جایزه گلدباگ» برای «بهترین بازیگر نقش مکمل مرد» شد.


title: دانشگاه ینا

text: دانشگاه فریدریش شیلر ینا () یک دانشگاه دولتی در شهر ینا در ایالت تورینگن آلمان است. این دانشگاه در ۱۵۵۸ میلادی بنیان‌گذاری شده‌است و در میان ده دانشگاه قدیمی آلمان است. تاکنون شش دانش‌آموختهٔ دانشگاه ینا برندهٔ جایزهٔ نوبل شده‌اند که تازه‌ترین آن‌ها در سال ۲۰۰۰ میلادی روی داد، زمانی که هربرت کرومر بروندهٔ جایزهٔ نوبل فیزیک شد.


title: دانشگاه ینا

text: این دانشگاه نام شاعر آلمانی، فریدریش شیلر را بر خود دارد که از مدرسان آن بود. در آن زمان، در سدهٔ ۱۹ میلادی، برخی از تأثیرگذارترین اندیشمندان در دانشگاه به تدریس می‌پرداختند. با استادانی مانند یوهان گوتلیب فیشته، گئورگ ویلهلم فریدریش هگل، فریدریش ویلهلم یوزف شلینگ، و کارل ویلهلم فریدریش اشلگل، دانشگاه ینا مرکز آفرینش ایدئالیسم آلمانی و رمانتیسم آغازین دانسته می‌شود.


title: دانشگاه ینا

text: در سال ۲۰۱۴ میلادی، دانشگاه حدود ۱۹۰۰۰ دانشجوی مشغول به تحصیل، و ۳۷۵ استاد تمام داشته‌است. رئیس کنونی آن والتر روزنتهال است که در ۲۰۱۴ میلادی برای یک دورهٔ شش ساله انتخاب شد.


title: دانشگاه ینا

text: دانشگاه دارای شش دانشکده است که عبارتند از:


title: بال‌های شیشه‌ای

text: بال‌های شیشه‌ای () یک فیلم درام به کارگردانی رضا باقر است که در سال ۲۰۰۰ منتشر شد. از بازیگران آن می‌توان به الکساندر اسکارشگرد اشاره کرد.


title: مینا آذریان

text: مینا آذریان (؛ زادهٔ آبادان) هنرپیشه ایرانی‌الاصل اهل سوئد است.


title: مینا آذریان

text: در ایران فیلم سینمایی پرونده در سال ۱۳۶۲ تنها کار سینمایی اوست با بازی فرامرز قریبیان. از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "زنان بدون مردان" و "بال‌های شیشه‌ای" اشاره کرد.


title: سارا سومرفلد

text: سارا سومرفلد (؛ زادهٔ ) هنرپیشه اهل سوئد است.


title: سارا سومرفلد

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "بال‌های شیشه‌ای" اشاره کرد.


title: رافائل ادهولم

text: رافائل ادهولم (؛ زادهٔ ) هنرپیشه و کارگردان فیلم اهل سوئد است.


title: رافائل ادهولم


title: یوزفین بورنه‌بوش

text: یوزفین بورنه‌بوش (؛ زادهٔ ) هنرپیشه اهل سوئد است.


title: یوزفین بورنه‌بوش


title: یان میبراند

text: یان میبراند (؛ زادهٔ ) بازیگر اهل سوئد است.


title: یان میبراند

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است، می‌توان به "بال‌های شیشه‌ای"، "بزرگترین سرقت دارودسته ینسون" و "زبان عشق" اشاره کرد.


title: روبرت نوردستروم

text: روبرت نوردستروم (؛ زادهٔ ) فیلم‌بردار اهل فنلاند و سوئد است.


title: روبرت نوردستروم

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان "حادثه قریب‌الوقوع" اشاره کرد.


title: دانشگاه گیسن

text: دانشگاه گیسن با نام رسمی دانشگاه یوستوس-لیبیش گیسن () دانشگاهی دولتی در گیسن، در ایالت هسن کشور آلمان است. نام این دانشگاه از شیمیدان آلمانی، یوستوس فون لیبیش گرفته شده‌است که از اعضای هیئت علمی آن بوده‌است. دانشگاه گیسن دارای رشته‌هایی در زمینه‌های هنری، علوم انسانی، کسب و کار، پزشکی، اقتصاد، حقوق، دندان‌پزشکی، علوم پایه، علوم اجتماعی، و دامپزشکی است.


title: دانشگاه گیسن

text: دانشگاه گیسن در ۱۶۰۷ میلادی بنیان‌گذاری شده‌است. در ترم زمستان ۲۰۱۴–۲۰۱۵ میلادی، بیش از ۲۸۰۰۰ دانشجو در آن مشغول به تحصیل بوده‌اند.


title: الکساندر گنریخ

text: الکساندر رادُلفُویچ گنریخ (متولد ۶ اکتبر ۱۹۸۴ در آهنگران (شهر)) یک بازیکن فوتبال حرفه‌ای در پست مهاجم بود.در آغاز فصل ۲۰۱۸ از فوتبال خداحافظی کرد و بازنشسته شد.


title: جف تیگ

text: جف تیگ (زاده ۲۰ ژوئن ۱۹۸۸) بازیکن حرفه‌ای آمریکایی شاغل در تیم ایندیانا پیسرز در اتحادیه ملی بسکتبال است. تیگ قبل از این که توسط آتلانتا هاکس در درفت ان‌بی‌ای در راند اول و پیک ۱۹ اورال انتخاب شود در مسابقات بسکتبال دانشگاهی آمریکا در تیم بازی می‌کرد. او با میانگین ۱۵٫۹ امتیاز به مسابقه آل استار ان بی ای در سال ۲۰۱۵ دعوت شد.


title: جف تیگ

text: او فرزند شان و کرول تیگ است. پدر او سابقه حضور در مسابقات دانشگاهی آمریکا را با حضور در تیم بوستون دارد. برادرش مارکوییز تیگ هم بازیکن بسکتبال است و قبل از اینکه توسط شیکاگو بولز در درفت انتخاب شود، پوینت گارد تیم بوده است.


title: جف تیگ

text: تیگ پس از درفت در تاریخ ۲۰ ژوئیه ۲۰۰۹ با آتلانتا هاکس قرارداد بست. به عنوان بازیکن سال اولی در سال ۲۰۰۹، او میانگین ۳٫۲ امتیاز و ۱٫۷ پاس منجر به گل و ۰٫۹ ریباند و ۱۰٫۱ دقیقه بازی و ۳۹ درصد شوت منطقه‌ای و ۸۳ درصد دقت پرتاب پنالتی و بازی در ۷۱ بازی پرونده این فصل خود را بست. او در تاریخ ۱۴ آپریل با ۲۴ امتیاز و ۱۵ پاس منجر به گل و ۵ ریباند و بازی کردن تمام ۴۸ دقیقه مقابل کلیولند کاوالیرز خوش درخشید.


title: جف تیگ

text: در این فصل او میانگین ۵٫۲ امتیاز و ۲ پاس منجر به گل و ۱٫۵ ریباند و ۱۳٫۸ دقیقه بازی و ۴۳درصد دقت پرتاب منطقه‌ای و ۸۰ درصد دقت پرتاب پنالتی را از خود به جا گذاشت. او دوباره رکورد ۲۴ امتیاز خود را مقابل پورتلند تریل بلیزرز در تاریخ ۱۲ مارس ۲۰۱۱ تکرار کرد. او در پلی اف همراه تیم آتلانتا هاکس رکوردهای بهتری از خود بجا گذاشت و در ۳۸٫۱ دقیقه حضور در هر بازی ۱۴٫۸ امتیاز و ۴٫۲ پاس به تیمش کمک کرد.


title: جف تیگ

text: در این فصل او ۶۶ بازی به میدان رفت و میانگین ۱۲٫۶ امتیاز و ۴٫۹ پاس منجر به گل و ۲٫۴ ریباند و ۱٫۶ توپ ربایی و ۴۵ درصد پرتاب منطقه‌ای موفق و ۸۸ درصد پرتاب پنالتی موفق را در حضور ۳۳٫۱ دقیقه در هر بازی با ثبت کرد. او سه دابل دابل در این فصل نیز انجام داد.


title: جف تیگ

text: او با حضور در ۸۰ بازی و ۳۲٫۹ دقیقه‌ای خود در هر بازی میانگین ۱۴٫۶ امتیاز و ۷٫۲ پاس منجر به گل و ۲٫۳ ریباند و ۱٫۵ توپ ربایی را ثبت کرد. او در این فصل ۱۰ دابل دابل نیز انجام داد. او در این فصل رکورد بیشترین امتیاز شخصی خود را در تاریخ ۱۶ ژانویه ۲۰۱۳ به ۲۸ امتیاز ارتقا داد.


title: جف تیگ

text: در زمانی که قرارداد جف تیگ بعد چهارسال تمام شد، تیم میلواکی باکس به او قرارداد ۳۲ میلیون دلاری را پیشنهاد کرد ولی سه روز بعد آتلانتا هاکس نیز همین مقدار را به تیگ پیشنهاد کرد و با او به توافق رسید. در این فصل او توانست در بازی با کلیولند کاوالیرز ۳۴ امتیاز بگیرد و رکورد خود را ارتقا ببخشد. در ۱۴ آپریل این سال بازیکن هفته نام گرفت. او این فصل میانگین غرورانگیز ۲۰٫۳ امتیاز و ۵٫۸ پاس منجر به گل و ۲ ریباند و ۱٫۸ توپ ربایی و ۳۳٫۸ دقیقه بازی در هر مسابقه و ۵۰ درصد پرتاب منطقه‌ای موفق و ۹۱ درصد پرتاب پنالتی موفق را از خود به جا گذاشت. آتلانتا هاکس که در این فصل به جایگاه هشتمی رسید در همان سری اول در هفت مسابقه مغلوب ایندیانا پیسرز شد. تیگ در سه بازی بیش از ۲۰ امتیاز گرفت و یک بازی دابل دابل کرد.


title: جف تیگ

text: او در این فصل به آل استار ان بی ای دعوت شد. آتلانتا پس از اولی در کنفرانس شرق به مصاف تیم هشتم کنفرانس یعنی بروکلین نتس رفت و در ۶ بازی این تیم را شکست داد. تیگ میانگین ۱۴٫۲ امتیاز و۷٫۸ پاس منجر به گل را در این سری ثبت کرد. در نیمه نهایی کنفرانس آتلانتا به مصاف واشینگتن ویزاردز رفت و در این سری هم ۴–۲ به پیروزی رسید. سر انجام آتلانتا هاکس در فینال کنفرانس شرق به کلیولند کاوالیرز باخت.


title: جف تیگ

text: این فصل که با شروع رقابت دنیس شرودر و جف تیگ برای حضور در پوزیشن پوینت گارد در آتلانتا هاکس شروع شد سبب شد تا جف تیگ برای رفتن به تیم دیگر اقدام کند. جف تیگ به آتلانتا هاکس کمک کرد تا به نیمه نهایی کنفرانس شرق برسند ولی باز توسط کلیولند کاوالیرز حذف شدند.


title: جف تیگ

text: در تاریخ ۷ ژوئیه ۲۰۱۶ تیگ به درخواست خودش به ایندیانا پیسرز فروخته شد. او ۳۰ امتیاز در بازی با فیلادلفیا سونتی‌سیکسرز در تاریخ ۹ نوامبر کسب کرد. او در ۳۰ دسامبر ۲۰۱۶ ۳۰ امتیاز و ۹ پاس منجر به گل و ۶ توپ ربایی مقابل اکلاهما سیتی تاندر ثبت کرد. او در این فصل در برابر شیکاگو بولز توانست رکورد شخصی خود در پاس منجر به گل را به ۱۷ پاس منجر به گل ارتقا دهد. او اولین بازیکن بعد از مایک دانلاوی جونیور شد که در ۸۲ بازی برای ایندیانا پیسرز به میدان رفت.


title: جف تیگ

text: در تاریخ ۱۰جولای ۲۰۱۷، تیگ با قراردادی ۳ ساله به ارزش ۵۷ میلیون دلار به مینه‌سوتا تیمبرولوز پیوست. تیگ در ۲۸ دسامبر ۲۰۱۷ در شب بازی با دنور ناگتس در وقت اضافه که ۱۳٫۴ ثانیه به پایین مانده بود، از ناحیه رباط طرفی داخلی دچار آسیب دیدگی درجه ۱ شد.


title: جف تیگ

text: فصل ۱۹-۲۰۱۸ برای جف تیگ بیشتر با مصدومیت طی شد و ۴۰ بازی این فصل را از دست داد. او بیشترین میانگین پاس منجر به گل در یک فصل را در فصل ۱۹-۲۰۱۸ برای خود با ۸٫۲ اسیست در هر بازی ثبت کرد اما کمترین میانگین امتیاز در ۸ سال گذشته خود در ان‌بی‌ای را نیز بجا گذاشت.


title: ساعت شماطه‌دار

text: ساعت شماطه‌دار یا ساعت زنگ‌دار () نوعی ساعت است که برای هشدار دادن به یک فرد یا گروهی از افراد، در زمانی مشخص طراحی شده است. کاربرد اولیه این ساعت‌ها بیدار کردن مردم از خواب شبانه یا چرت‌های کوتاه است اما گاهی از آنها برای یادآوری‌های دیگر نیز استفاده می‌شود. این ساعت‌ها برای هشدار، بیشتر از صدا استفاده می‌کنند اما برخی اوقات از نور یا لرزش نیز بهره می‌گیرند. برخی انواع آن‌ها سنسورهایی دارند که مرحله خواب عمیق افراد را شناسایی کرده و کسی که عمیقاً در خواب است را بیدار نمی‌کنند چرا که حتی اگر او به قدر کافی خوابیده باشد بیداری در این مرحله بیشتر باعث خستگی‌اش خواهد شد. معمولاً یک دکمه یا وسیله‌ای برای متوقف کردن صدا یا نور در این ساعت‌ها تعبیه شده و این ساعت‌ها اگر به اندازه کافی زنگ هشدار را اعلام کند به طور خودکار متوقف می‌شوند. ساعت‌های آنالوگ کلاسیک یک عقربه ویژه یا الحاقی برای تعیین زمان فعال کردن زنگ دارند. ساعت زنگ‌دار همچنین بر روی انواع ساعت‌های معمولی، رایانه‌های شخصی و گوشی‌های تلفن همراه نیز پیدا می‌شود.


title: ساعت شماطه‌دار

text: نوع سنتی ساعت زنگ‌دار مکانیکی، یک یا دو کاسهٔ زنگ دارد که چکش کوچکی با استفاده از یک فنر که قدرت را از یک چرخ دنده می‌گیرد و بین دو زنگ یا داخل یک تک زنگ به حرکت در می‌آید تولید صدا می‌کند. در زنگ‌های الکتریکی این چکش کوچک توسط مدار الکترومغناطیسی یک آرمیچر به عقب و جلو حرکت می‌کند و به کاسه زنگ ضربه می‌زند.


title: ساعت شماطه‌دار

text: نوع دیجیتال ساعت زنگ‌دار که با باتری با برق تغذیه می‌شود برای بیدار کردن یک فرد از خواب می‌تواند صداهای زنگ‌های متفاوتی تولید کند حتی صداهایی مانند خنده، آواز خواندن و اصواتی از طبیعت.


title: ساعت شماطه‌دار

text: برخی از ساعت‌های زنگ‌دار دارای رادیو هستند و می‌توانند در یک زمان مشخص شروع به پخش یک ایستگاه رادیویی کنند. برخی از ساعت‌های زنگ‌دار ویژگی مفیدی دارند که می‌توانند برای هشدارهای متعدد تنظیم شوند و زوج‌ها را در زمان‌های متفاوت بیدار کنند. ساعت شماطه‌دار امروزه بخشی از امکانات تلویزیون‌ها، رایانه‌های شخصی و گوشی‌های موبایل جدید است. یک ساعت شماطه‌دار پیشرفته قابل برنامه‌ریزی برای زمان‌های مختلف است و حتی می‌تواند به پخش موسیقی با انتخاب شما بپردازد.


title: ساعت شماطه‌دار

text: در دوران یونان باستان، افلاطون (۴۲۸–۳۴۸ سال قبل از میلاد) گفته بود ساعت آبی بزرگی دارد که صدایی شبیه به صدای ساز آبی تولید می‌کند و او شب‌ها از آن استفاده می‌کند تا شروع سخنرانی‌هایش را در سپیده دم اعلام نماید.


title: ساعت شماطه‌دار

text: تسیبیوس مهندس و مخترع دوره هلنیستی (۲۸۵–۲۲۲ پیش از میلاد) یک ساعت آبی ساخت با شاخص و اشاره‌گر که نشان دهنده زمان بود و سیستم زنگی استادانه‌ای به آن افزوده شده بود که می‌توانست در یک زمان از قبل تنظیم شده با رها کردن سنگریزه‌ها در یک کوزه سازی بادی را به‌صدا درآورد. در واقع کوزه با سنگین شدن در آب فرومی‌رفت و آب، هوای فشرده را در یک ساز شیپور مانند می‌دمید.


title: ساعت شماطه‌دار

text: تاریخ پیدایش ساعت زنگ‌دار مکانیکی قابل تنظیم، حداقل به سده ۱۵ در اروپا می‌رسد. در ساعت‌های زنگ‌دار اولیه، سوراخ‌هایی در صفحه ساعت تعبیه شده بود که با قرار دادن یک پین در سوراخ مناسب می‌شد زمان زنگ را تنظیم کرد.