cyanic-selkie/wikianc huggingface dataset:
شهر لومینو
شهر لومینو یک بازی پازلی ماجراجویی است که توسط کمپانی بازی سازی State of Play Games ساخته شده است. این بازی در تاریخ دسامبر ۲۰۱۴ برای سیستم عامل‌های مک‌اواس و ویندوز و در تاریخ اکتبر ۲۰۱۵ برای آی‌اواس و اندروید منتشر گردید. این بازی دنباله بازی لوم است.
داستان بازی
در این بازی که به سبک بازی‌های پازلی و ماجراجویانه طراحی شده است، شما نقش یک دختر بازیگوش و باهوش را ایفا می‌کنید. پدربزرگ شما گم شده است و شما باید با حل معماها و پازل‌ها، رازها را کشف کرده و حقیقت را آشکار نمایید. اگر چه حل پازل‌ها و معماها به تنهایی ممکن است خسته کننده باشد، اما مسیر داستانی این بازی بسیار جذاب بوده و شما را مجذوب خود خواهد ساخت.
افتخارات بازی
بازی شگفت‌انگیز شهر لومینو توانسته در بسیاری از فستیوال‌های جهانی بازی‌های دیجیتالی نامزد و برنده شود. از جمله مهمترین این افتخارات جایزهٔ بازی‌های رایانه‌ای بفتا است.
گرافیک بازی
گرافیک این بازی یکی از نقطه‌های قوت آن به شمار می‌رود. نحوه ساخت محیط بازی در استودیوی همین کمپانی و به صورت کاملاً واقعی توسط کاغذهای رنگی و المان‌های هنری ساخته شده است. فضای بازی به گونه‌ای هنری و تداعی کنندهٔ حسی واقعی و شاد است.
ادوارد بارنز
ادوارد لارابی بارنز متولد ۱۹۱۵، معمار آمریکایی قرن بیستم بود.
بارنز در ۲۰۰۴ فوت کرد، و ۲ سال بعد مدال AIA را دریافت نمود. او آثار زیادی از خود بجا گذاشت، و دانش آموختهٔ مدرسه معماری دانشگاه هاروارد بود. از مهمترین طراحی‌های او می‌توان به ساختمان‌های آکساسنتر و سیتی‌گروپ سنتر در نیویورک اشاره کرد. وی در سال ۲۰۰۷ مدال طلای ای آی ای را تصاحب کرد.
زندگی‌نامه
ادوارد لاربی بارنز (۲۲ آوریل ۱۹۱۵–۲۲ سپتامبر ۲۰۰۴) یک معمار ایالات متحده آمریکا بود.بارنزدر ایالت ایلینوی شهر شیکاگو در خانواده‌ای که به توصیف خودش "متعصب و پیرو کلیسای اسقف هستند "متولد شد که متشکل از سیسیل بارنز، یک وکیل، و مارگارت ایر بارنز، دریافت کننده جایزه پولیتزر برای رمان سال شکوه، می‌باشد. بارنز در سال ۱۹۳۸ پس از مطالعه زبان انگلیسی و تاریخ هنر و قبل از تغییر رشته به معماری از دانشگاه هاروارد فارغ‌التحصیل شد، سپس در اکادمی میلتون قبل از بازگشت به هاروارد برای مطالعه بیشتر تحت نظر والتر گروپیوس و مارسل برور تدریس کرد. او در سال ۱۹۴۲ از مدرسه طراحی هاروارد فارغ‌التحصیل شد و در طول جنگ جهانی دوم در نیروی دریایی خدمت گذاری کرد. پس از جنگ در لس انجلس برای هنری دریفوس کارمیکرد وبرای تولید انبوه خانه ها، نمونه اولیه طراحی می‌کرد.
فعالیت‌ها
بارنز در سال ۱۹۴۹ «شرکت همکاران ادوارد لاربی بارنز» را در منهتن تأسیس کرد. بارنز در طول دورهٔ طولانی کاری اش-همراه با همسرش مری بارنز که طراح داخلی بود- ساختمان‌های اداری، موزه‌ها، باغ‌های گیاه‌شناسی، خانه‌های شخصی، کلیساها، مدارس، اردوگاه‌ها، دانشکده‌ها، محوطه دانشگاهی وخانه سازی طراحی کردند. بسیاری از ساختمان‌های او که شامل موزه هنر دالاس، مرکز هنر واکر و ساختمان ای بی ام در ۵۹۰ خیابان مدیسون در منهتن به صورت گسترده شناخته شده‌اند.
آکواریوم استانبول
آکواریوم استانبول از جمله جاذبه‌های گردشگری شهر استانبول است گه در سال ۲۰۱۱ تأسیس شد.
در این آکواریوم، با بازسازی محیط زیستیِ بیش از ۱۷۰۰۰ موجود آبزی و غیر آبزی در ۱۷ نقطه مختلف، این موجودات را در نهایت شباهت با محیط اصلی، به نمایش گذاشته‌اند.
تونل بازدید
در مسیر این تونل که طول آن بیشتر از یک کیلومتر می‌باشد. بخش‌های مختلفی دیده می‌شود. در ابتدا، آبزیان مختلفی از سراسر دنیا هستند و پس از آن محیط بازسازی شده جنگل‌های خیس آمازون قرار دارد. که در آن موجوداتی مانند مارهای سمی آمازون و دیگر موجودات زندگی می‌کنند. که برای بازدیدکنندگان قابل مشاهده است. در ادامه مسیر قسمت‌های گوناگونی وجود دارد که هر کدام جاذبه‌ها و ویژگی‌های مربوط به خود را دارا می‌باشد؛ اما ویژگی مشترک همهٔ آنها همخوانی محیط با آب و هوای منطقه است به‌طور مثال اگر در بخش جنگل‌های آمازون بارش رخ دهد در قسمت مربوط به این جنگل هم بر اساس تنظیمات آب‌وهوایی بارش رخ می‌دهد.
تنوع زیستی
در آکواریوم ۱۷۰۰۰ موجود آبزی و غیر آبزی نگهداری می‌شود که شامل بیش از ۱۵۰۰ گونه مانند ماهی‌ها، کوسه‌ها، خزندگان و غیره می‌شود. تعدادی از گونه‌هایی که در این آکواریوم می‌توان با آنها رو به رو شد عبارت‌اند از ماهی‌مرکب، کوسه‌ماهی، سفره‌ماهی، بادکنک‌ماهی، پنگوئن‌های جنتو و چندین گونه دیگر.
مارکا
مارکا، یک روزنامه‌ای ورزشی است که در کشور اسپانیا منتشر می‌شود. مطالب این روزنامه عمدتاً مرتبط به فوتبال می‌باشد.
این روزنامه که در سال ۱۹۳۸ تأسیس شد، تا سال ۱۹۸۴، متعلق به گروه رکولتوس بود. هم‌اکنون آن‌ها با بیش از ۲٬۳۰۰٬۰۰۰ خواننده، پرخواننده‌ترین روزنامهٔ اسپانیا محسوب می‌شوند و بیش از نیمی از خوانندگان ورزشی این کشور را به خود اختصاص داده‌اند. مارکا به هواداری از باشگاه رئال‌مادرید مشهور است.
وب‌گاه مارکا در سال ۱۹۹۵ آغاز به کار کرد و در حال حاضر با بیش از ۳٬۱۱۶٬۳۸۴ بازدیدکننده در ماه، پربازدیدکننده‌ترین وب‌گاه ورزشی کشور اسپانیا محسوب می‌شود.
از فوریهٔ ۲۰۰۱ تا کنون، ایستگاه رادیویی ۲۴ ساعتهٔ مارکا با نام رادیو مارکا و در حوزهٔ ورزش مشغول فعالیت است.
مارکا در انتهای هر فصل فوتبال اسپانیا، جوایز مختلفی به بازیکنان لا لیگا و سگوندا دیویژن اهدا می‌کند که از جملهٔ آن‌ها می‌توان به جایزهٔ آلفردو دی استفانو٬ جایزهٔ پیچیچی و جایزهٔ ریکاردو زامورا اشاره کرد.
ادوارد بارنز
فعالیت‌ها
در طول سال‌ها او همچنین در دانشگاه هاروارد، انستیتو پرت و دانشگاه ویرجینیا تدریس کرد و به عنوان عضوی از «مجلس طراحی شهری نیویرک» و به عنوان معاون رئیس در «اکادمی امریکایی در رم» خدمت کرد. در سال ۱۹۶۲ بارنز به عنوان عضو مشاور و در سال ۱۹۷۴ به عنوان عضو رسمی در اکادمی بین‌المللی طراحی منتخب شد. او در سال ۱۹۷۸ به عنوان همکار در فرهنگستان هنر و علوم آمریکا منتخب شد. در سال ۲۰۰۷ او توسط با ارزش‌ترین جایزه مؤسسه معماران آمریکا، مدال طلایی ای ای ای، قدردانی پس از مرگ شد. او همچنین مدال توماس جفرسون در معماری، مدال ۳۵۰ امین سالگرد دانشگاه هاروارد، و حدود ۴۰ جایزه دیگر را دریافت کرد. مدرسه هنر هیستک مانتین او جایزه ۲۵۵ ساله ی ای آی ای را برد. او در شهر کوپرتینو کالیفرنیا درگذشت.
جوایز
وی در سال ۲۰۰۸ مدال طلای ای آی ای را تصاحب کرد.
پارک فورست ویلیج، پنسیلوانیا
پارک فورست ویلیج (به انگلیسی: Park Forest Village) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان سنتر، پنسیلوانیا واقع شده‌است. پارک فورست ویلیج ۶٫۳۵ کیلومتر مربع مساحت و ۹٬۶۶۰ نفر جمعیت دارد و ۴۱۱٫۴۹ متر بالاتر از سطح دریا واقع شده‌است.
الاتور، بخش تیروچیراپالی
الاتور، بخش تیروچیراپالی (به انگلیسی: Alathur, Tiruchirappalli district) یک منطقهٔ مسکونی در هند است که در تامیل نادو واقع شده‌است.
خصوصیات
الاتور ۱٬۰۸۰ نفر جمعیت دارد.
دیمابن
دیمابن، روستایی از توابع بخش رحیم‌آباد شهرستان رودسر در استان گیلان ایران است.
جمعیت
این روستا در دهستان رحیم آباد قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۹ نفر (۱۹خانوار) بوده‌است.
کاسامارسیانو
کاسامارسیانو (به ایتالیایی: Casamarciano) یک منطقهٔ مسکونی در ایتالیا است که در استان ناپل واقع شده‌است.
خصوصیات
کاسامارسیانو ۶٫۳ کیلومترمربع مساحت و ۳٬۳۸۱ نفر جمعیت دارد و ۷۰ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده
شهرهای جیبلینا و سن پائولو بل سیتو خواهرخوانده‌های کاسامارسیانو هستند.
پرنده ددری لخت‌سیما
پرندهٔ ددری لخت‌سیما نام یک گونه از سرده پرنده ددری است.وضعیت این پرنده در حالت خطر انقراض،در کمترین حالت خود قرار دارد.
خرونیمو باربادیو
خرونیمو باربادیو (Gerónimo Barbadillo؛ زادهٔ September 29, 1954) بازیکن فوتبال اهل پرو بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال اودینزه، باشگاه فوتبال آولینو، و باشگاه فوتبال تیگرس اونال اشاره کرد.
وی همچنین در تیم ملی فوتبال پرو بازی کرده‌است.
سحایلیه
سحایلیه یک شهرداری در الجزایر است که در ناحیه تغنیف واقع شده‌است. سحایلیه ۸٬۵۰۰ نفر جمعیت دارد.
سوکی علیا
جمعیت
این روستا در دهستان بیرانوند جنوبی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۸۰ نفر (۱۴خانوار) بوده‌است.
سایکو جانه
سایکو جانه (Saikou Janneh؛ زادهٔ January 11, 2000) بازیکن فوتبال است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بریستول سیتی اشاره کرد.
این یعنی جنگ (ترانه)
این یعنی جنگ  نام ترانه ای از ششمین آلبوم گروه اونجد سون‌فولد با نام درود در پادشاه می باشد. این ترانه توسط وارنر رکوردز منتشر شد و در بازی ویدئویی دبلیودبلیوئی ۲کی۱۵ استفاده شد. این ترانه الهام گرفته از ترانه غم‌بار اما واقعی از گروه متالیکا است.
زین ملک
زِیْن جواد ملک (؛ زادهٔ ۱۲ ژانویه ۱۹۹۳) که بیشتر تنها با نام زین شناخته می‌شود، خواننده و ترانه‌نویس انگلستانی است. وی در برادفورد، یورک‌شر غربی متولد و بزرگ شده. زین به عنوان یک هنرمند انفرادی برای رقابت موسیقی بریتانیا ایکس فاکتور در سال ۲۰۱۰ مورد آزمایش قرار گرفت. پس از اینکه به عنوان یک خواننده انفرادی حذف شد، ملک به همراه چهار نفر دیگر به رقابت بازگشت برای تشکیل یک گروه پسرانه که با عنوان وان دایرکشن شناخته می‌شود. زین در مارس ۲۰۱۵ از گروه جدا شد و یک قرارداد ضبط انفرادی با آرسی‌ای امضا کرد.
ابتدای زندگی
زین جواد ملک در ۱۲ ژانویه ۱۹۹۳ در برادفورد، یورک‌شر غربی، انگلستان متولد شد. او ملیتی پاکستانی بریتانیایی دارد؛ پدر او یاسر ملک و مادرش، تریسیا برنان ملک، انگلیسی از نسل ایرلندی‌ها است. مادر او برای ازدواج بنا بر شریعت اسلام مسلمان شد. او یک خواهر بزرگتر به نام دنیا و دو خواهر جوانتر به نام‌های صفا و ولیحا دارد.
اکس فکتور
زین در سال ۲۰۱۰ در فصل هفتم اکس فاکتور بریتانیا «آهنگ بگذار عاشقت باشم» را خواند. او مانند دیگر اعضای گروه وان دایرکشن در Bootcamp ناموفق بود. اما با رأی داور مهمان، نیکل شرزینگر، ملک و دیگر اعضای وان دایرکشن در استودیو Wembley به عنوان گروه به خانه داوران راه پیدا کردند.
نام گروه توسط هری استایلز عضو دیگر این گروه گذاشته شد. آن‌ها در خانه سایمن کاول که مربی آن‌ها بود آهنگ Torn را خواندند و در نهایت به اجراهای زنده در اکس فاکتور راه پیدا کردند اما در هفتهٔ نهایی سوم شدند. در این مدت آن‌ها طرفداران بسیاری در سراسر بریتانیا بدست آوردند.
آن‌ها آهنگ «همیشه جوان» را برای بردشان در اکس فاکتور حاضر کرده بودند که موفق به انتشار رسمی آن نشدند. اما مدتی بعد این آهنگ در سطح اینترنت لو رفت. چندی بعد آن‌ها با سایکو ریکوردز، متعلق به سایمون کاول، قرارداد بستند.
زندگی شخصی
زین با پری ادواردز خوانندهٔ عضو گروه لیتل میکس که در سال ۲۰۱۱ در ایکس فاکتور بریتانیا برنده شدند، در دسامبر ۲۰۱۱ وارد رابطه شد. آنها در اوت ۲۰۱۳ نامزد کردند. این رابطه پس از چهار سال در ۴ اوت ۲۰۱۵ پایان یافت.
رابطه زین ملک و جیجی حدید در اکتبر ۲۰۲۱، پس از آنکه مادر جیجی، یولاندا زین را به خشونت و آزار و اذیت متهم کرد به پایان رسید اسناد دادگاه حاکی از آن است که زین، یولاندا حدید را در کمد انداخته و از کلمات زننده و تهدید آمیز استفاده کرده است که باعث ناراحتی روحی و جسمی یولاندا شده است. زین توسط دادگاه پنسیلوانیا به ۳۶۰ روز آزادی مشروط و گذراندن دوره های آموزش مدیریت خشم و خشونت خانگی محکوم شد.
انتشار خودزندگینامه
زین کتابش که بخشی از زندگی‌نامه اوست را ۱ نوامبر ۲۰۱۶ منتشر کرد. این کتاب را خودش نوشته و گفته خوانندگان کتاب با مطالعه آن با زندگی او روبرو می‌شوند. این کتاب یک سفر تصویری در زندگی این خواننده نیز هست. این کتاب دربرگیرنده مجموعه‌ای از افکار این خواننده جوان و آن چیزهایی است که الهام‌بخش او شدند و علاوه بر آن فرازهایی از زندگی شخصی او را نیز در کنار یادداشت‌ها و طراحی‌هایش و نیز عکس‌های شخصی او را دربرمی‌گیرد.
در مقدمه کتاب زین ملک می‌گوید: می‌خواهم به شما تا آنجا را که می‌توانم نشان دهم تا بتوانید دربارهٔ من با کلمات خود من قضاوت کنید، نه برمبنای آنچه مطبوعات و هر فرد دیگری به زبان می‌آورد.
شرحبیل بن حسنه
شُرَحْبیل بن حسنه  (۵۸۳–۶۳۹)، یکی از صحابه و فرماندهٔ ارتش در زمان حکومت خلفای راشدین بود که برای ابوبکر و عمر بن خطاب خدمت کرد.
یکسوساز کنترل شده سیلیکونی
یکسوساز کنترل شده‌ی سیلیکونی یا تریستور سه سیمه یا SCR نام قطع‌های نیمه هادی است که برای اولین بار توسط شرکت جنرال الکتریک در سال ۱۳۳۷ (۱۹۵۸ میلادی) ساخته شد و SCR نام گرفت. نام تریستور بعدها توسط کمیسیون بین‌المللی الکتروتکنیک (IEC) به آن داده شد. SCR همان‌طور که از نامش پیداست، یک یکسوساز یا دیود کنترل شده‌است. مشخصه ولتاژ - جریان آن در صورت بازبودن گیت درست مانند دیود PNPN است. چیزی که SCR را برای کنترل موتور مفید می‌سازد این است که ولتاژ روشن شدن یا شکست آن را می‌توان با جریانی که از گیت آن می‌گذرد کنترل کرد. هرچه این جریان بزرگتر باشد، ولتاژ روشن شدن آن کوچکتر می‌شود. اگر SCR انتخاب شده دارای ولتاژ روشن شدن بزرگی باشد، به نحوی که در صورت بازبودن گیت آن بزرگترین ولتاژ مدار هم نتواند آن را روشن کند، تنها در صورتی روشن می‌شود که جریانی از گیت آن بگذرد. وقتی SCR روشن می‌شود روشن می‌ماند تا اینکه جریانش از حد خاصی کمتر شود. تریستور سه سیمه یا SCR متداولترین عنصر در مدارهای کنترل قدرتی است. از این تریستور در کاربردهای یکسوسازی یا سویچینگ بسیار استفاده می‌شود، و در محدوده‌های مجاز از چند آمپر تا حدود ۳۰۰۰ آمپر موجود است.
منابع
چاپمن، استفن. «مبانی ماشینهای الکتریکی»، چاپ چهارم. تهران: مؤسسه انتشارات نص، ۱۳۸۶.
ساپوتالین
ساپوتالین یک ترکیب شیمیایی با شناسه پاب‌کم ۱۰۱۲۹۷ است.
می‌سازمت
«می‌سازمت» نام آهنگی از گروه کلدپلی در سبک آلترناتیو راک از آلبوم ایکس‌وایگرگ است. همهٰ اعضای گروه در نوشتن این آهنگ مشارکت داشته‌اند. این آهنگ هر چند در زمان فروش استقبال نشد ام در حال حاضر جزء محبوب‌ترین آهنگ‌های این گروه به حساب می آید.
پلی فسفاژن
پلی فسفاژن ها
پلی فسفاژن ها از یک نیتروژن و فسفر تشکیل شده که با یک پیوند دو گانه بهم وصل می شوندو به اتم فسفر دو گروه جانبی وصل می شود. در زنجیره اصلی ترکیب غیرآلی وجود داردکه گروههای آلی مختلف را جذب میکند.
اولین پلی فسفاژنی که تولید شد پلی دی کلروفسفاژن بود. به دلیل فعالیت زیاد پیوند P-Cl ناپایدار است. این پلیمر زیست تخریب پذیر است. چون گروه جانبی دارد اگر به این گروه های جانبی مثلاً پلی استر وصل شود این پلیمر را تحت تخریب قرار می دهند. مثل گروه آمینی- استرهای آمینو اسید- لاکتات یا ایمدازول.
خواص
به دلیل وجود فسفر زیست سازگار، انعطاف پذیر، گسترۀ دمایی Tg دارد .(یعنی Tg آن دماهای زیادی می‌تواند باشد)خنثی بودن شیمیایی، مقاومت در برابر پرتو ، خواص الاستومری ،استحکام مکانیکی خوب، نفوذپذیری در برابر حلال.
بازماندگان خودکشی
اغلب، عوامل استرس‌زا مانند مشکلات مالی و یا مشکلات ارتباط بین فردی در این میان نقش دارند. تلاش برای جلوگیری از خودکشی شامل موارد زیر است: محدود کردن دسترسی ها به سلاح گرم، درمان بیماری‌های روانی و سوء مصرف دارو و بهبود وضعیت اقتصادی. اغلب افراد تصور می کنند که خودکشی پایان تمام دشواری هایی است که در دنیا به آن ها فشار آورده است در حالی که در دیدگاه های دینی و باورمندان به حیات اخروی (رستگاری) در ادیان مختلف، خودکشی سرآغاز یک شفاوت ابدی و بی پایان در دنیای دیگر است ضمن آن که تاثیرات منفی شدیدی بر خانواده و والدین و نزدیکان و دوستان او (بازماندگان خودکشی) خواهد داشت. یکی از مواردی که می تواند در آرام کردن افراد و انصراف از افکار خودکشی موثر باشد (پیشگیری از خودکشی) فکر کردن به شقاوت ابدی در اثر خودکشی است زیرا به دلیل آزار رساندن به خود (از مصادیق حق النفس)، نافرمانی از خداوند به دلیل خودکشی (از مصادیق حق الله) و رنج نزدیکان در صورت خودکشی (از مصادیق حق الناس) هر سه حق را ضایع کرده است به گونه ای که هم به خود آسیب زده است و نعمت حیات به عنوان بزرگ ترین نعمت زندگی را پایمال کرده است و هم نارضایتی و غضب خداوند را سبب شده است و هم به طور متوسط زندگی ۷ تا ۱۰ نفر را پس از مرگ دچار مشکل و بحران (بحران خودکشی) می کند.
از سوی دیگر در ایران خودکشی همراه با لکه ننگ و بدنامی است که می‌تواند به لحاظ اجتماعی باعث کاهش جایگاه و طبقه اجتماعی خانواده بازماندگان نیز گردد. در میان افرادی که اقدام به خودکشی کرده و از آن جان سالم به در می‌برند نیز این لکه ننگ به قوت خویش باقی می‌ماند. از این رو که خودکشی همواره با برچسب ناتوانی در حل مشکلات، ابتلا به مشکلات روحی و روانی، ضعف در تصمیم‌گیری و ... همراه است که او را با پیامدهایی همچون بی اعتمادی سایرین، از بین رفتن موقعیت‌های شغلی و ازدواجی(در صورت مجرد بودن) و... مواجه می‌سازد.
رجه‌سرا
رجه سرا، روستایی از توابع بخش رحیم‌آباد شهرستان رودسر در استان گیلان ایران است.
جمعیت
این روستا در دهستان رحیم آباد قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۰۰ نفر (۲۴خانوار) بوده‌است.
پرنده ددری خاکستری
پرنده ددری خاکستری نام یک گونه از سرده پرنده ددری است.
الاتلی
الاتلی (به لاتین: Alatly) یک منطقهٔ مسکونی در جمهوری آذربایجان است که در شهرستان یولاخ واقع شده‌است.
سد رحال
سد رحال یک شهرداری در الجزایر است که در استان جلفه واقع شده‌است. سد رحال ۱۱٬۸۱۲ نفر جمعیت دارد.
خزیدن (فیلم)
خزیدن (Slither) فیلمی آمریکایی در سبک کمدی ترسناک و علمی–تخیلی به کارگردانی جیمز گان است که در سال ۲۰۰۶ منتشر شد. این فیلم درونمایه و مفاهیم مشابهی با فیلم درجه ب شب لعنتی‌ها (۱۹۸۶) دارد. فیلم خزیدن با شکست تجاری مواجه شد و در کل با واکنش مثبت منتقدان روبرو شد. این فیلم به فیلمی کالت بدل گشت.
سمقاور
مردم و جمعیت
مردم سمقاور به زبان ترکی و فارسی صحبت می‌کنند. جمعیت این روستا ۲۱۰۷ نفر می‌باشد. با وجود کارگاه‌های منبت کاری روند مهاجرت در این روستا معکوس بوده‌است. فرض‌الله شاهین‌راد از فرماندهان مشهور دفاع مقدس از این روستا هست
اقتصاد
روستای سمقاور شهرستان کمیجان از کانون‌های هنر منبت ایران است و بیش از ۳۰۰نفر در قالب ۸۰ کارگاه به صورت حرفه‌ای به تولید منبت اشتغال دارند. چوب مورد نیاز این کارگاه‌ها بیشتر از شمال کشور و از جنس راش بوده و محصولات تولید شده توسط اهالی این روستا بیشتر به شهرهای بزرگ مانند تهران - تبریز - شیراز و… صادر می‌شود. اولین جشنواره منبت روستای سمقاور شهریور ۱۳۹۰ در این روستا برگزار شد.
طبیعت و جاذبه‌های گردشگری
این روستا دارای آب و هوای سرد و خشک است و زمستان‌های آن سرد و تابستان‌های آن گرم وخشک است. آب و هوای معتدل روستا در این منطقه باعث شده تا از لحاظ گردشگری بسیار مورد توجه قرار گیرد.
ابن حسام خوسفی
مولانا محمد بن حسام‌الدین حسن بن شمس‌الدین محمد خوسفی(زاده خوسف) شناخته شده به اِبنِ حِسام شاعر ایرانی در گذشته به سال ۸۷۵ هجری است.آثار او عبارتند از: دلائل النبوه و نسب نامه،خاوران نامه، دیوان اشعار، نظم نثر الالی. دیوان او شامل اشعاری در قالب‌های قصیده، ترجیع‌بند، مسمط و ترکیب‌بند است. او در قصیده از انوری، ظهیر فاریابی، خاقانی شروانی و سلمان ساوجی تأثیر گرفته‌است. از مهم‌ترین آثار او خاوران‌نامه است که به تقلید از شاهنامه فردوسی سروده شده‌است. این حسام حلقه‌ای حلقات ادبیات شیعی خراسان است و برخی دیگر از حلقه‌ها سلیمی تونی (م ۸۵۴) و آذری اسفراینی و لطف‌الله نیشابوری (م ۸۱۲)هستند. دیوان ابن حسام خوسفی توسط احمد احمدی بیرجندی تصحیح و منتشر شده‌است. آرامگاه وی در شهر خوسف واقع  و محل زیارت مردم است.
زندگی
ابنِ حسام در سال ۷۸۲ یا ۷۸۳ هجری در شهر خوسف در منطقه قُهستان به دنیا آمد. خاندان او تا نُه پشت اهل فضل و علم و ارشاد بوده‌اند؛ و نیای او شمس‌الدین زاهد، به پارسایی و عبادت معروف بوده‌است. وی در همان روزگار روزگار را به زهد و وَرَع میگذراند. همچنین دولتشاه سمرقندی دربارهٔ او این چنین میگوید."«از دهقنت نان حلال حاصل کردی و گاو بستی و صباح که به صحرا رفتی تا شام اشعار خود را بر دسته‌بیل نوشتی»"از همین این رو صاحب نظران شغل وی را دهقانی دانسته‌اند. او از مشهورترین شاعران شیعه مذهب آن دوران بود.تاریخ درگذشت او در سال ۸۷۵ ق بوده‌است.
خاوران نامه
خاوران‌نامه از آثار ادبی‌است که به نظم فارسی در سال ۸۳۰ هجری قمری سروده شده‌است. این منظومه حماسه‌ای دینی و مصنوع است که در بحر متقارب و به وزن شاهنامه فردوسی سروده شده‌است. موضوع خاوران‌نامه جنگ‌های علی بن ابی‌طالب در سرزمین خاوران به همراهی مالک اشتر، و نیز با قباد پادشاه شرق و تهماسب‌شاه است. این منظومه به گفته ابن حسام از یک کتاب عربی به نظم کشیده شده‌است. این منظومه با حمد خدا و نعت محمد پیامبر اسلام و دیگر امام‌های شیعه آغاز می‌شود. این منظومه را تازیان‌نامه نیز گفته‌اند.
نمونه شعر
با توجه به قصیده ای که در نسخه های خطی (بیاض)در جنوب خراسان به دست آمده می توانیم وی را اسماعیلی مذهب بدانیم.از جمله اصطلاحات رایج اسماعیلیه در آن دوران قائم قیامت،مولاناو... «موسم مناجات» برادران به حقّ موسم مناجاتست *** مراد خویش طلب کن که وقت حاجاتست قیامت است که هر شش هزار سال ظهور *** کنون چه هفت شود ، قائم القیاماتست اگر امام زمان را به حقّ به نشناسی *** روی به دوزخ اگر صد هزار طاعاتست هر آن کسی که خداوند خویش را نشناخت *** محقق است که در کفر و در ظلاماتست میان بنده و حقّ راز کی نهان ماند *** خدای عالم اسرار و ذوالخفیاتست به ترک نفس ، هوا و مراد خویش بگیر *** که هر چه در دل توغیر اوست ، طاماتست به هر چه پیش خیال و قیاس خود گفتم *** به نزد او همه افسانه و خیالاتست بگوی از سر اخلاص نام مولانا *** که آشکار شد و دعوتش مقالاتست عیان شد است رفیقان ز مشرق و مغرب *** ولیک این همه در بند یک اشاراتست به فضل خود نظری کن به بندگان ضعیف *** که در میان خلایق بسی مقالاتست شراب شوق لبالب ز جام مولانا *** بده که این هم از رحمت جماعاتست ببخش بندة مسکین خویش ابن حسام *** بدان سبب که گرفتار چاه ظلماتست.۱_۴ منبع: مریم معزی / فصلنامه مطالعات تاریخی/ ش ۱۱و۱۲ / س۱۳۷۰ و نسخ خطی بیاض‌های اسماعیلیه-نخستین داعیان اسماعیلی در شمال غربی ایران و خراسان و ماوراءالنهر» ترجمهٔ فریدون بدره‌ای، مجله دانشکدهٔ ادبیات، دانشگاه تهران، شماره ۵۳(مهرماه ۱۳۴۵)، صفحه ۲۳–۷۰ هر آن کسی که خداوند خویش را نشناخت *** محقق است که در کفر و در ظلاماتست میان بنده و حقّ راز کی نهان ماند *** خدای عالم اسرار و ذوالخفیاتست به ترک نفس ، هوا و مراد خویش بگیر *** که هر چه در دل توغیر اوست ، طاماتست به هر چه پیش خیال و قیاس خود گفتم *** به نزد او همه افسانه و خیالاتست بگوی از سر اخلاص نام مولانا *** که آشکار شد و دعوتش مقالاتست عیان شد است رفیقان ز مشرق و مغرب *** ولیک این همه در بند یک اشاراتست به فضل خود نظری کن به بندگان ضعیف *** که در میان خلایق بسی مقالاتست شراب شوق لبالب ز جام مولانا *** بده که این هم از رحمت جماعاتست ببخش بندة مسکین خویش ابن حسام *** بدان سبب که گرفتار چاه ظلماتست.۱_۴ منبع: مریم معزی / فصلنامه مطالعات تاریخی/ ش ۱۱و۱۲ / س۱۳۷۰ و نسخ خطی بیاض‌های اسماعیلیه-نخستین داعیان اسماعیلی در شمال غربی ایران و خراسان و ماوراءالنهر» ترجمهٔ فریدون بدره‌ای، مجله دانشکدهٔ ادبیات، دانشگاه تهران، شماره ۵۳(مهرماه ۱۳۴۵)، صفحه ۲۳–۷۰
آرامگاه ابن حسام
آرامگاه ابن حسام خوسفی در سال ۹۲۰ هجری قمری بر روی تپه ای سنگی در بین مزارع‌های خوسف ساخته شد و در سده ۱۳ قمری مورد مرمت قرار گرفت. این بنای کوچک شامل اتاقکی است با فرم هشت ضلعی که نقشه فضای داخلی آن به صورت چلیپایی است. پوشش مقبره به صورت گنبدی طراحی شده که در مرکز آن یک کلاه‌فرنگی ساخته شده‌است. در این قسمت نورگیرهایی تعبیه شده تا هم نور فضای داخلی آرامگاه را تأمین کند و هم باعث تهویه فضای داخل آرامگاه شود. این بنا ابتدا در دوره صفویه بنا شده و در دوره قاجار تغییراتی در آن داده شد. این بنا دارای نقشه چلیپایی شکل و پوشش گنبدی بوده و در سه جهت، سه طاق‌نما با قوس جناقی دارد. همچنین در داخل آرامگاه کتیبه‌ای کاشیکاری شده به رنگ سفید حاوی اشعار ابن حسام وی باشد و دور مقبره را فرا گرفته‌است.
حساب گزاره‌ای
حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری‌ست. در منطق کلاسیک یا منطق دو ارزشی، گزاره‌ها دارای دو ارزش درست یا نادرست هستند.
تذکر: بعضی منطق‌دان‌ها منطق گزاره‌ها را منطق جمله‌ها خواندند، ولی، به نظر می‌رسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، فقط به جملهٔ خبری گفته می‌شود، عبارت منطق گزاره‌ها صحیح‌تر است.
تاریخچه
با وجود اینکه منطق گزاره‌ای (یا معادلاً "حساب گزاره‌ای") توسط فلاسفهٔ ماقبل مورد اشاره قرار گرفته بود، توسط رواقیون به یک منطق سوری توسعه یافت و خریسپیوس آن را گسترش داد. این منطق متمرکز بر گزاره‌ها بود. این پیشرفت با منطق قیاسی سنتی که مبتنی بر روابط است متفاوت بود. با این وجود با گذر زمان منطق گزاره‌ای توسعه یافته توسط رواقیون دیگر مورد فهم نبود و در نتیجه این سیستم توسط پیتر آبلارد بازآفرینی شد.
منطق گزاره‌ای در نهایت توسط منطق نمادین اصلاح شد. گوتفرید لایبنیتس به خاطر کارهایش در حساب دیفرانسیل و انتگرال استدلالی به عنوان بنیان‌گذار منطق نمادین شناخته می‌شود. با وجود این که آثار او اولین در نوع خود به حساب می‌آمد اما برای جامعهٔ علمی ناشناخته بود. در نتیجه بسیاری از پیشرفت‌های حاصله به لایبنیتس به‌طور کاملاً مستقل از او توسط منطق‌گرایانی مانند جرج بول و آگوستوس دمورگان دوباره به‌دست آمد.
درست همان‌گونه که منطق گزاره‌ای به نوعی یک پیشرفت در مقایسه با دستگاه قدیمی‌تر منطق قیاسی است، منطق محمولاتی ابداع شده توسط گوتلاب فرگ هم پیشرفتی در مقایسه با منطق گزاره‌ای به حساب می‌آید. منطق محمولاتی به عنوان "تلفیقی از ویژگی‌های شاخص منطق قیاسی و منطق گزاره‌ای" توصیف شده‌است، در نتیجهٔ آغازگر دورانی تازه در تاریخ منطق است. با این وجود پیشرفت‌های جدید در منطق گزاره‌ای بعد از فرگ هم انجام گرفته‌است از جمله کسر طبیعی، درخت‌های درستی و جدول ارزش. کسر طبیعی توسط گرهارد گنتزن و جان لوکاسویچ ابداع شده‌است اما در مورد منشأ اختراع جدول درستی بحث و اختلاف نظر وجود دارد.
ایده‌های پشت جدول ارزش در نوشته‌های هر دو فرگ و برتراند راسل یافت شده‌اند، با این حال ساختار جدولی (یعنی قرار دادن مقادیر درستی در جدول‌ها) عمدتاً به لودویگ ویتگنشتاین، امیل لئون پست یا هر دو نسبت داده می‌شود (مستقل از یکدیگر). جدا از فرگ و راسل، دیگرانی که به داشتن نظریاتی ماقبل جدول‌های درستی شناخته می‌شوند، عبارتند از: فیلو، بول، چارلز سندرز پرس و ارنست شرودر. همچنین علاوه بر پست و ویتگنشتاین ساختار جدولی را منتسب به افرادی چون لوکاسویچ، شرودر، آلفرد نورث وایت‌هد ،ویلیام استنلی جوونز، جان ون و کلارنس اروینگ لوویس می‌دانند. در نهایت بعضی چون جان شاشکی این‌گونه نتیجه‌گیری می‌کنند که «بدیهی است که هرکسی می‌تواند مخترع جدول ارزش شناخته شود».
اصطلاح‌شناسی
به‌طور کلی، یک حساب دستگاه صوری است که از مجموعه‌ای از عبارات نحوی، یک زیرمجموعهٔ مشخص از این عبارات (اصول) به علاوهٔ مجموعه‌ای از قواعد صوری تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم نهشتی منطقی دریافت شود، روی فضای عبارات تعریف می‌کند.
بوتیمار کوچک
مشخصات
این پرنده در مقایسه با دیگر بوتیمارها بسیار کوچک است و شاید کوچکترین حواصیل جهان باشد. طول آن ۲۷ تا ۳۶ سانتی‌متر، فاصلهٔ بین دو بالش ۴۰ تا ۵۸ سانتی‌متر و وزنش بین ۶۰ تا ۱۵۰ گرم است. گردنی کوتاه و منقاری دراز دارد. تاج، پشت و دم پرندهٔ نر سیاه مایل به سبز بوده و پرهای گردن، سینه و دیگر بخش‌های زیرین بدن پرنده به زردی می‌گراید. بال‌ها سیاه بوده و نقوش بزرگ سفید رنگی بر رویشان وجود دارد. رنگ‌بندی پرهای بوتیمار کوچک ماده نیز تقریباً شبیه پرندهٔ نر است با این تفاوت که پرهای پشتی آن به رنگ قهوه‌ای پررنگ بوده و گردن، سینه و پهلوها نیز متمایل به قهوه‌ای هستند.
تغذیه و تولید مثل
بوتیمار کوچک از ماهیها، حشرات و دوزیستان تغذیه کرده و در نیزارها به زاد و ولد می‌پردازد. او آشیانه‌ٔ خود را بر بستری از نی ساخته و بین ۴ تا ۸ تخم در آن میگذارد و پس از ۲۰ روز جوجه‌ها از تخم بیرون می‌آیند.
حساب گزاره‌ای
اصطلاح‌شناسی
هنگامی که قرار است دستگاه صوری یک نظام منطقی باشد، عبارات باید به صورت احکام برداشت شوند، قواعد شناخته شده به عنوان قوانین استنتاج معمولاً درستی نگهدار هستند. در این ساختار قوانین (که ممکن است شامل اصول شوند) می‌توانند برای به‌دست آوردن (استنتاج) فرمول‌هایی که بیانگر احکام درست هستند از فرمول‌های داده شده بر اساس احکام درست مورد استفاده قرار گیرند.
مجموعهٔ اصول ممکن است تهی، یک مجموعه متناهی ناتهی، یک مجموعهٔ شمارای نامتناهی یا طرح‌واره‌ای از اصول باشد. صرف و نحو صوری به‌طور بازگشتی عبارات و فرمول‌های خوش‌فرم زبان را توصیف می‌کند. به علاوه ممکن است یک معناشناسی داده شود که درستی و ارزش‌گذاری را تعیین کند (همان تفسیرها).
زبان یک منطق گزاره‌ای تشکیل شده از موارد زیر است:
۱- مجموعه‌ای از نمادهای ابتدایی که با الفاظ مختلف از جمله فرمول‌های اتمی، جانگهدارها، ورتنده‌های گزاره‌ای یا متغیر شناخته می‌شوند.
۲- مجموعه‌ای از عملگرها که با نام‌هایی مانند رابط‌های منطقی یا عملگرهای منطقی شناخته می‌شوند.
یک فرمول خوش‌ساخت می‌تواند یک فرمول اتمی یا هر فرمول دیگری که می‌تواند بر اساس فرمول‌های اتمی و با استفاده از عملگرها در حوزهٔ قوانین نحوی ساخته شود باشد.
ریاضی‌دانان گاهی اوقات میان ورتنده‌های گزاره‌ای، متغیرهای گزاره‌ای و طرح‌واره تمایز قایل می‌شوند. ورتنده‌های گزاره‌ای یک گزارهٔ خاص را نمایش می‌دهند در حالی که متغیرهای گزاره‌ای تمام مجموعه فرمول‌های اتمی را فرا می‌گیرند. رایج است که ورتنده‌های گزاره‌ای را با B، A و C و متغیرهای گزاره‌ای را با Q، P و R نشان دهند. برای طرح‌واره هم معمولاً از حروف الفبای یونانی ، \psi، \chi استفاده می‌شود.
مفاهیم پایه
شرح ذیل حدود یک حساب گزاره‌ای استاندارد را مشخص می‌کند. فرموله سازی‌های بسیاری وجود دارند که همه تقریباً در اصل یکسانند اما دارای تفاوت‌هایی در جزییات زیر هستند:
رستم‌آباد جمشیدی
رستم‌آباد جمشیدی، روستایی از توابع بخش بیرانوند شهرستان خرم‌آباد در استان لرستان ایران است.
حساب گزاره‌ای
مفاهیم پایه
۱- زبان، که در واقع مجموعهٔ خاصی از نمادهای ابتدایی و عملگر هاست.
رستم‌آباد جمشیدی
جمعیت
این روستا در دهستان بیرانوند جنوبی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۰ نفر (۴خانوار) بوده‌است.
حساب گزاره‌ای
مفاهیم پایه
۲- مجموعهٔ اصول یا فرمول‌های مشخص
۳- مجموعه قواعد استنتاج
با شروع از نقیض عملگرهای درستی را تعریف می‌کنیم. برای نمایش نقیض P از \neg P استفاده می‌کنیم، که می‌تواند تکذیب گزاره P تلقی شود. در مثال فوق \neg P بیان می‌کند که «الان بیرون باران نمی‌بارد». زمانی که P درست باشد، \neg P غلط است و زمانی که \neg P درست باشد،P غلط خواهد بود. \neg\neg P همواره همان مقدار درستی P را دارد.
ترکیب عطفی
یک تابع درستی است که از دو گزاره ساده‌تر مثلاً P و Q ، یک گزاره مرکب می‌سازد. ترکیب عطفی P و Q به صورت P \land Q نوشته می‌شود و بصورت " P و Q " آن را می‌خوانیم. برای هر دو گزاره‌ای چهار وضعیتِ ممکن از مقادیر درستی وجود دارد:
1- P درست و Q درست باشد
2- P درست و Q غلط باشد
3- P غلط و Q درست باشد
ترکیب عطفی P و Q در مورد یک درست و در سایر موارد غلط است. هنگامی که P گزاره‌ای باشد که «بیرون باران می‌بارد» و Q گزاره‌ای باشد که «یک جبههٔ هوای سرد در اطراف کانزاس است»، P \land Q تنها زمانی درست است که:
بیرون باران ببارد و یک جبههٔ هوای سرد در اطراف کانزاس باشد.
اگر بیرون باران ببارد و جبههٔ هوای سرد در کانزاس نباشد P \land Q غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس باشد P \land Q غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس نباشد P \land Q غلط خواهد بود.
ترکیب فصلی
ترکیب فصلی از آن جهت که یک گزاره مرکب از دو گزاره ساده‌تر تولید می‌کند مشابه ترکیب عطفی است. ترکیب فصلی را به P \vee Q نمایش می‌دهیم که "P یا Q" خوانده می‌شود.
توجه شود که ترکیب فصلی باید به نوعی استفاده از واژه "یاً را شبیه‌سازی کند اما بیشتر شبیه "یا عمومی" است، که برای نشان دادن صحیح بودن حداقل یکی از دو گزاره استفاده می‌شود. پس ترکیب فصلی با "یا انحصاری" در زبان انگلیسی که نشان دهنده درست بودن دقیقاً یکی از دو گزاره است تفاوت دارد. به عبارت دیگر "یا انحصاری" زمانی که هر دو گزاره P و Q درست باشند غلط خواهد بود (مانند مورد اول). مثالی از یا انحصاری به شکل زیر خواهد بود: "شما می‌تواند پاستا یا سالاد بخورید، نه هر دو را". معمولاً در گفتگوهای عادی زبانی عبارت "ولی نه هر دو" حذف می‌شود اما به‌طور ضمنی مورد نظر است. در ریاضیات همیشه منظور از یا همان "یا عمومی است"، در صورتی که "یا انحصاری مورد نظر باشد به‌طور صریح، احتمالاً با استفاده از "xor" مشخص می‌شود
ترکیب شرطی
ترکیب شرطی نیز دو گزاره ساده‌تر را با هم ترکیب می‌کند و آن را با نمایش می‌دهیم که خوانده می‌شود "اگر P آنگاه Q". گزاره سمت چپ "شرط مقدم" و گزاره سمت راست "شرط موخر" خوانده می‌شود (از آنجا که ترکیب فصلی و عطفی شرکت پذیر هستند چنین مشخصه‌ای برای آن‌ها تعریف نمی‌شود).
بسته بودن نسبت به عملیات
منطق گزاره‌ای نسبت به عملگرهای درستی نگهدار بسته است. یعنی برای هر گزاره, هم یک گزاره است. برای مثال برای هر دو گزاره  \psi \,\!,  هم یک گزاره است که به‌طور مشابه برای ترکیب فصلی، ترکیب شرطی و ترکیب دو شرطی هم برقرار است. این بیان می‌کند که از آنجا که P \land Q یک گزاره است می‌تواند با گزاره‌ای دیگر عطف شود. برای نمایش دادن این رابطه باید با استفاده از پرانتزها مشخص کنیم که کدام گزاره‌ها با هم عطف می‌شوند. برای نمونه یک رابطه خوش ساخت نیست زیرا نمی‌دانیم که داریم P \land Q با R عطف می‌کنیم یا P با Q \land R. بنابراین یا باید بنویسیم   تا اولی را نمایش دهیم با باید بنویسیم  تا نشان دهیم که شکل دوم مد نظر بوده‌است. با ارزیابی شرایط درستی در می‌یابیم که هر دو عبارت شرایط درستی یکسانی دارند و به‌طور جامع تر هر گزاره‌ای که با چینش دلخواهی از ترکیب ای عطفی ساخته شود، صرف نطر از جایگاه پرانتزها مقادیر درستی ثابتی خواهد داشت. این به خاطر آن است که ترکیب عطفی خاصیت پخشی دارد اما این موضوع نباید باعث شود وجود پرانتزها را بی‌دلیل بدانیم. به عنوان نمونه مقادیر درستی عبارت با عبارت   یکسان نیست، بنابراین این‌ها عبارت‌های متفاوتی هستند که با توجه به قرارگیری پرانتزها از هم متمایز می‌شوند. خواننده می‌تواند این موضوع را با استفاده از جدول درستی تحقیق کند.
نکته: برای هر تعداد دلخواه از ورتنده‌های گزاره‌ای می‌توانیم مجموعه متناهی از حالت‌های ممکن برای مقادیر درستی آن‌ها را ارائه دهیم. یک راه ساده برای تولید این لیست استفاده از جداول درستی است. برای هر مجموعه k تایی از ورتنده‌های گزاره‌ای از حروف P, Q, …, Z استفاده می‌کنیم. در زیر این لیست 2^k ردیف خالی می‌گذاریم. زیر P نیمهٔ اول ردیف‌ها را با «درست» (T) و نیمهٔ دوم را با «غلط» (F) پر می‌کنیم. زیر Q یک چهارم را با T، یک چهارم بعدی را با F، یک چهارم سوم را با T و در نهایت یک چهارم آخر را با F پر می‌کنیم. ستون بعدی برای هر یک هشتم ردیف‌ها، ستون بعد تر برای هر یک شانزدهم و در نهایت ستون آخر برای هر ردیف بین مقادیر T و F نوسان می‌کند. این فرایند یک لیست کامل از نگاشت‌های درستی ممکن برای گزاره‌های اولیه را ارائه می‌دهد.
استدلال
حساب گزاره‌ای می‌تواند یک استدلال را به عنوان مجموعه‌ای از گزاره‌ها تعریف کند. یک استدلال معتبر مجموعه‌ای از گزاره هاست که آخرین آن‌ها بر اساس بقیه نتیجه می‌شود. هر گزاره‌ای که در تعریف فوق صدق نکند مردود شناخته می‌شود. ساده‌ترین استدلال معتبر  وضع مقدم است، که نمونه‌ای از آن در ذیل آمده‌است: این مجموعه‌ای از سه گزاره است که گزاره سوم از دو گزاره قبلی نتیجه می‌شود. به دو گزاره اول «فرض» و به گزاره سوم «نتیجه» می‌گوییم. می‌گوییم گزاره دلخواه C از مجموعه گزاره‌های نتیجه می‌شود اگر زمانی که تمام گزاره‌های  درست باشند C هم درست باشد. در استدلال بالا برای هر P و Q هنگامی که و P درست باشند، لزوماً  Q هم درست خواهد بود. توجه شود که زمانی که P درست باشد حالت‌های ۳و۴ از جدول درستی را نمی‌توانیم در نظر بگیریم. هنگامی که درست باشد هم حالت دوم را نمی‌توانیم در نظر بگیریم پس تنها حالت ۱ باقی می‌ماند که هم P و هم Q درست هستند؛ بنابراین Q بر اساس فرض‌ها نتیجه می‌شود.
بقیه شکل‌های استدلال علی رغم سادگی لزوماً مورد نیاز نیستند. در کنار مجموعهٔ کاملی از اصول وضع مقدم برای اثبات تمام استدلال‌های دیگر در حساب گزاره‌ای کافی است. توجه شود که این وضع د
ویژگی برجسته استدلال در حساب گزاره‌ای آن است که می‌توان بر اساس استدلال‌های ثابت شده، استدلال‌های درست جدید به دست آورد. در اولین مثال بالا، با دو فرض داده شده نمی‌توان در مورد درستی Q اظهار نظری کرد اما بعد از استدلال درستی Q نتیجه‌گیری می‌شود؛ بنابراین یک نظام قیاسی را به صورت مجموعهٔ تمام گزاره‌هایی که می‌توانند از هم نتیجه‌گیری شوند تعریف می‌کنیم. برای نمونه بر پایه مجموعه گزاره‌های ، می‌توانیم سامانه قیاسی \Gamma را که جامع تمام گزاره‌های نتیجه شونده از A است تعریف کنیم. تصریح همواره مفروض است بنابراین. همچنین بر اساس عضو اول و آخر A و نیز وضع مقدم، R نتیجه می‌شود پس. از آنجا که هنوز اصول به حد کافی غامض را معرفی نکرده‌ایم نمی‌توانیم نتیجه‌گیری دیگری داشته باشیم؛ بنابراین با وجود اینکه عمده سیستم‌های استنتاجی مورد مطالعه در حساب گزاره‌ای قادر به نتیجه‌گیری هستند، این سیستم ضعیف تر از آن است که بتواند چنین گزاره‌ای را ثابت کند.
توصیف کلی یک حساب گزاره‌ای
یک حساب گزاره‌ای یک سیستم صوری است به‌طوری‌که:
مجموعهٔ "آلفا" \Alpha یک مجموعهٔ متناهی از اعضا موسوم به "نمادهای گزاره‌ای" یا "متغیرهای گزاره‌ای" است. از نظر نحوی این‌ها ساده‌ترین عناصر سازنده زبان نحوی \mathcal{L} یا همان " فرمول‌های اتمی" هستند. در مثال‌های پیش رو اعضای \Alpha را عمدتاً با حروف p, q, r و … نشان می‌دهیم.
مجموعهٔ "امگا" \Omega یک زیرمجموعهٔ متناهی از اعضا موسوم به " عملگرها یا رابط‌های منطقی است. مجموعهٔ \Omega به شکل زیر به زیرمجموعه‌های مستقل افراز مجموعه می‌شود:
در این افراز، \Omega_j مجموعهٔ عملگرها از Arity j است.
در حساب شناخته شده تر گزاره‌ای، \Omega را معمولاً به شکل زیر افراز می‌کنیم:
مرسوم است که مقادیر ثابت درستی را عملگرهایی از مرتبه صفر در نظر می‌گیریم، بنابراین:
بعضی مؤلفان از نماد تیلدا(~)، به جای ¬ و بعضی دیگر از آمرسان (&) یا پیشوند K با جای ∧ استفاده می‌کنند. نمادگزاری برای مجموعهٔ مقادیر منطقی حتی متنوع تر است، به گونه‌ای که نمادهای {false, true}, {F, T}, or در متون مختلف به جای {۰, ۱} استفاده می‌شوند.
مجموعهٔ «زتا» \Zeta یک مجموعهٔ متناهی از قواعد ترادیسی است که در کاربردهای منطقی اصطلاحاً قوانین استنتاج خوانده می‌شوند.
مجموعه «یوتا» \Iota یک مجموعهٔ متناهی از نقاط اولیه است که وقتی قرار است به‌طور منطقی مفهوم شوند اصل موضوعی خوانده می‌شوند.
زبان \mathcal{L}، که با مجموعهٔ روابط خوش ساختش شناخته می‌شود، به‌طور استقرایی بر اساس قوانین زیر تعریف می‌شود:
۱- بر اساس قانون ۱، p یک رابطه است.
معشوقه
رفیقه، معشوقه، یا مِترِس به زنی گفته می‌شود که مورد دلبستگی یک فرد است اما با او ازدواج نکرده‌است.
حساب گزاره‌ای
توصیف کلی یک حساب گزاره‌ای
۲- بر اساس قانون ۲، \neg p یک رابطه است.
۳- بر اساس قانون ۱، q یک رابطه است.
۴- بر اساس قانون ۲، یک رابطه است.
مثال ۱. یک سیستم ساده اصل موضوعی
فرض کنیم ، به‌طوری‌که \Alpha, \Omega, \Zeta, \Iota به صورت زیر تعریف شده‌اند:
مثال ۲. دستگاه نتیجه‌گیری طبیعی
فرض کنیم ، به‌طوری‌که \Alpha, \Omega, \Zeta, \Iota به صورت ذیل الذکر تعریف شده‌اند: در این مثال از حساب گزاره‌ای، هدف این است که قوانین استنتاج، برگرفته از قوانین استنتاج دستگاه موسوم به دستگاه نتیجه‌گیری طبیعی باشند. دستگاهی که در اینجا ارائه می‌شود فاقد هرگونه نقطه ابتدایی است. یعنی در تفسیر این دستگاه از عملیات منطقی، قضایا را از مجموعه‌ای تهی به عنوان اصول موضوعی استنتاج می‌شوند.
دستگاه گزاره‌ای ما دارای ده قانون نتیجه‌گیری است. این قوانین به ما اجازه می‌دهند تا از مجموعه‌ای از فرمول‌ها که به صورت پیش‌فرض درست تلقی شده‌اند، فرمول‌های صحیح دیگری را نتیجه بگیریم. نه قانون اول صرفاً بیان می‌کنند که چگونه می‌توان بعضی فرمول‌های خوش ساخت را از برخی دیگر نتیجه گرفت. اما آخرین قانون از استدلالی مبتنی بر فرض استفاده می‌کند، به این معنا که در پیش‌فرض این قانون، موقتاً فرض می‌کنیم که فرضیه‌ای اثبات نشده بخشی از فرمول‌های استنتاج شده ما باشد، تا امکان نتیجه گرفتن یک فرمول خاص دیگر را بررسی نماییم. از آنجا که نه قانون اول این کار را نمی‌کنند، آن‌ها را قوانین غیر فرض محور (به انگلیسی non-hypothetical) می‌خوانند و قانون دهم را قانون فرض محور (به انگلیسی hypothetical) نامیده‌اند.
در توصیف قوانین استنتاج، ممکن است برای سادگی در زبان فراتر از گزاره‌ها (به انگلیسی metalanguage: سیستمی برای گزاره‌هایی راجع به گزاره‌ها) از نماد جدید \vdash استفاده کنیم. این نماد، اختصاراً به معنی «نتیجه می‌دهد» می‌باشد و قالب استفاده از این نماد به صورت است، که در آن \Gamma مجموعه‌ای (نه لزوماً ناتهی) از فرمولهاست که فرض (مقدم) نامیده می‌شوند، و \psi فرمولی است که نتیجه (یا مؤخر) نام دارد. قانون استنتاجی که بیان می‌کند، به این معنی است که اگر تمام گزاره‌های عضو \Gamma قضیه باشند (یا مقدار درستی آن‌ها با اصول موضوعی یکسان باشد)، آنگاه \psi نیز یک قضیه خواهد بود. توجه نمایید که طبق تعریف عطف (به انگلیسی Conjunction introduction) خواهیم داشت که هرگاه \Gamma بیش از یک فرمول را شامل شود، می‌توان بی سادگی آن را به کمک عطف یا «و» منطقی آن‌ها را به یک گزاره مرکب کاهش داد. پس به این ترتیب می‌توان \Gamma را به جای یک مجموعه به صورت یک گزاره معرفی نماییم. مطلب دیگر آن که هرگاه \Gamma تهی باشد ممکن است آن را برای راحتی ننویسیم.
شکل‌های پایه و مشتق استدلال
<span id="propcalc_table">
اثبات‌ها در حساب گزاره‌ای
یکی از استفاده‌های اصلی حساب گزاره‌ای، هنگامی که آن را معادل عملیات منطقی تفسیر نماییم، تشخیص روابط هم‌ارزی منطقی بین روابط گزاره‌ای است. این روابط هم‌ارزی به کمک قوانین استنتاج موجود تشخیص داده می‌شوند که به دنباله‌های آن‌ها اثبات یا استنتاج گفته می‌شود.
در ادامه، یک اثبات به صورت دنباله‌ای از خطوط شماره دار ارائه می‌شود که هر خط آن تنها یک رابطه را دربردارد، و به همراه آن دلیل یا توجیه صحت این رابطه نیز آمده‌است. هر پیش‌فرض برای استدلال، یعنی چیزی که به عنوان فرض از قبل پذیرفته شده، در ابتدای دنباله فهرست شده و به عنوان یک «پیش فرض» در محل توجیه موردنظر علامت‌گذاری شده‌است. نتیجه، در سطر پایانی بیان شده‌است. یک اثبات هنگامی کامل است که هر سطر، پیرو خط‌های پیشین با به‌کارگیری درست قوانین استنتاج باشد. (به عنوان یک راهکار متفاوت از این دستگاه، می‌توان روش نمودار تحلیل (درخت درستی)، یا به انگلیسی proof-trees، را معرفی نمود)
صحت و کامل بودن قوانین
ویژگی بسیار مهم این مجموعه قوانین، صحت و کامل بودن آن است. به بیان شهودی، این بدان معنی است که قوانین درست هستند و به قوانین دیگری نیز نیاز نداریم. این ادعا را می‌توان همان‌طور که در ادامه خواهد آمد به صورت قاعده مند تری درآورد.
ما نگاشت درستی را به صورت تابعی تعریف می‌کنیم که متغیرهای گزاره‌ای را به یکی از مقادیر درست یا نادرست می‌نگارد، یا به عبارتی به هر گزاره یکی از مقادیر درست یا نادرست را نسبت می‌دهد. به‌طور شهودی، نگاشت درستی را می‌توان به صورت توصیف یک حالت امور یا دنیای ممکن تعبیر کرد، که در آن برخی جملات صحیح هستند و باقی نادرست هستند. پس مفهوم معناشناسی روابط را می‌توان این‌گونه به‌طور قاعده مند تعریف نمود که برای کدام «حالت امور» آن روابط درست تلقی می‌شوند، که تعریف زیر حاکی از همین موضوع است.
تعریف می‌کنیم که یک نگاشت درستی مانند A \,، رابطه‌ای خوش ساخت (که قبل تر در همین متن تعریف شده‌است) را با قوانین زیر اقناع می‌کند:
در پایان، دلالت بر اساس قواعد ترکیب را این گونه تعریف می‌کنیم که S \, به لحاظ ترکیبی دلیل بر \phi \, است، هنگامی که بتوان \phi \, را بر اساس قوانین استنتاج (که قبل تر توضیح داده شد) در متناهی مرحله از روابط مجموعه S \, نتیجه گرفت؛ بنابراین می‌توانیم به‌طور دقیق صحت و کامل بودن را مطابق زیر تعریف نماییم: برای مجموعه قوانین فوق، این دو شرط برقرار هستند.
پایونیر ۱۰
پایونیر ۱۰ به بیانی، نخستین شیء مصنوعی ساخته بشر است که منظومه شمسی را ترک کرده‌است. اما به‌طور قطع، این کاوشگر اولین شیء ساخته بشر است که به قصد خارج شدن از منظومه خورشیدی ساخته شده‌است. با این حال این کاوشگر هنوز موفق به گذر از ناحیه هلیوپاز یا ابرهای اورت نشده‌است.
مأموریت پایونیر ۱۰، مطالعه میدان مغناطیسی سیاره ای و بین سیاره‌ای، بادهای خورشیدی، پرتوهای کیهانی، مرحله گذر از هلیوسفر، فراوانی هیدروژن خالص، توزیع، اندازه، جرم، جریان و سرعت ذرات غبار معلق، جو مشتری و برخی از قمرهای آن - به خصوص آیو -، و همچنین تصویربرداری از مشتری و ماه‌های آن بود.
ساخت
در سال ۱۹۶۹، پایونیر ۱۰ و کاوشگر همسانش پایونیر ۱۱ طراحی شدند تا همانطور که نامگذاری شده بودند، نخستین کاوشگرهایی باشند که از کمربند سیارک‌ها و فضای مشتری اطلاعات جمع‌آوری و ارسال کنند. اینکه آن‌ها چقدر موفق شدند در فناوری و نقشۀ ماموریت‌های بعدی مشخص می‌شد.
پایونیر ۱۰ در برگیرندۀ لوحی بود که به عنوان پیامی برای هر موجودات فرازمینی بر آن نصب شده بود.
یک نمونۀ مشابه از پایونیر ۱۰، یعنی پایونیر H، هم‌اکنون در موزۀ ملی هوافضای واشینگتن نگهداری می‌شود.
مأموریت
پایونیر ۱۰ پس از رسیدن به مشتری در دسامبر ۱۹۷۳، موفق شد نخستین فضاپیمایی باشد که به سیارۀ مشتری دست پیدا می‌کند. این فضاپیما پس از آن تا پایان مأموریتش در ۳۱ مارس ۱۹۹۷، موفق به کاوش‌های علمی ارزش‌مندی از مناطق بیرونی منظومۀ خورشیدی شد.
زمان‌های مهم در مأموریت پایونیر۱۰
تاریخ‌های مهم در مأموریت پایونیر۱۰ عبارت است از:
کوریره دلو اسپورت – استادیو
کوریره دلو اسپورت – استادیو (Corriere dello Sport – Stadio) یک روزنامهٔ ملی ایتالیایی با موضوع ورزشی است که در رم مستقر است. این روزنامه یکی از سه روزنامهٔ بزرگ ورزشی ایتالیا است و بزرگترین اجتماع مخاطبان را در مرکز و جنوب ایتالیا دارد که این موضوع آن را به چهارمین روزنامهٔ پرمخاطب در سطح کشور ایتالیا بدل کرده‌است.
کاتبی ترشیزی
شمس‌الدین محمد بن عبدالله کاتبی ترشیزی؛ نام شاعر و خطاط شهیر ایرانی در سده نهم قمری است. وی در روستای طرق، نزدیک ترشیز و نیشابور، به دنیا آمد و به همین سبب او را نیشابوری و ترشیزی نیز خوانده‌اند.
درگذشت
کاتبی در استرآباد و در سال ۸۳۹ قمری احتمالاً در اثر طاعون درگذشت.
آثار
از کاتبی منظومه‌هایی چون گلشن ابرار، ده باب، محبّ و محبوب، سی‌نامه، مجمع‌البحرین و تجنیسات برجای مانده‌است. دیوان او مرکب از قصایدی در حمد خدا، ستایش پیامبر اسلام و برخی شاهان و امیران است. کاتبی، در قصاید به استقبال شاعرانی چون خاقانی و کمال‌الدین اسمعیل رفته‌است.
زرخان لات
زرخان لات، روستایی از توابع بخش رحیم‌آباد شهرستان رودسر در استان گیلان ایران است.
جمعیت
این روستا در دهستان رحیم آباد قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
ماسیلا لوشا
ماسیلا لوشا (متولد ۲۳ اکتبر ۱۹۸۵) نویسنده، بازیگر، ترانه‌سرا و انسان‌دوست آمریکای است. که شهرتش را پس از بازی در برنامه جورج لوپز بدست آورد.
آلبرتو روییز-گالاردون
آلبرتو روییز-گالاردون (Alberto Ruiz-Gallardón؛ زادهٔ December 11, 1958) یک سیاست‌مدار اهل اسپانیا است.
از فیلم‌هایی که وی در آنها نقش داشته‌است می‌توان به هولمز و واتسن. روزهای مادرید اشاره کرد.
ریچفیلد، پنسیلوانیا
ریچفیلد (به انگلیسی: Richfield) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان جونیاتا، پنسیلوانیا واقع شده‌است. ریچفیلد ۲٫۲ کیلومتر مربع مساحت و ۵۴۹ نفر جمعیت دارد و ۱۹۹٫۹۵ متر بالاتر از سطح دریا واقع شده‌است.
می‌بل، کلرادو
می‌بل (به انگلیسی: Maybell) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان موفات، کلرادو واقع شده‌است. می‌بل ۱٫۳ کیلومتر مربع مساحت و ۷۲ نفر جمعیت دارد و ۱٬۸۰۵ متر بالاتر از سطح دریا واقع شده‌است.
خوسه ولاسکس (بازیکن فوتبال، زاده ۱۹۵۲)
خوسه ولاسکِس (José Velásquez؛ زادهٔ ) بازیکن فوتبال اهل پرو بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال آلیانزا لیما و باشگاه فوتبال هرکولس اشاره کرد.
وی همچنین در تیم ملی فوتبال پرو بازی کرده‌است.
سن پائولو بل سیتو
سن پائولو بل سیتو (به ایتالیایی: San Paolo Bel Sito) یک کومونه در ایتالیا است که در استان ناپل واقع شده‌است.
خصوصیات
سن پائولو بل سیتو ۳٫۰ کیلومترمربع مساحت و ۳٬۵۴۶ نفر جمعیت دارد و ۵۰ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده
شهر کاسامارسیانو خواهرخواندهٔ سن پائولو بل سیتو هست.
مجموعه بناهای روستای شاه کرم
مجموعه بناهای روستای شاه کرم مربوط به اواخر دوره صفوی است و در شهرستان اصفهان، دهستان رود دشت، روستای ده کرم واقع شده و این اثر در تاریخ با شمارهٔ ثبت ۱۳۱۳ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده‌است.
عاشورا (موشک)
نوامبر ۲۰۰۷، وزیر دفاع ایران ، مصطفی محمد نجار، اعلام کرد ایران یک موشک جدید با نام عاشورا با برد ۲٬۰۰۰ کیلومتر را ساخته است. نجار گفت : «جمهوری اسلامی ایران قصد حمله‌ به کشورها را ندارد. اما اگر کسی بخواهد به ایران حمله کند با پاسخ خردکننده نیروهای مسلح مواجه خواهد شد.» اما اشاره‌ای نکرد که این موشک با موشک شهاب-۳ با برد ۲٬۱۰۰ کیلومتر چه تفاوتی دارد. او در مانور آن‌ها که همان هفته برگزار شده بود گفت : «ساخت موشک عاشورا، با برد ۲٬۰۰۰ کیلومتر، از موفقیت‌های وزارت دفاع است.»
هوئیز
کاربرد در دامنه اینترنتی
به‌طور ساده هو ایز در دامنه اینترنتی، به تلاش برای دریافت اطلاعات جزئی یا کلی در زمینه مالکیت یا رابط‌های مدیریتی یک دامنه اینترنتی و مانند آن گفته می‌شود.
سطح دسترسی به این اطلاعات برای کاربر درخواست‌کننده به هو ایز به نوع دامنه سطح‌بالا یا دامنه سطح دوم، ثبت کننده آن دامنه، یا حتی به میزان آزادسازی دسترسی به این اطلاعات از سوی مالک آن دامنه اینترنتی بستگی دارد.
تقارن در بلور
تقارن دورانی
منظور از محور دوران محوری فرضی است که از مرکز کریستال گذشته و موتیف‌های تقارن کریستال پس از دوران زاویه‌ای معین چندین بار پیاپی تکرار می‌گردند. اگر a زاویه‌ای باشد که هر کریستال بر اثر دوران حول محورش طی می‌کند تا به حالت مشابه قبلی خود برسد آنگاه برحسب میزان a براساس اینکه در هر گردش ۳۶۰ چند بار این زاویه گنجانده شده محورهای درجه یک،۲و...خواهیم داشت. به این نوع تقارن تقارن نوع اول می‌گویند. در بلورها محورهای درجه پنج و درجه ۶ به بالا وجود ندارد.چرا که نمی‌توان سطحی را با پنج ظلعی مفروش کرد و قسمت‌هایی خالی می‌ماند
تقارن انعکاسی آینه‌ای (سطحی)
عمل سطح تقارن مانندیک آینه مسطح منعکس کردن موتیف‌های تقارن می‌باشد.به عبارت دیگر سطح تقارن هر شکلی را به دوبخش هم‌شکل و مساوی تقسیم می‌کند. تعداد سطوح تقارن در بلورها متفاوت بوده و در برخی از آنها حتی به نه عدد هم می‌رسد. محورهای درجه سه و بالاتر را محورهای اصلی نامیده و سطوح تقارن عمود بر آنها را نیز سطوح تقارن اصلی می‌نامند.
تقارن انعکاسی مرکزی(مرکز تقارن)
هرگاه نقاط مختلف جزئی از بلوری را به مرکز آن وصل نموده و به اندازه خود امتداد دهیم در صورتی که به نقطه مشابهی برسیم این بلور دارای مرکز تقارن یا تقارن انعکاسی مرکزی است.
محمدتقی نجفی اصفهانی
آقا نجفی اصفهانی یا محمدتقی رازی نجفی مسجد شاهیان اصفهانی (زاده: ۲۵ فروردین ۱۲۲۵، اصفهان - درگذشت: ۱۳ تیر ۱۲۹۳، اصفهان) از علمای معاصر شیعه بود که فعالیت‌های گسترده‌ای در زمینه‌های سیاسی و اجتماعی نیز داشت.
خانواده
پدر وی شیخ محمدباقر نجفی مسجد شاهیان اصفهانی فرزند شیخ محمدتقی رازی یا (شیخ محمد تقی راضی) سر سلسله خاندان نجفی اصفهانی و مادر وی زمزم بیگم دختر دوم سید صدرالدین عاملی از علما و مراجع بزرگ بودند.
پدربزرگ مادری وی شیخ جعفر کاشف‌الغطا می‌باشد.
محمدتقی نجفی اصفهانی داماد سید محمدهاشم خوانساری چهارسوقی از خاندان خوانساری بود. سید محمدهاشم خوانساری از مراجع و استادان مطرح وقت در اصفهان و نجف بود.
تحصیل و استادان
آقانجفی، سال‌های نخستین زندگی را در خاندانی مشهور به علم، تقوا و مجاهدت، سپری کرد و پس از طی مراحل اولیه تحصیل، رهسپار عتبات عالیات شد. او در این سفر همراه و همسفر سید محمدکاظم طباطبایی یزدی بود که با هزینه و یاری پدر خود (محمدباقر نجفی اصفهانی) برای ادامه تحصیل، راهی نجف شده بود. ایشان در نجف به همراه برادرش شیخ محمد حسین اصفهانی در دروس فقهی تحصیل می‌کند.
شاگردان
در حوزه درسی آقانجفی در طول مدت بیش از سی سال (از زمان وفات پدر در سال ۱۳۰۱ تا زمان وفات خود در سال ۱۳۳۲) عده زیادی از فضلا شرکت کردند. نویسنده کتاب «بیان سبل الهدایه فی ذکر اعقاب صاحب الهدایه، یا تاریخ علمی و اجتماعی اصفهان در ۲قرن اخیر» دربارهٔ شاگردان آقانجفی تحقیق کرده، اسامی ۶۷ نفر از آنان را ذکر کرده‌است که شاخص‌ترین آنان عبارتنداز:
تالیفات
تألیفات و آثار علمی آقانجفی، او را در میان علمای عصر خود و همچنین زمان‌های بعد معتبر و مهم نشان می‌دهد. با وجود آنکه ایشان، در مسائل سیاسی- اجتماعی فعال بود اما به لحاظ علمی، تألیفات و آثار بسیار زیادی از خود به جای گذاشته‌است؛ به‌گونه‌ای که شیخ آقابزرگ تهرانی در نقباءالبشر آن‌ها را متجاوز از صد عنوان ذکر می‌کند عناوین برخی از آثار ایشان از این قرار است: از دیگر اقدامات وی ترجمه کتاب عیون اخبار الرضا است.
فعالیت‌های سیاسی و اجتماعی
وی در زمینه مسائل سیاسی و اجتماعی فعالیت‌های گسترده‌ای داشت از جمله در مقابله با استعمار، بابیت و بهائیت و انتقاد از شاهان قاجار. وی همچنین هم‌زمان با حمله ایتالیا به لیبی نیز مکاتباتی با شاه عثمانی جهت دفاع از لیبی انجام داد.