نتایج جستجو برای: جبر گودل

تعداد نتایج: 2279  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه مازندران - دانشکده علوم ریاضی 1393

فیزیک آماری اشاره به رویکردهای آماری و احتمالاتی به مکانیک کلاسیک و مکانیک کوانتوم دارد، بنابراین از عبارت مکانیک آماری نیز به همان معنا استفاده می شود. رویکرد احتمالاتی برای سیستم های کلاسیک در مواقعی که تعداد درجات آزادی و متغیرها زیاد و حل دقیق معادلات حاکم بر سیستم دشوار و یا کلاً غیر قابل حل هستند، خیلی خوب کار می کنند. یکی از سیستم هایی که برای توصیف قوانین ترمودینامیکی آن نیاز به مکانیک آ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم ریاضی 1392

در این پایان نامه دو ویژگی مهم از طیف عناصر در f-جبرها به دست آمد. در حقیقت اثبات شده است که درf-جبر یکدار بنیادی و قویا کراندار a ، طیف عنصر a یا همان sp(a) ، فشرده است. علاوه بر این اگر فضای دوگان a یا همان a^* ، عناصر a را جدا سازد sp(a) مخالف تهی می باشد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم پایه 1391

در این پایان نامه به معرفی و مطالعه ی تابعک های متناوب تقریبی ضعیف روی جبرهای باناخ a، که آن را با wap(a) نمایش می دهیم می پردازیم، و ارتباط آن را با نمایش جبرهای باناخ بررسی می کنیم. در ادامه ارتباط بین تابعک های متناوب تقریبی ضعیف و تابعک های متناوب تقریبی؛ یعنی ap(a) و برخی ویژگی های موروثی آن را بیان می کنیم و به عنوان نمونه فضای تابعک های متناوب تقریبی را روی برخی از جبرهای باناخ به دست می...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده علوم 1388

در این رساله ما تعریف جدیدی از فضای فوریه روی یک ابرگروه فشرده ی موضعی ارایه می دهیم و ثابت می کنیم که آن یک زیرفضای باناخ از جبر فوریه – استیلیس روی آن ابرگروه است. این تعریف باتعریف امینی و مدقالچی هنگامیکه ابرگروه مورد نظر یک ابرگروه تانسوری باشد منطبق است و همچنین با تعریف رم که تنها برای ابرگروه های فشرده می باشد انطباق دارد. ثابت می کنیم که دوگان جبر فوریه روی یک ابرگروه برابر است با جبر ...

ژورنال: :caspian journal of mathematical sciences 0
d. alimohammadi department of mathematics, faculty of science, arak university, arak, 38156-8-8349, iran s. moradi department of mathematics, faculty of science, arak university, arak, 38156-8-8349, iran

چکیده. فرض کنیم  یک فضای متریک فشرده و  یک زیرمجموعه ی فشرده ی ناتهی  باشد. فرض کنیم  و  جبر باناخ همه ی توابع مختلط - مقدار پیوسته بر  را نشان دهد که

ژورنال: متن پژوهی ادبی 2005
منصور فهیم

مقاله حاضر سعی بر آن دارد تا نظریه جبر زبانی سپیر - ورف را در سایه اصطلاحات و ضرب المثلهای فارسی و انگلیسی مورد تجزیه و تحلیل قرار دهد. از آنجائیکه اصطلاحات و ضرب المثلها ریشه در فرهنگ یک کشور دارد و می توانند بیانگر تفکر یک کشور باشند، از اینرو اصطلاحات و ضرب المثلهای فارسی و انگلیسی مربوط به حیوانات از منابع موثق جمع آوری شده سپس از سخنگویان بومی دو زبان خواسته شد تا بار معنایی اصطلاحات و ضرب...

ژورنال: :پژوهش های تاریخی 0
اسماعیل سنگاری استادیار دانشگاه اصفهان علیرضا کرباسی کارشناسی ارشد تاریخ ایران باستان عرفانه خسروی کارشناسی ارشد فرهنگ وزبانهای باستانی

اندیشۀ مزدیسنا، بسان دیگر مکاتب دینی و فلسفی، جایگاه بسیار ویژه ای برای موضوع «جبر» و «اختیار» در نظر داشته است. با بررسی متون کهن برای شناخت این آیین که شامل ریگ ودا و اوستا و متون پهلوی است، می توان ردپای سه گونه تفکر را در پدیدآمدن دیدگاه مزدیسنا، درباره نقش اراده انسان درتاریخ و حدود آن تشخیص داد.  نخست نقش بغ دختان و ایزدان در رفتار و کردار انسان که بی شک تأثیرپذیرفته از اندیشه های پیش از ...

ژورنال: :پژوهش های تفسیر تطبیقی 0
محمود صیدی استادیار دانشگاه شاهد احسان منصوری دانشجو دکتری دانشگاه قم مرتضی بیات استادیار دانشگاه اراک

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید بهشتی - دانشکده علوم ریاضی 1388

چکیده ندارد.

ژورنال: منطق پژوهی 2019

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید