payamvha/North_RAG huggingface dataset:
که وظیفه داشت رمزهای نیروی دریایی آلمان‌ها را بشکند، بود. از ۱۹۳۸، تورینگ برای مرکز رمز دولت (سازمان رمزشکنی انگلستان) کار می‌کرد. او روی رمزشکنی ماشین انیگمای آلمان‌ها کار می‌کرد و همکار دیلی ناکس، رمزشکن رده‌بالای سازمان بود. در ۴ سپتامبر ۱۹۳۹، یک روز پس‌از آنکه انگلستان علیه آلمان اعلام جنگ کرد، تورینگ بلچلی پارک را به عنوان مرکز جنگی سازمان گزارش کرد. بامب: تورینگ-ولچمن. در نخستین هفته‌های آمدن به بلچلی پارک، تورینگ ماشینی الکترومکانیکی به‌نام بامب (به انگلیسی: Bombe) طراحی کرد که رمزهای انیگما را
(به انگلیسی: Bombe) طراحی کرد که رمزهای انیگما را زودتر از روش لهستانی‌ها در ۱۹۳۲ می‌شکست. بامب، با بهینه‌سازی گوردون ولچمن، دستگاه اصلی و مکانیزه رمزشکنی پیام‌های رمز شده با انیگما شد. ، رمزشکنی که آن زمان در بلچلی پارک کار می‌کرد، بعدها گفت: بزرگ‌ترین کار تورینگ، به باور من، شرکت در ساخت بامب، ماشین رمزشکن، بود. او ایده‌ای عملی داشت، در واقع قضیه‌ای در منطق، که البته در نظر عوام بی‌معنی است؛ اینکه از تناقض، می‌توان هر چیزی نتیجه گرفت. بامب دنبال تنظیمات احتمالاً درستی می‌گشت که ممکن بود در پیام انیگما
احتمالاً درستی می‌گشت که ممکن بود در پیام انیگما به‌کار رفته باشد و از یک کریب (بخشی از پیام اولیه محتمل) مناسب استفاده می‌کرد. برای هر تنظیم ممکن روتور (روی‌هم‌رفته،formula_1 حالت ممکن، یا formula_2 حالت ممکن برای مدل انیگمای چهار-روتوره، در مقایسه با انیگمای معمولی سه-روتوره)، بامب یک سری استقراء منطقی، که الکتریکی پیاده می‌شدند، انجام می‌داد. هنگامی که ناهم‌خوانی روی می‌داد، بامب آن را آشکار می‌کرد، آن تنظیم را کنار می‌گذاشت و سراغ بعدی می‌رفت. بدین ترتیب، اغلب تنظیم‌ها ناهم‌خوان بودند و کنار گذاشته
اغلب تنظیم‌ها ناهم‌خوان بودند و کنار گذاشته می‌شدند، و تنها شمار اندکی تنظیم برای بررسی دقیق‌تر باقی می‌ماند. بامب، نخستین بار، ۱۸ مارس ۱۹۴۰ نصب و راه‌انداخته‌شد. تا پایان جنگ جهانی، بیش از دویست بامب شدند. هات ۸ و انیگمای نیروی دریایی آلمان. تورینگ تصمیم گرفت با مشکلِ به‌ویژه‌دشوارِ ماشین رمز انیگمای نیروی دریایی آلمان مقابله کند؛ «زیرا هیچ‌کس دیگری کاری برایش نمی‌کرد و من می‌توانستم خودم به آن بپردازم.» در دسامبر ۱۹۳۹، تورینگ بخش اساسی مشکل سیستم نشان‌گر نیروی دریایی المان را حل کرد که پیچیده‌تر از
نیروی دریایی المان را حل کرد که پیچیده‌تر از سیستم‌های نشان‌گر دیگر بود. تورینگ همچنین تکنیک محاسباتی «» (Banburismus) را نیز ابداع کرد که در رمزشکنی انیگمای نیروی دریایی آلمان کاربرد داشت. بانبوریسموس روتورهای خاصی از انیگما را حذف می‌کرد تا سرعت بامب را افزایش دهد. ۱۹۴۲، تورینگ تکنیکی به‌نام «تورینگِری» یا به‌طنز، «تورینگیسموس»، برای رمزشکنی رمز لورنتس (Lorentz cipher) که در ماشین رمز جدید آلمان‌ها، «گِهایم‌شِرایبِر» (به آلمانی: Geheimschreiber، رمزنویس) به کار می‌رفت، ابداع کرد. او همچنین گروه «تانی»
به کار می‌رفت، ابداع کرد. او همچنین گروه «تانی» (Tunny) را به تامی فلاورز معرفی کرد که زیر نظر ماکس نیومن، ساخت کامپیوتر کُولوسوس (Colossus)، نخستین کامپیوتر دیجیتال برنامه‌ریزی‌شونده جهان را دنبال می‌کرد تا جایگزین ماشین‌های ساده‌تر گذشته (شامل هیت رابینسون) شود که سرعت عالی آن اجازه می‌داد که تکنیک «جست‌وجوی فراگیر» رمزهایی که روزانه تغییر می‌کردند را بررسی کند. تصور نادرست رایج این است که تورینگ یکی از مهره‌های کلیدی ساخت کامپیوتر کولوسوس بود که این‌گونه نبود. تورینگ، نوامبر ۱۹۴۲ به ایالات متحده رفت و
نبود. تورینگ، نوامبر ۱۹۴۲ به ایالات متحده رفت و روی انیگمای نیروی دریایی آلمان و تحلیل رمز نیروی دریایی آمریکا و ساخت بامب در واشینگتن کار کرد. او همچنین به «آزمایشگاه بل» در ساخت وسایل امن صحبت، کمک کرد. او در مارس ۱۹۴۳ به بلچلی پارک بازگشت. در نبود او، «هاف الکساندر» رئیس تیم هات ۸ شده بود. با توجه به علاقهٔ کم تورینگ در پیگیری مسائل روزانهٔ مرکز، او به عنوان مشاور به کار پرداخت. در اواخر جنگ جهانی دوم، در حالی که الکترونیک می‌آموخت، به کمک مهندس «دونالد بیلی»، ماشین «دِلایلا» (Delilah) را برای برقراری
بیلی»، ماشین «دِلایلا» (Delilah) را برای برقراری تماس‌های مطمئن طراحی کرد اما ناتوانی آن در برقراری تماس‌های دوربرد و تکمیل دیرهنگام آن باعث شد تا دیگر در جنگ استفاده نشود. با آنکه تورینگ بخشی از سخنرانی چرچیل را رمزگذاری و رمزگشایی کرد، از آن دستگاه استفاده نشد. ۱۹۴۵، تورینگ به‌پاس خدمات ارزنده‌اش در جنگ، نشان امپراتوری بریتانیا گرفت؛ با این حال، کار او تا مدت‌ها سری بود. زندگی‌نامه او که مدت کوتاهی پس از مرگش در «رویال سوسایتی» چاپ شد، این بود: سه مقالهٔ قابل ملاحظه که در سه زمینه ریاضی و پیش از جنگ
قابل ملاحظه که در سه زمینه ریاضی و پیش از جنگ نوشته‌شده، کیفیت کاری را که او در زمان‌های بحرانی روی یک موضوع مشخص انجام می‌داد، بیان می‌کند. برای کارش در سازمان خارجه، نشان امپراتوری بریتانیا دریافت کرد. کامپیوترهای اولیه و آزمون تورینگ. از ۱۹۴۵ تا ۱۹۴۷، تورینگ در آزمایشگاه ملی فیزیک، روی طراحی ماشین محاسبهٔ خودکار کار می‌کرد. او، ۱۹ فوریه ۱۹۴۶ مقاله‌ای منتشر کرد که نخستین طرح کامپیوتر برنامه‌ریزی‌شونده در انگلستان بود. بااین‌که او در این طرح موفق بود، آغاز پروژه دچار تأخیر شد و او علاقه‌اش به ادامه کار را
پروژه دچار تأخیر شد و او علاقه‌اش به ادامه کار را از دست داد. اواخر ۱۹۴۷ به کمبریج بازگشت. زمانی که او در کمبریج بود، پروژهٔ سابق او در نبودش کامل شد، و نخستین برنامه‌اش را ۱۰ می ۱۹۵۰ اجرا کرد. ۱۹۴۸، او با دپارتمان ریاضی و آزمایشگاه محاسبات دانشگاه منچستر همکاری کرد و روی نرم‌افزار یکی از نخستین کامپیوترهای جهان، «منچستر مارک ۱»، کار کرد. او به کار روی مفاهیم تجریدی (یا انتزاعی، به انگلیسی: abstract) ادامه داد و ۱۹۵۰، هوش مصنوعی و آزمونی را که امروزه آزمون تورینگ نامیده می‌شود. برای انتساب تفکر به
آزمون تورینگ نامیده می‌شود. برای انتساب تفکر به ماشین‌ها، در مقاله‌ای پیش کشید. تورینگ مقاله‌اش را با این پرسش آغاز کرد که «آیا ماشین‌ها می‌توانند فکر کنند؟» سپس گفت که برای پاسخ دادن به این پرسش باید ابتدا تفکر و ماشین را تعریف کرد. در آن مقاله، ماشین، تحقق‌یافته ماشین‌های محاسباتی خودکار (شبیه رایانه‌های امروزی) بود. از دیدگاه تورینگ، تفکر نیاز به تعریف نداشت و بنابراین پیشنهاد کرد که به جای «آیا ماشین‌ها می‌توانند فکر کنند؟» پرسش دیگری پیش کشید: «آیا ماشین‌ها می‌توانند از بازی تقلید سربلند بیرون آیند؟»
می‌توانند از بازی تقلید سربلند بیرون آیند؟» بازی تقلید، بازی‌ای است که سه شرکت‌کننده دارد؛ یک مرد، یک زن و سومی که تورینگ او را بازجو نامید. مرد یا زن بودن دو شرکت‌کننده از بازجو پنهان است و او تنها می‌تواند چیزهایی از آن‌ها بپرسد و پاسخ بگیرد. دو شرکت‌کننده هم جدا هستند و از پرسش‌های بازجو و پاسخ دیگری خبر ندارند. هدف بازی، تشخیص جنسیت دو شرکت‌کننده از سوی بازجوست. یکی از شرکت‌کنندگان (مثلا زن) تلاش می‌کند بازجو را به اشتباه بیندازد (وانمود کند که مرد است) و شرکت‌کننده دیگر تلاش می‌کند به بازجو کمک کند.
و شرکت‌کننده دیگر تلاش می‌کند به بازجو کمک کند. پیشنهاد تورینگ این است که اگر شرکت‌کننده‌ای که می‌خواهد بازجو را فریب دهد، با یک رایانه جایگزین شود و کارش را طوری انجام دهد که بازجو (به‌اشتباه) به او جنسیت دیگری را نسبت دهد، رایانه در بازی تقلید موفق شده است و انتساب هوشمندی به آن موجه است. البته در ادبیات فلسفی امروزه، مسئله از صرف تقلید جنسیت مخالف دیگر شرکت‌کننده به تقلید انسان بودن مبدل شده است. به‌طور خلاصه، گفته می‌شود مطابق آزمون تورینگ برای اسناد هوشمندی اگر بازجوی انسانی نتواند دست رایانه‌ای را که
اگر بازجوی انسانی نتواند دست رایانه‌ای را که با آن در مکالمه است، رو کند و به اشتباه تشخیص دهد که این ماشین انسان است؛ باید گفت این ماشین هوشمند است. تورینگ حدس زده است که در فاصله‌ای حدود ۵۰ سال یعنی ابتدای هزاره جدید ماشین‌هایی پیدا شوند که آزمون تورینگ را با موفقیت پشت سر بگذارند. ۱۹۴۸، تورینگ و «دی جی چمپرنون»، شروع به نوشتن برنامهٔ شطرنج کردند که تا آن زمان نبود. ۱۹۵۲، از آنجا که کامپیوتری به‌اندازه کافی قوی نداشتند، تورینگ کامپیوتری را شبیه‌سازی کرد که برای هر حرکت، به نیم‌ساعت زمان نیاز داشت. برنامه
برای هر حرکت، به نیم‌ساعت زمان نیاز داشت. برنامه در برابر «الیک گلنی» همکار تورینگ شکست خورد اما گفته می‌شود که در مقابل همسر چمپرنون پیروز شد. شکل‌گیری الگو و زیست‌شناسی ریاضیاتی. تورینگ از ۱۹۵۲ تا زمان مرگش در ۱۹۵۴، روی زیست‌شناسی ریاضیاتی کار می‌کرد، به‌ویژه ریخت‌زایی. او ۱۹۵۲، یک مقاله با موضوع «اساس شیمیایی ریخت‌زایی» منتشر کرد.علاقه اصلی او، درک الگوی اعداد فیبوناچی در ساختار گیاهان بود. او «معادلات عکس العمل-انتشار» را به‌کار برد که امروزه موضوع اصلی شکل‌گیری الگو (به انگلیسی: Pattern formation)
شکل‌گیری الگو (به انگلیسی: Pattern formation) است. مقالات بعدی او، تا ۱۹۹۲ چاپ نشد. نامزدی، همجنس‌گرایی و مرگ. در ۱۹۴۱، تورینگ به جوآن کلارک، همکارش، ریاضی‌دان و تحلیل‌گر رمز در تیم هات ۸، پیشنهاد ازدواج داد اما نامزدی آنها دیری نپایید. تورینگ پس از اعتراف به همجنس‌گرایی‌اش نزد او که چندان هم از آن آزرده نشده بود، تصمیم گرفت که نمی‌تواند به ازدواج با او راضی شود. ژانویه ۱۹۵۲، تورینگ سی‌ونه ساله بود که با آرنولد مورِی، مرد نوزده ساله بیکار، رابطه برقرار کرد. درست پیش‌از کریسمس، تورینگ در حال قدم زدن در جاده
درست پیش‌از کریسمس، تورینگ در حال قدم زدن در جاده آکسفورد منچستر بود که موری را بیرون یک سینما ملاقات و او را به ناهار دعوت کرد. ۲۳ ژانویه، به خانه تورینگ دستبرد زده شد. موری به تورینگ گفت که او و سارق با هم آشنا هستند و تورینگ دزدی را به پلیس گزارش داد. در طول تحقیقات، همجنس‌گرایی وی، فاش شد. آن سال‌ها، همجنس‌گرایی در بریتانیا جرم و بیماری روانی انگاشته می‌شد. تورینگ می‌بایست طبق قانون، میان زندان رفتن و اختگی شیمیایی (Chemical castration) یکی را برمی‌گزید؛ او دومی را برگزید. به‌دنبال آن، همه ضمانت‌های
او دومی را برگزید. به‌دنبال آن، همه ضمانت‌های حفاظتی‌اش، لغو و از ادامهٔ کارش روی پروژه‌های رمزنگاری جلوگیری شد. تزریق مواد شیمیایی برای یک سال ادامه یافت و عوارض جانبی بسیاری از جمله رویش پستان‌ها برجای گذاشت. گفته می‌شود که این دورهٔ درمانی، در ابتلای آلن تورینگ به افسردگی شدید نیز اثر داشت و همین بود که سرانجام به خودکشی او در ژوئن ۱۹۵۴ انجامید. در ۸ ژوئن ۱۹۵۴، خانه‌دار وی، جسد او را پیدا کرد. در کنار جسد، سیبی نیم‌خورده پیدا شد. با آن که سیب مورد آزمایش قرار نگرفت اما به این دلیل که کالبدگشایی علت مرگ
قرار نگرفت اما به این دلیل که کالبدگشایی علت مرگ را مسمومیت با سیانور نشان می‌داد، حدس زده شد این وسیله ای بوده که تورینگ به وسیله آن مسموم شده است؛ بنابراین پلیس علت مرگ را خودکشی اعلام نمود. با این حال مادر وی هرگز حکم خودکشی را نپذیرفت. قدردانی پس از مرگ. از ۱۹۶۶، انجمن ماشین‌های محاسباتی (ACM)، سالانه به کسی که سهم به‌سزایی در جامعهٔ محاسباتی دارد، جایزهٔ تورینگ می‌دهد. این جایزه، به‌عنوان نوبل دنیای محاسبات ماشینی شناخته می‌شود. چندین یادبود از تورینگ در منچستر ساخته‌شده، شهری که او تا پایان عمر آنجا
در منچستر ساخته‌شده، شهری که او تا پایان عمر آنجا کار می‌کرد. ۱۹۹۴، خیابان بزرگی به‌افتخارش در منچستر نام‌گذاری شد. مجسمهٔ یادبود آلن تورینگ در سَک‌ویل پارک، ۲۳ ژوئن ۲۰۰۱ در منچستر رونمایی شد. در سک‌ویل پارک در نزدیکی دانشگاه منچستر، ۵ ژوئن ۲۰۰۴ جشنی به‌یاد او برگزار شد و تابستان آن سال، مؤسسهٔ آلن تورینگ آغاز به‌کار کرد. ساختمان شامل دانشکدهٔ ریاضی، مؤسسهٔ علمی فوتون و «مرکز جودرل بانک» اخترفیزیک ساختمان آلن تورینگ نام‌گذاری شده است. ۲۳ ژوئن ۱۹۹۸، که می‌توانست هشتاد و ششمین سال زندگی تورینگ باشد، «اندرو
هشتاد و ششمین سال زندگی تورینگ باشد، «اندرو هاجِز» زندگی‌نامه‌نویس او، پلاک آبی خانهٔ دوران کودکی‌اش در وارینگتون کِرِسنت لندن (هتل کولونید امروزی) را رونمایی کرد. به یاد پنجاهمین سال‌مرگ او، ۷ ژوئن ۲۰۰۴، پلاکی در محل زندگی سابقش در ویلمس‌لو رونمایی شد. به‌سبب دستاوردهایش در علوم کامپیوتر، چندین دانشگاه یادمان‌هایی از او برپا کرده‌اند، مجسمهٔ برنزی تورینگ در دانشگاه ساری (Surrey) که به‌یاد پنجاهمین سال مرگ اوست، او را در حال حمل کتاب‌هایش در صحن دانشگاه نشان می‌دهد. دانشگاه‌های لوس‌آندس در بوگوتا و دانشگاه
می‌دهد. دانشگاه‌های لوس‌آندس در بوگوتا و دانشگاه پلی‌تکنیک پورتوریکو، آزمایشگاهی به‌نام وی دارند، دانشگاه تکزاس در آستین برنامه‌ای با نام «تورینگ سکالرز» دارد. دانشگاه بیلگی استانبول سالانه کنفراسی به یاد وی برگزار می‌کند که روزهای تورینگ نامیده می‌شود. مجسمه‌ای ۱٫۵ تنی به‌اندازه واقعی در بلچلی پارک در ۱۹ ژوئن ۲۰۰۷ رونمایی شد، که «استیون کتل» آن را به دستور میلیاردر «سیدنی فرانک» ساخت. ۲۰۱۲، به‌مناسبت صدمین سال تولد تورینگ، چندین مراسم و کنفرانس در جهان و شهرهای انگلستان برگزار شد. ۳ تیر ۱۳۹۱ در مؤسسهٔ
و شهرهای انگلستان برگزار شد. ۳ تیر ۱۳۹۱ در مؤسسهٔ پژوهشی حکمت و فلسفهٔ ایران نشست یک‌روزه‌ای با عنوان ذهن، منطق و محاسبه به این مناسبت برگزار شد. عذرخواهی دولت انگلستان و عفو ۶۰ سال پس از مرگ. در سال ۲۰۰۹، گردآوری امضا در بریتانیا برای عفو آلن تورینگ که ۱۹۵۲ به‌جرم همجنس‌گرایی محکوم شده بود، توسط جان گراهام-کامینگ (برنامه‌نویس انگلیسی) آغاز شد. گرچه گوردون براون، نخست‌وزیر وقت، از سوی دولت، از برخورد با تورینگ ابراز تأسف کرد، گردآورندگان امضا، بر عفو رسمی او پای فشردند و چندی بعد، چندهزار امضا در حمایت از
پای فشردند و چندی بعد، چندهزار امضا در حمایت از خواسته‌شان گرد آوردند. تابستان ۲۰۱۲، طرح عفو آلن تورینگ در مجلس اعیان به جریان افتاد و هم‌زمان، شماری از شخصیت‌های علمی بریتانیا، در نامه‌ای به دیوید کامرون، نخست‌وزیر، خواستار حمایت دولت از آن شدند. این طرح، اکتبر ۲۰۱۳ در مجلس اعیان تصویب شد و سپس، ۲۴ دسامبر ۲۰۱۳، با عنوان مصوبهٔ برخورداری آلن تورینگ از عفو سلطنتی، به امضای ملکهٔ وقت انگلستان رسید. این چهارمین عفو سلطنتی است که بعد از جنگ جهانی دوم صادر شده است. جایزهٔ تورینگ. جایزهٔ تورینگ به افتخار او
است. جایزهٔ تورینگ. جایزهٔ تورینگ به افتخار او نام‌گذاری شده است. این جایزه معتبرترین جایزه در علوم رایانه است که هر سال از سوی «انجمن ماشین‌های حسابگر» (ACM) داده می‌شود. در فرهنگ عامه. سینما. "بازی تقلید" (۲۰۱۴) به کارگردانی مورتن تیلدام و بازی بندیکت کامبربچ در نقش تورینگ و کیرا نایتلی در نقش جوآن کلارک (همکار و نامزد سابق تورینگ)، دربارهٔ تورینگ و نقشش در شکستن رمز ماشین انیگما در بِلِچلی پارک است. این فیلم در جشنواره فیلم تورنتو، «بهترین فیلم به‌انتخاب مردم» شد. مورتن تیلدام، این جایزه را افتخاری بزرگ
مردم» شد. مورتن تیلدام، این جایزه را افتخاری بزرگ دانست. "بازی تقلید" با استقبال بسیار خوب منتقدان و تماشاگران روبه‌رو و یکی از بهترین فیلم‌های ۲۰۱۴ شد. این فیلم در هشتادوهفتمین دوره اسکار نیز در هشت رشته نامزد شد، و اسکار بهترین فیلم‌نامه اقتباسی به گراهام مور رسید. (۲۰۱۱؛ Codebreaker) کتاب. کتاب "آلن تورینگ: انیگما" (۱۹۹۲) نوشتهٔ اندرو هاجِز به زندگی تورینگ می‌پردازد.
در ریاضیات و به خصوص در منطق ریاضی، جبر بولی زیر مجموعه‌ای از جبر است که در آن مقدار متغیرها، درست یا غلط می‌باشد که معمولاً به همین ترتیب با ۱ و ۰ نشان داده می‌شوند. به جای جبر مقدماتی که در آن مقدار متغیرها اعداد هستند و عملگرهای اصلی جمع و ضرب می‌باشند، عملگرهای اصلی جبر بولی عطف منطقی (و) که با ∧ نشان داده می‌شود، فصل منطقی (یا) که با ∨ نشان داده می‌شود و نقیض که با ¬ نشان داده می‌شود، می‌باشند. نام این جبر از نام جرج بول ریاضیدان انگلیسی در "کتاب تحقیقی در قوانین اندیشه" گرفته شده (۱۸۵۴) که سعی در
در قوانین اندیشه" گرفته شده (۱۸۵۴) که سعی در برخورد جبری به منطق گزاره‌ها داشت. کتاب اول بول "آنالیز ریاضی منطق" تئوری اصلی را شامل می‌شد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاه‌های دیجیتال مدرن نیاز است و به عنوان یک نوع دادهٔ اساسی در تمام زبان‌های برنامه‌نویسی مدرن وجود دارد. کلود شانون از پیشگامان رایانه‌های دیجیتال نخستین بار از این جبر در طراحی رایانه بهره گرفت. تعریف. جبر بول، یک ساختار جبری است که با عناصر مجموعه formula_1 و همراه با
جبری است که با عناصر مجموعه formula_1 و همراه با عملگرهای formula_2 و formula_3 تعریف می‌شود. اصول جبر بول عبارتند از: عملگرهای منها و تقسیم برای جبر بول تعریف نمی‌شوند. در جبر معمول، تعداد نامتناهی از عناصر وجود دارد، اما در جبر بول تنها اعضای مجموعه formula_1 وجود دارد که معمولاً به صورت formula_10 و formula_13 تعریف می‌شوند. (به این نوع جبر بول، جبر بول دو ارزشی می‌گویند) اصل دمورگن. هر عبارت بولی معتبر، با تعویض عملگرها و عناصر خنثی، باز هم معتبر خواهد بود. یعنی اگر در یک عبارت بولی معتبر (که از اصول
بود. یعنی اگر در یک عبارت بولی معتبر (که از اصول اساسی جبر بول ناشی شده) تمام صفرها به یک و تمام یک‌ها به صفر و همینطور تمام formula_2ها به formula_3 و تمام formula_3ها به formula_2 تبدیل شود، عبارت به دست آمده باز هم معتبر خواهد بود. تقدم عملگرها. در ارزیابی عبارات بولی، باید تقدم عملگرها رعایت شود. دیاگرام ون. به کمک دیاگرام ون می‌توان رابطه بین متغیرهای یک عبارت بولی را نمایش داد. دیاگرام ون از یک مستطیل تشکیل شده که در داخل آن به‌ازای هر متغیر، یک دایره وجود دارد. تمام نقاط داخل دایره مربوط به یک متغیر
وجود دارد. تمام نقاط داخل دایره مربوط به یک متغیر است و تمام نقاط خارج از دایره مربوط به مکمل آن متغیر است. در این نمودار، ضرب به صورت اشتراک دایره‌ها و جمع به صورت اجتماع دایره‌ها نمایش داده می‌شود. جدول درستی. جدول درستی که یک جدول ریاضیاتی می‌باشد و از آن در منطق سود برده شده و برای محاسبه مقادیری که به صورت منطقی بیان شده‌اند، استفاده می‌شود. تعریف جبر بول: پیدا کردن ساده‌ترین فرم منطقی توابع که به کمترین تعداد گیت و سیم نیاز داشته باشد. تعریف اصولی جبر بول: یک مجموعه مانند B در حالتی که نا مساوی با
بول: یک مجموعه مانند B در حالتی که نا مساوی با مجموعه تهی باشد و با دو عمل دو تایی ضرب و جمع و یک عمل یکتایی پریم و دو عضو صفر و یک را یک جبر بول می‌گوییم.
منطق ریاضی یا منطق جدید شاخه‌ای از ریاضیات است که به پیوند ریاضی و منطق می‌پردازد. ریشه‌های پیدایش این منطق به کارهای جوزپه پئانو ریاضی‌دان ایتالیایی و پیش از او لایب نیتز و لامبرت می‌رسد. در سال‌های پایانی سدهٔ نوزدهم میلادی، با کارهای آگوستوس دمورگان، جرج بول، گوتلوب فرگه، برتراند راسل، دیوید هیلبرت و دیگران این علم به پیشرفت چشمگیری دست یافت. انگیزه و اهداف. تحقیقات علمی دربارهٔ منطق ریاضی، در پی بروز پرسش‌های نوین در بنیان‌های ریاضیات پدید آمد. به عنوان نمونه، فرگه می‌کوشید تا ریاضیات را بر پایهٔ اصول
نمونه، فرگه می‌کوشید تا ریاضیات را بر پایهٔ اصول برآمده از منطق و نظریهٔ مجموعه‌ها قرار دهد. راسل، در حذف تناقضات ناشی از دستگاه منطق فرگه تلاش کرد و هدف هیلبرت نشان دادن این امر بود که «روش‌های مورد قبول عام در ریاضیات هرگاه که به‌طور همه‌جانبه، کلی نگرانه و به‌عنوان یک کل واحد، در نظر گرفته شود، به هیچ نوع تناقضی منجر نخواهد شد.» (این موضوع به برنامهٔ هیلبرت شهرت یافته است). کاربردها. روش‌ها و نتایج بدست‌آمده در منطق ریاضی، نه تنها در حلّ مسائل بنیانی موارد استفاده دارد، بلکه، در بسیاری از شاخه‌های دیگر
استفاده دارد، بلکه، در بسیاری از شاخه‌های دیگر ریاضیّات نظیر جبر، علوم کامپیوتر، هندسه و توپولوژی هم مورد بهره‌برداری قرار می‌گیرد. منطق ریاضی امروزه در فلسفه تحلیلی، ریاضیات، زیست‌شناسی، زبانشناسی، جامعه‌شناسی، فیزیک، روان‌شناسی، روش‌شناسی، علوم کامپیوتری، علم اخلاق، هوش مصنوعی، متافیزیک و حقوق کاربرد دارد. منابع. Ebbinghaus, H. -D. , Flum, J. , and Thomas, W. "Mathematical logic", Springer-Verlag New York Inc. , 1984.
استان قِنا در جنوب مصر و در راستای جریان رود نیل قرار دارد و از شمال با استان سوهاج، از جنوب با استان اسوان، از شرق با استان بحر الاحمر (دریای سرخ) و از سوی غرب با استان وادی الجدید همکنار است. تاریخچه و سیاست. این استان در سال ۱۹۶۰ تشکیل شد و امروزه ۱۱۸ هزار کارمند دولتی به اداره کارهای این استان سرگرمند. جغرافیا. استان قنا درازترین استان مصر در راستای نیل است. درازای این استان ۲۴۰ کیلومتر است. در سال ۲۰۰۱ جمعیت این استان ۲٫۷۱۷٫۷۸۸ سرشماری شده‌است. شهرستان‌ها. استان قنا دربرگیرنده ۱۱ شهرستان به نام‌های زیر
استان قنا دربرگیرنده ۱۱ شهرستان به نام‌های زیر است: گردشگری. آثار برجسته دیدنی این استان عبارت‌اند از: نیایشگاه‌های اسنا و دندره مربوط به مصر باستان، دیر قدیس مارجرجیس در شهرستان ارمنت مربوط به دوره مسیحیان قبطی و مسجد عارف بالله سیدی عبدالرحیم قنائی و مسجد عمری بقوص از دوره اسلامی. آموزش. در این استان همچنین دانشگاهی وجود دارد به نام دانشگاه دره جنوبی (جنوب الوادی)، دارای ۷ دانشکده و ۲۵ هزار دانشجو.
در تجارت، مهندسی و تولید، برداشت کاربردی از کیفیت ، فرومایه نبودن یا برتری چیزی می‌باشد؛ همچنین به صورت «شایستگی برای هدف آن گونه که خواسته خریدار برآورده شود» نیز تعریف می‌شود. کیفیت یک ویژگی وابسته و تا اندازه ای ذهنی است و هر کسی می تواند آن را به گونه دیگری دریابد. ممکن است کاربران بر روی کیفیت‌های ذکر شده کالا یا خدمت متمرکز شوند، یا اینکه این کالا یا خدمت با دیگر رقبای موجود در بازار سنجیده شود. ارائه دهندگان خدمات می‌توانند کیفیت را با ترازهای: میزان قابل اطمینان بودن، دسترسی و پایدار بودن
میزان قابل اطمینان بودن، دسترسی و پایدار بودن اندازه‌گیری کنند. تعاریف کیفیت. در زمینه بازرگانی کیفیت نظریه‌های بسیاری دارد، هرچند بنیاد آن این اندیشه است که بازرگانی چیزی را بسازد، خواه یک کالای دست یافتنی باشد خواه یک خدمت ویژه. این کالاها یا خدمات و شیوه ساخت آنها دربرگیرنده انواع گوناگونی از فرایندها، رویه‌ها، تجهیزات، کارکنان و سرمایه‌گذاری‌ها می‌شود که همگی زیر چتر کیفیت جای می‌گیرند. سویه‌های پایه ای کیفیت و شیوه پراکنش آنها در همه کار و پیشه ها ریشه در انگاره مدیریت کیفیت دارد: تعاریف چشمگیر. تعریف
در انگاره مدیریت کیفیت دارد: تعاریف چشمگیر. تعریف «کیفیت» با گذشت زمان دگرگون شده‌است، و حتی امروزه در شیوه توصیف آن ناسازگاری فراوانی یافت می‌شود. کیفیت درونمایه ویژه‌ای ندارد؛ مگر اینکه وابسته به یک کارکرد یا یک زمینه ویژه باشد. بن مایه بازرگانی «کیفیت» با گذشت زمان گسترش یافته‌است. شماری از برداشت‌های گوناگون در زیر آورده شده‌است: ایزو ۹۰۰۰: «رده ای از ویژگی‌های پایه‌ای که بایسته‌ها را برآورده می‌کند.» این استاندارد «بایسته‌ها» را با نام نیاز یا چشمداشت می‌شناسد. فیلیپ ب. کراسبی: «همخوانی با بایسته‌ها.»
فیلیپ ب. کراسبی: «همخوانی با بایسته‌ها.» بایسته‌ها می‌تواند همه خواسته‌های خریدار را بازتاب ندهد؛ کراسبی با این مسئله مانند یک دشواری جداگانه رفتار می‌کند. رابرت پیرسیگ: «دستاورد نگهداری.» شش سیگما: «شمار نارسایی‌ها در هر میلیون فرصت.» جرالد وینبرگ: «ارزشی برای کسی.» «کیفیت» یک فراورده یا خدمت همان چیزی است که خریدار می‌خواهد. اگر کالا یا خدمت ارائه شده در ویژگی‌هایی کیفیت بسیار بالایی داشته باشد، ولی خریدار نیازی به آن نداشته باشد، تنها هزینه‌ای است که پرداخته شده ولی ارزش افزوده‌ای پدید نیامده‌است. در
شده ولی ارزش افزوده‌ای پدید نیامده‌است. در فرایندهای ساخت، کیفیت در برابر پراکندگی جای می‌گیرد؛ به گونه ای که برای دستیابی به یک فرایند با کیفیت باید پراکندگی فرایند را تا جایی که بشود کاهش دهیم. نکته برجسته این است که کاهش پراکندگی، گام دوم بهبود یک فرایند می‌باشد. در گام نخست می‌بایست تا کنترل میانگین فرایند را در دست خود گرفته و از ساخت کالاهای نزدیک به میانگین اطمینان حاصل کنیم. برای کنترل یک فرایند و دستیابی به یک فرایند با کیفیت، الگوها و نظریه‌های فراوانی پیشنهاد شده و برای هر کدام از این الگوها،
فراوانی پیشنهاد شده و برای هر کدام از این الگوها، ابزارهای کنترلی درست شده که با آن‌ها می‌توانیم کیفیت فرایند را زیر نظر بگیریم.
محمود احمدی‌نژاد (زادهٔ ۶ آبان ۱۳۳۵) سیاستمدار و استاد دانشگاه ایرانی است که از سال ۱۳۸۴ تا ۱۳۹۲ به‌عنوان ششمین رئیس‌جمهور مردم ایران فعالیت کرد. او پیش از این از سال ۱۳۷۲ تا ۱۳۷۶ نخستین استاندار اردبیل و از سال ۱۳۸۲ تا ۱۳۸۴ شهردار تهران بود. او هم‌اکنون استاد دانشگاه علم و صنعت ایران با رتبه دانشیاری و همچنین عضو مجمع تشخیص مصلحت نظام است. او در سال ۱۳۵۴ برای تحصیل در مهندسی راه و ساختمان وارد دانشگاه علم و صنعت ایران شد. پس از انقلاب ۱۳۵۷، او به عنوان نماینده علم و صنعت در جلسات انجمن‌های اسلامی
نماینده علم و صنعت در جلسات انجمن‌های اسلامی دانشگاه‌ها شرکت می‌کرد. وی تحصیلات خود را در این دانشگاه تا اخذ دکترای مهندسی عمران ادامه داد و در ۱۳۶۸ به عضویت هیئت علمی دانشگاه علم و صنعت ایران درآمد. او در دهه ۱۳۶۰ فرمانداری ماکو و خوی را بر عهده داشت. وی در ۱۳۷۲ به عنوان نخستین استاندار اردبیل منصوب شد و تا ۱۳۷۶ این سمت را بر عهده داشت. احمدی‌نژاد در سال ۱۳۷۹ برای نمایندگی ششمین دوره مجلس شورای اسلامی از تهران نامزد شد که پیروز نشد. احمدی‌نژاد در سال ۱۳۸۲ به عنوان شهردار تهران انتخاب شد. او در سال ۱۳۸۴ در
عنوان شهردار تهران انتخاب شد. او در سال ۱۳۸۴ در انتخابات ریاست جمهوری شرکت کرد و با گفتمان گسترش عدالت، مردمی‌سازی امور و مبارزه با ویژه‌خواری همیشه مدیران با کسب ۱۷ میلیون رأی و با ۲۶٪ اختلاف نسبت به رقیب خود پیروز شد و دولت بهار یا مهرورزی شروع به کار کرد. این پیروزی، روی کار آمدن دوباره راست سنتی بازاری در ایران بود که از زمان دولت رجایی در عرصه سیاسی ایران به حاشیه رفته بود. او در انتخابات ریاست‌جمهوری سال ۱۳۸۸ که در حین و بعد از رای‌گیری مناقشه‌برانگیز شد با ۲۴ میلیون و ۵۹۷ هزار رأی و ۲۹٪ درصد اختلاف
شد با ۲۴ میلیون و ۵۹۷ هزار رأی و ۲۹٪ درصد اختلاف نسبت به نامزد بعدی، میرحسین موسوی، پیروز شد و برای دومین بار به عنوان ریاست‌جمهور رای اعتماد گرفت. از مهم‌ترین اقدامات دولت ایران در دوران ریاست احمدی‌نژاد اجرای طرح تحول اقتصادی و طرح هدفمندسازی یارانه‌ها بود که در مرحله اول آن یارانه ناعادلانه روی مصرف بیشتر سوخت، آب، برق و مواد غذایی تدریجاً حذف و به‌طور نقدی به مردم پرداخت شد. با اینکار سیستم پرداخت یارانه با کوپن که در سال ۱۳۸۶ برابر ۷۰ میلیون ایرانی دریافت کننده آن بودند حذف شد. طرفداران محموداحمدی
دریافت کننده آن بودند حذف شد. طرفداران محموداحمدی نژاد مدعی تلاش دولت او برای اصلاح ساختار برنامه‌ریزی و بودجه‌ریزی مرکزگرا، غیرپاسخگو، غیرتخصصی و فسادزا ایجاد شده در کشور بود که متمرکز و انحصاری توسط سازمان مدیریت و برنامه‌ریزی وقت انجام می‌شد و تا قبل از این دولت به نماد «دیوان‌سالاری مرکزگرای نفتی و ناکارآمد» کشور تبدیل شده بود. لذا در اواخر سال ۱۳۸۵ دفاتر استانی این سازمان در استانداری‌ها و نهادهای محلی زیرمجموعه آن ادغام شدند تا برنامه و بودجه‌ریزی طرح‌های پیشرفت محلی و پذیرش مسئولیت توسط دستگاه‌ها در
پیشرفت محلی و پذیرش مسئولیت توسط دستگاه‌ها در همین سطح انجام گردد. در ادامه کارشناسان تشخیص دادند دوباره کاری تخصیص حقوق کارمندان دستگاه‌ها توسط این سازمان ۱۵۰۰ میلیارد تومان هزینه اضافی دوباره کاری و کاغذبازی دارد، لذا اینکار به خود وزارت اقتصاد سپرده شد و در نهایت دفتر مرکزی آن با تغییر نام، با هدف احیای کار فراموش شده اندیشه، برنامه‌ریزی و نظارت کلان در معاونت برنامه‌ریزی و معاونت راهبردی و همچنین انجام کار ارتقای کارایی مدیریت و سرمایه انسانی توسط معاونت توسعه مدیریت و سرمایه انسانی ادغام شد. از دیگر
توسعه مدیریت و سرمایه انسانی ادغام شد. از دیگر اقدامات مهم دولت ایران در این دوره، تسهیل جذب سرمایه‌ها به کارهای مهم عمرانی کشور با پروژه‌هایی مثل مسکن مهر در تسهیل خانه‌دار کردن خانواده‌های کم درآمد و طبقه متوسط جامعه، طرح باغ‌شهر برای اصلاح الگوی شهرسازی و معماری کشور (که با سنگ‌اندازی‌ها اجرایی نشد) و سرمایه‌گذاری با اختلاف بی‌سابقه در توسعه تولید و فرآوری گاز طبیعی و نفت در ایران بود که ظرف چند سال با افتتاح این پروژه‌ها ۶۰ درصد تولید انرژی در ایران گازی شد. میزان خرج عواید و دلار نفتی و گازی کسب شده