درحال بارگذاري...
  1. جستجو ساده
  2. نتيجه جستجو
جستجو برای: ریاضیات
0.006 ثانیه
مجموع 542 مورد
 نمايش فهرستي    نمايش گالري
رديف نوع عنوان پدیدآور اصلی ناشر سال انتشار موضوع ها شماره راهنما
1 پایان نامه مبانی فلسفی شهودگرایی از دیدگاه براؤر صدرزاده، مهرنوش. صنعتی شریف 1379 شهود گرایی Intuitionism / دنباله انتخاب Choice Sequence / ساخت Construction / اثبات Proving / ریاضیات شهودگرایانه Intuitionistic Mathemathics / اصل طرد شق ثالث.
‭42-33207
2 پایان نامه تحلیل اجزاء محدود فازی پوسته ها فراهانی، امیر. صنعتی شریف 1383 روش اجزای محدود Finite Element Method / نظریه مجموعه فازی Fuzzy Set Theory / ریاضیات بازه ای Interval Computations
‭08-35583
3 پایان نامه درونیابی چندمتغیره بوسیله توابع پایه ای رادیال جوکار، صادق. صنعتی شریف 1382 تابع پایه شعاعی Radial Basis Function / تابع معین مثبت Positive Definite Function / تابع کاملا یکنوا Completely Monotone Function / درون یابی چندمتغیره Multivariate Interpolation / تقریب Approximation / تبدیل فوریه Fourier Transform / محمل (ریاضیات) CARRIER (MATHEMATICS)
‭02-34531
4 پایان نامه درستی یابی سطح بالا با استفاده از روش های غیرمبتنی بر EDD عشقی، محمدرضا. صنعتی شریف 1383 مدل رفتار Behavioral Model / وارسی الگو Model Cheking / درستی یابی سطح بالا High Level Verification / ریاضیات پرزبرگر Persburger Arithmetic
‭19-35743
5 پایان نامه ریاضیات ساختی و مکانیک کوانتومی Constructive Mathematics and Quantum Mechanics شهریاری، محسن Shahriari, Mohsen صنعتی شریف 1396 ریاضیات ساختی Constructive Mathematics / مکانیک کوانتومی Quantum Mechanics / عملگر بی کران Unbounded Operator
‭02-50382
6 پایان نامه مباحثی در اندازه پذیری و انتگرال پذیری در آنالیز ساختی Topics in Measurability and Integrability in Constructive Analysis غفوری، زهرا Ghafouri, Zahra صنعتی شریف 1397 ریاضیات ساختی Constructive Mathematics / ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics / ریاضیات شهودگرایانه Intuitionistic Mathemathics / تحلیل ساختی Constractive Analysis / نظریه شهود گرایانه اندازه Intuitionistic Measure Theory
‭02-51453
7 پایان نامه ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن جلالی، آرش. صنعتی شریف 1379 تولید صوری برنامه Formal Program Development / برنامه نویسی کامپیوتری Computer Programming / ریاضیات ساختی Constructive Mathematics / مهندسی نرم افزار Software Engineering / زبان سی. زد CZ Language / نظریه مارتین لوف Martin-Lof Theory
‭19-33305
8 پایان نامه عدم قطعیت در زبان توصیف CZ Nondeterminism in CZ Specification Language حقیقی، حسن Haghighi, Hassan صنعتی شریف 1387 توصیف صوری Formal Specification / تولید صوری برنامه Formal Program Development / نظریه مجموعه ها Set Theory / زبان توصیف زد Z Specification Language / ریاضیات ساختی Constructive Mathematics / عدم قطعیت Uncertainty / زبان سی. زد CZ Language / نظریه مارتین لوف Martin-Lof Theory
‭19-39023
9 پایان نامه روند تکاملی ایجاد تومور: کاربردی از سیستم دینامیکی Evolutionary Dynamics of Tumorigenesis: An Application of Dynamical Systems اکبری، محمد جواد Akbari, Mohammad Javad صنعتی شریف 1396 ریاضیات زیستی Biomathematics / سیستم های پویا Dynamical Systems / نظریه کنترل بهینه پس خوردی Optimal Feedback Control Theory / رشد تومور Tumor Growth / سرطان Cancer
‭02-51677
10 پایان نامه نظریه بازگشت ساختی Constructive Recursion Theory شجاع الدین، محمد حسین Shojaeddin, Mohammad Hossein صنعتی شریف 1396 تابع های بازگشتی Recursive Functions / ریاضیات ساختی Constructive Mathematics / نظریه بازگشت Recursion Theory / ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics
‭02-50427
11 پایان نامه اصل ماکزیمم برای حرکت براونی کسری Stochastic Maximum Principle for Fractional Brownian Motion جمشیدی، محمد هادی Jamshidi, Mohammad Hadi صنعتی شریف 1396 حرکت براونی کسری Fractional Brownian Motion / بهینه سازی تصادفی Stochastic Optimization / اصل بیشینه Maximum Principle / معادله دیفرانسیل تصادفی Stochastic Differential Equation / ریاضیات مالی Mathematical Finance
‭02-50130
12 پایان نامه رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها موسوی، محمد رضا. صنعتی شریف 1380 مهندسی نرم افزار Software Engineering / صورت گرایی Formalism / عدم قطعیت Uncertainty / برنامه نویسی کامپیوتری Computer Programming / ریاضیات ساختی Constructive Mathematics / نظریه مجموعه ها Set Theory
‭19-33435
13 پایان نامه لبگ اندازه‌پذیری توابع پیوسته در ریاضیات ساختی Lebesgue Measurability of Continuous Functions in Constructive Analysis
 		برقرار جهرمی، علی Bargharar Jahromi, Ali صنعتی شریف 1392 شهود گرایی Intuitionism / ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics / تحلیل ساختی Constractive Analysis / فضاهای لبگ Lebesgue Spaces / لبگ اندازه‌پذیری Lebesgue Measurability
‭02-55586
14 پایان نامه علم و ابزار نزد هایدگر ( با تاکید بر «هستی وزمان») Heidegger on Science and Tool (Emphasized on "Being and Time")
 		خلیلی، مهدی Khalili, Mahdi صنعتی شریف 1393 علم Science / ریاضیات Mathematics / متافیزیک (ماوراءالطبیعه) METHAPHYSICS / فناوری Technology / ابزارآلات Tools / پدیدارشناسی Phenomenology / نظریه هایدگر Heidegger Theory / هستی و زمان Being and Time
‭42-46966
15 پایان نامه معرفت شناسی ریاضیEPISTEMOLOGY OF MATHEMATICS سهرابی، محمود. صنعتی شریف 1377 ریاضیات Mathematics / معرفت شناسی Epistemology / کل گرایی Holism / ساخت گرایی Structuralism / کواین، ویلارد ون اورمن Quine,Wilard Van Orman / رزنیک، مایکل دی Resnik, Michael D
‭42-32529
16 پایان نامه روشهای ساختاری طرحهای بلوکی شیردره حقیقی، محسن. صنعتی شریف ریاضیات Mathematics / طرح های متعامد Orthogonal Designs / روش ساختاری Structural Method / طرح های بلوکی (ریاضیات)
‭02-30094
17 پایان نامه حرکت تصادفی ریسمان ومعادلات تطوری تصادفی وابسته به آن رازانی، عبدالرحمن. صنعتی شریف 1374 نظریه احتمال Probability Theory / ریاضیات Mathematics / معادله های دیفرانسیل پاره ای Partial Differential Equations
‭02-30755
18 پایان نامه بررسی رابطه‌ی منطق در ریاضیات و هنر On Mathematical Logic and Art

 		شیرخانی، مهرک Shirkhani, Mehrak صنعتی شریف 1399 ریاضیات Mathematics / اندیشیدن Thinking / زبان Language / منطق ریاضی Mathematical Logic / هنر Art
‭02-54554
19 پایان نامه نقش اثبات و استدلال در حل مسایل ریاضی زندگی واقعی The Role of Proof and Reasoning in Solving Real-Life Math Problems علی پناه، سمیه Alipanah, Somayeh صنعتی شریف 1399 تحلیل گر Reasoning / ریاضیات Mathematics / اثبات Proving / مسایل دنیای واقعی Real-Life Problems / دانش آموزان پایه نهم 9th Grade Students / چارچوب حل مساله میسون - بورتن - استیسی Mason-Burton-Stacy Problem Solving Framework
‭02-53830
20 پایان نامه برنامه هیلبرت Hilbert’s Program حسینی، محمد عرفان Hosseini, Mohammad Erfan دانشگاه صنعتی شریف 1402 برنامه هیلبرت Hilbert Program / سازگاری Consistency / قاعده امگا Omega-Rule / سازگاری تقریبا متناهی‌ گون Almost Finitistic Consistency / ریاضیات وارونه Reverse Mathematics / دستگاه‌های خود تایید Self-Verifying Systems
‭02-56405
مجموع 542 مورد