عبارت مورد نظر خود را بنویسید
زبان عبارات جایاکارتا (EL)، که پیشتر با نامهای Expression Language و Unified Expression Language شناخته میشد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامههای Jakarta EE است. این زبان با هدف سادهسازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.
ارادهگرایی معرفتی دیدگاهی فلسفی است که معتقد است باورهایمان را خودمان انتخاب میکنیم. این نظریه، که ریشه در منطق معرفتی دارد، انسان را خالق باورهایش میداند و به دو نوع مستقیم و غیرمستقیم تقسیم میشود.
مایکل پاول فورمن، استاد برجسته سیستمهای کامپیوتری در دانشگاه ادینبورو و رئیس پیشین دانشکده انفورماتیک است. او در زمینههای منطق کاربردی در علوم کامپیوتر، هوش مصنوعی و طراحی سیستمهای دیجیتال فعالیت گستردهای دارد و یکی از توسعهدهندگان اصلی سیستم لامبدا برای خودکارسازی طراحی سختافزار به شمار میرود.
نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته میشود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.
کتاب «منطق شگفتانگیز گرافهای تصادفی» نوشته جوئل اسپنسر، به بررسی قوانین صفر-یک در گرافهای تصادفی میپردازد. این کتاب که در سال ۲۰۰۱ توسط اسپرینگر منتشر شد، مدل اردوش-رنی-گیلبرت را تحلیل میکند و نشان میدهد چگونه احتمال بروز ویژگیهای خاص در گرافها با افزایش اندازه آنها به صفر یا یک میل میکند.
کلیسای سنت دیمیتریوس یا کلیسای تثلیث، کلیسای ارتدوکس صربی در منطقه تابان بوداپست بود که بین ۱۷۴۲ تا ۱۷۵۱ به سبک باروک اروپای مرکزی ساخته شد. این کلیسا بهعنوان کلیسای جامع فرعی اسقفنشین بودا خدمت میکرد. در محاصره بوداپست در ۱۹۴۵ آسیب جدی دید و در ۱۹۴۹ ویرانههایش تخریب شد.
الکساندر گلواچویچ، متولد ۸ سپتامبر ۱۹۹۷، یک فوتبالیست حرفهای آمریکایی است که در پست مهاجم برای باشگاه لیون ۲ بازی میکند. او که ریشههای صربی دارد، دوران حرفهای خود را در صربستان آغاز کرد و پس از تجربه بازی در لیگهای مختلف، به ایالات متحده بازگشت و با تیمهایی مانند اورلاندو سیتی بی و دِس مویِن منیس قرارداد بست.
جمعکننده یا جمعگر، یک مدار دیجیتال است که برای انجام عملیات جمع اعداد استفاده میشود. این مدار در واحدهای منطق حسابی (ALU) رایانهها و پردازندهها کاربرد دارد. جمعکنندهها همچنین برای محاسبه آدرسها، شاخصهای جدول، عملگرهای افزایش و کاهش و عملیات مشابه به کار میروند.
موزه ووک و دوسیتیی، واقع در بلگراد پایتخت صربستان، یکی از مهمترین موزههای یادبود این کشور است. این موزه در سال ۱۹۴۹ تأسیس شد و به زندگی، آثار و میراث ووک استفانویچ کاراژيچ، اصلاحگر زبان صربی، و دوسیتیی اُبرادوویچ، نویسنده و نخستین وزیر آموزش صربستان، میپردازد. این مکان، نقش کلیدی در درک احیای فرهنگ صربی در زمان قیام اول صربستان علیه امپراتوری عثمانی دارد.
میودراگ کویادینوویچ، زبانشناس و نویسنده کانادایی-صرب، در سال ۱۹۶۱ متولد شد. او در زمینههای مختلف از جمله ترجمه، انسانشناسی و نظریهپردازی جنسیت فعالیت دارد. کویادینوویچ در کشورهای متعددی از جمله کانادا، صربستان، مجارستان و چین تحصیل و کار کرده است. او به زبانهای انگلیسی، صربی، هلندی و فرانسوی مینویسد و به بیش از بیست زبان دیگر تسلط دارد.
مارکو پنوو (۱۹۲۲-۱۹۹۸)، استاد تراشکاری چوب و مرمتگر صربستانی، در شهر تیتل (سربیا کنونی) زاده شد. او با تبار کروات و بلغاری، در نووی ساد زندگی کرد و شاگرد ی. سزوتر بود. پنوو در ساخت و مرمت ایکونوستاسها، محرابهای کلیساهای ارتدوکس صربی، کاتولیک یونانی و رومی، و همچنین مرمت اشیای مقدس فعالیت داشت. آثار او در سبکهای باروک، نئوروکوکو و کلاسیک دیده میشود.
مربع مخالفت در منطق صوری، نمایی است که روابط بین چهار گزاره مقولهای اساسی را نشان میدهد. ریشههای آن به ارسطو و تمایز بین دو نوع مخالفت: تناقض و تضاد برمیگردد. این مربع توسط آپولونیوس و بوئتیوس قرنها پس از ارسطو ترسیم شد.
برویویچ نامخانوادگی رایج در صربستان و کرواسی است که ریشه در نام شخصی «بورویه» دارد. این نام از واژه «بور» به معنای کاج، همراه با پسوند مالکیت «-ِو» و پسوند تصغیر «-ییچ» تشکیل شده است. به این ترتیب، برویویچ به معنای «پسر بورویه» است.
الی برتان (۱۷۱۳-۱۷۹۷) یک زمینشناس و طبیعتشناس سوئیسی بود که آثار مهمی در زمینه ساختار داخلی زمین، کوهها و زلزلهها به جای گذاشت. او همچنین در زمینه زبانشناسی و منطق فعالیت داشت و به عنوان یکی از نویسندگان دائرةالمعارف (۱۷۵۱-۱۷۷۲) شناخته میشود.
معناشناسی پایهای روشی در برنامهنویسی منطقی است که به رایانه کمک میکند تا از مجموعهای از قواعد منطقی، نتایج درست استنتاج کند. این روش که در سال ۱۹۹۱ معرفی شد، با استفاده از منطق سهارزشی، امکان مدیریت دادههای متناقض را فراهم میکند و در حضور اطلاعات ناقص یا پرسروصدا، استنتاجهای ایمن را ممکن میسازد.
رابرت سی. مِی، فیلسوف آمریکایی و استاد ممتاز بازنشسته فلسفه در دانشگاه کالیفرنیا، دیویس است که بیشتر با پژوهشهایش در فلسفه زبان و منطق شناخته میشود.
مدرسه تریویوم یک مدرسه کاتولیک مستقل آمادهکننده ورود به دانشگاه برای پسران و دختران در مقاطع هفتم تا دوازدهم است. این مدرسه در لنکستر، ماساچوست واقع شده و در سال ۱۹۷۹ توسط جان اس. اشمیت تأسیس شد. برنامه درسی آن بر اساس سه هنر لیبرال (نحو، منطق و بلاغت) طراحی شده و بر پرورش فضایل فکری تأکید دارد.
دارکو کوستیچ، متولد ۳۰ سپتامبر ۱۹۷۸، یک مربی حرفهای بسکتبال و بازیکن سابق صربی-یونانی است. او سابقه بازی در تیمهای بلژیک، آلمان، اسلواکی، اکوادور و یونان را دارد. پس از بازنشستگی، به عنوان مربی در تیمهای مختلفی از جمله اوکی بئوگراد، آکادمیک بولتکس ۹۹ و ورشات صربستان فعالیت کرده است.
مسیریابی فازی روشی نوین در بهکارگیری منطق فازی برای پروتکلهای مسیریابی است. این تکنیک بهویژه در شبکههای بیسیم موقت و شبکههایی که از کلاسهای مختلف کیفیت سرویس پشتیبانی میکنند، کاربرد دارد. در حال حاضر، این موضوع در مرحله تحقیق و توسعه قرار دارد.
کوستا تریفکوویچ (۱۸۴۳-۱۸۷۵) نویسنده و نمایشنامهنویس صرب بود که با کمدیهای سبک و جذابش درباره زندگی شهری در ووویودینا شهرت یافت. مشهورترین اثر او، «عروسِ سختگیر»، همچنان از محبوبترین نمایشنامههای تئاتر صربی به شمار میرود. تریفکوویچ با وجود عمر کوتاهش، ۱۵ کمدی اصلی و ترجمههای متعددی از آثار خارجی را به جا گذاشت.
