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

کتابخانه مرکزی و مرکز اسناد دانشگاه تهران به عنوان یکی از بزرگ ترین و غنی ترین کتابخانه ذانشگاهی کشور است، در این مقاله سعی شده است در حد امکان ناریخچه، ساختار و نحوه ارانه خدمات بخش فهرست نویسی کنابخانه مرکزی و مرکز اسناد دانشگاه تهران ارائه کردد. در نهایت مروری بر روند فعالبت های فعلی بخش و نحوهء خدمات آن ببان گردبده است.

در یک گروه دلخواه مثل ‎g‎، پیدا کردن رابطه ی بین ‎g‎ و ‎g/z(g)‎ مهم است، زیرا ‎[g:z(g)]‎ و ا‎g‎ ا میزان آبلی بودن گروه ‎g‎ را مشخص می کنند. اولین نتیجه ی به دست آمده در این مسیر، قضیه ی شور بود، که بیان می کند، اگر ‎g/z(g)‎ متناهی باشد، آن گاه ‎ ‎g‎ متناهی می شود. این قضیه سوال های مختلفی را به وجود آورد، از جمله این که آیا عکس این قضیه نیز برقرار است و یا این که تعمیمی برای جملات بالاتر سری ها...

قضیه منگر از قضایای اساسی نظریه گراف است که نشان می دهد ارسال داده از یک منبع به یک مقصد امکان پذیر است. قضیه ادموندز قضیه دیگری می باشد که نشان می دهد ارسال داده از یک منبع به چند مقصد با مسیریابی امکان پذیر است. اهلسود در قضیه کدگذاری شبکه نشان داد که می توان از منبع به چند مقصد به طور هم زمان ارسال کرد. در صورتی که بدون استفاده از کدگذاری شبکه و تنها با استفاده از مسیریابی نمی توان به این هد...

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

در این نوشته دو برهان برای قضیه اساسی جبر آورده ایم که به نظر نمی رسد قبلا دیده شده باشند. در اولین برهان از قضیه انتگرال کشی استفاده می شود. دومین برهان تنها از انتگرال حاصل از پارامتری سازی انتگرال مسیری برهان اول و نتایجی از حسابان پیشرفته استفاده می کند.

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

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