نتایج جستجو برای: براور
تعداد نتایج: 12 فیلتر نتایج به سال:
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوتهای آنها با منطق و آنالیز ریاضی کلاسیک را بیان میکنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه میشود و لذا میتوان این نوع از آنالیز ریاضی را یک نوع زبان برنامه...
Benjamin of Tuedla is one the Jewish rabbinic, for purpose trip he visited eastern regions, at this time world was in shadow Abbasid state, especially his during rule Caliph pious to Amr Allah (530-555 AH / 1136-1161 AD), extent journey that It lasted eight years, tried write everything about Jews East, number and their leaders, condition East all areas visited, with which clear book descriptiv...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید