درحال بارگذاري...
  1. جستجو ساده
  2. نتيجه جستجو
جستجو برای: ریاضیات
0.009 ثانیه
مجموع 542 مورد
 نمايش فهرستي    نمايش گالري

مبانی فلسفی شهودگرایی از دیدگاه براؤر

پدیدآور اصلی
صدرزاده، مهرنوش.
ناشر
صنعتی شریف
سال انتشار
1379
موضوع ها
شهود گرایی Intuitionism / دنباله انتخاب Choice Sequence / ساخت Construction / اثبات Proving / ریاضیات شهودگرایانه Intuitionistic Mathemathics / اصل طرد شق ثالث.
شماره راهنما
‭42-33207

تحلیل اجزاء محدود فازی پوسته ها

پدیدآور اصلی
فراهانی، امیر.
ناشر
صنعتی شریف
سال انتشار
1383
موضوع ها
روش اجزای محدود Finite Element Method / نظریه مجموعه فازی Fuzzy Set Theory / ریاضیات بازه ای Interval Computations
شماره راهنما
‭08-35583

درونیابی چندمتغیره بوسیله توابع پایه ای رادیال

پدیدآور اصلی
جوکار، صادق.
ناشر
صنعتی شریف
سال انتشار
1382
موضوع ها
تابع پایه شعاعی Radial Basis Function / تابع معین مثبت Positive Definite Function / تابع کاملا یکنوا Completely Monotone Function / درون یابی چندمتغیره Multivariate Interpolation / تقریب Approximation / تبدیل فوریه Fourier Transform / محمل (ریاضیات) CARRIER (MATHEMATICS)
شماره راهنما
‭02-34531

درستی یابی سطح بالا با استفاده از روش های غیرمبتنی بر EDD

پدیدآور اصلی
عشقی، محمدرضا.
ناشر
صنعتی شریف
سال انتشار
1383
موضوع ها
مدل رفتار Behavioral Model / وارسی الگو Model Cheking / درستی یابی سطح بالا High Level Verification / ریاضیات پرزبرگر Persburger Arithmetic
شماره راهنما
‭19-35743

ریاضیات ساختی و مکانیک کوانتومی Constructive Mathematics and Quantum Mechanics

پدیدآور اصلی
شهریاری، محسن Shahriari, Mohsen
ناشر
صنعتی شریف
سال انتشار
1396
موضوع ها
ریاضیات ساختی Constructive Mathematics / مکانیک کوانتومی Quantum Mechanics / عملگر بی کران Unbounded Operator
شماره راهنما
‭02-50382

مباحثی در اندازه پذیری و انتگرال پذیری در آنالیز ساختی 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

ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن

پدیدآور اصلی
جلالی، آرش.
ناشر
صنعتی شریف
سال انتشار
1379
موضوع ها
تولید صوری برنامه Formal Program Development / برنامه نویسی کامپیوتری Computer Programming / ریاضیات ساختی Constructive Mathematics / مهندسی نرم افزار Software Engineering / زبان سی. زد CZ Language / نظریه مارتین لوف Martin-Lof Theory
شماره راهنما
‭19-33305

عدم قطعیت در زبان توصیف 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

روند تکاملی ایجاد تومور: کاربردی از سیستم دینامیکی 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

نظریه بازگشت ساختی Constructive Recursion Theory

پدیدآور اصلی
شجاع الدین، محمد حسین Shojaeddin, Mohammad Hossein
ناشر
صنعتی شریف
سال انتشار
1396
موضوع ها
تابع های بازگشتی Recursive Functions / ریاضیات ساختی Constructive Mathematics / نظریه بازگشت Recursion Theory / ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics
شماره راهنما
‭02-50427

اصل ماکزیمم برای حرکت براونی کسری 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

رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها

پدیدآور اصلی
موسوی، محمد رضا.
ناشر
صنعتی شریف
سال انتشار
1380
موضوع ها
مهندسی نرم افزار Software Engineering / صورت گرایی Formalism / عدم قطعیت Uncertainty / برنامه نویسی کامپیوتری Computer Programming / ریاضیات ساختی Constructive Mathematics / نظریه مجموعه ها Set Theory
شماره راهنما
‭19-33435

لبگ اندازه‌پذیری توابع پیوسته در ریاضیات ساختی 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

علم و ابزار نزد هایدگر ( با تاکید بر «هستی وزمان») 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

معرفت شناسی ریاضیEPISTEMOLOGY OF MATHEMATICS

پدیدآور اصلی
سهرابی، محمود.
ناشر
صنعتی شریف
سال انتشار
1377
موضوع ها
ریاضیات Mathematics / معرفت شناسی Epistemology / کل گرایی Holism / ساخت گرایی Structuralism / کواین، ویلارد ون اورمن Quine,Wilard Van Orman / رزنیک، مایکل دی Resnik, Michael D
شماره راهنما
‭42-32529

روشهای ساختاری طرحهای بلوکی

پدیدآور اصلی
شیردره حقیقی، محسن.
ناشر
صنعتی شریف
موضوع ها
ریاضیات Mathematics / طرح های متعامد Orthogonal Designs / روش ساختاری Structural Method / طرح های بلوکی (ریاضیات)
شماره راهنما
‭02-30094

حرکت تصادفی ریسمان ومعادلات تطوری تصادفی وابسته به آن

پدیدآور اصلی
رازانی، عبدالرحمن.
ناشر
صنعتی شریف
سال انتشار
1374
موضوع ها
نظریه احتمال Probability Theory / ریاضیات Mathematics / معادله های دیفرانسیل پاره ای Partial Differential Equations
شماره راهنما
‭02-30755

بررسی رابطه‌ی منطق در ریاضیات و هنر On Mathematical Logic and Art

پدیدآور اصلی
شیرخانی، مهرک Shirkhani, Mehrak
ناشر
صنعتی شریف
سال انتشار
1399
موضوع ها
ریاضیات Mathematics / اندیشیدن Thinking / زبان Language / منطق ریاضی Mathematical Logic / هنر Art
شماره راهنما
‭02-54554

نقش اثبات و استدلال در حل مسایل ریاضی زندگی واقعی 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

برنامه هیلبرت Hilbert’s Program

پدیدآور اصلی
حسینی، محمد عرفان Hosseini, Mohammad Erfan
ناشر
دانشگاه صنعتی شریف
سال انتشار
1402
موضوع ها
برنامه هیلبرت Hilbert Program / سازگاری Consistency / قاعده امگا Omega-Rule / سازگاری تقریبا متناهی‌ گون Almost Finitistic Consistency / ریاضیات وارونه Reverse Mathematics / دستگاه‌های خود تایید Self-Verifying Systems
شماره راهنما
‭02-56405
مجموع 542 مورد