جستجو در مقالات

عبارت مورد نظر خود را بنویسید

20 نتیجه برای «اثبات ریاضی» پاک کردن

رشته‌کوه نورلوند: نگینی آلپی در گرینلند شرقی

Norlund Alps

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

جغرافیا کوهستان‌ها گرینلند

برهان قطری: ابزاری قدرتمند در اثبات‌های ریاضی

Diagonal argument

برهان قطری تکنیکی خلاقانه در ریاضیات است که در اثبات قضایای مهمی چون قضیه کانتور، پارادوکس راسل، لم قطری، قضایای ناتمامیت گودل و مسئله توقف کاربرد دارد.

علوم کامپیوتر ریاضیات منطق

جنی لِکلو: کارآگاه (Jenny LeClue: Detectivú)

Jenny LeClue

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

بازی‌های مستقل بازی‌های معمایی بازی‌های ماجراجویی

«همه چیز و بیشتر»: تاریخچه فشرده‌ای از بی‌نهایت

Everything and More (book)

«همه چیز و بیشتر» اثر دیوید فاستر والاس، تاریخچه بی‌نهایت را با تمرکز بر کار گئورگ کانتور، ریاضی‌دان قرن نوزدهم و خالق نظریه مجموعه‌ها، بررسی می‌کند. این کتاب بخشی از مجموعه «کشف‌های بزرگ» نشر W. W. Norton است.

تاریخ علم ریاضیات فلسفه

ماریوس لاکومب: ریاضی‌دان و معلم سوئیسی

Marius Lacombe

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

آموزش تاریخ علم ریاضیات

گوکلاملو سیتا: داستانی از عشق و تحول

Gokulamlo Seeta

گوکلاملو سیتا فیلمی درام محصول ۱۹۹۷ هند به کارگردانی موتیالا سوبایا است. این فیلم داستان جوانی ثروتمند و بی‌بندوبار را روایت می‌کند که پس از عشق به دختری به نام سیتا، دچار تحول شخصیتی شده و برای اثبات عشقش تلاش می‌کند.

درام فیلم‌های هندی عاشقانه

ریاضیات کاربردی در فرهنگستان ملی علوم: اعضا و دستاوردها

List of members of the National Academy of Sciences (Applied mathematical sciences)

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

ریاضیات علوم پایه فرهنگستان‌های علمی

دختران وابسته جادوگران اولیه آمریکا

Associated Daughters of Early American Witches

سازمان «دختران وابسته جادوگران اولیه آمریکا» انجمنی مبتنی بر تبار برای زنانی است که مستقیماً از نوادگان افرادی هستند که در دوران استعمار آمریکا به جادوگری متهم شده‌اند. این سازمان در سال ۱۹۸۵ تأسیس شد و عضویت در آن تنها با دعوت و اثبات تبار ممکن است.

تاریخ آمریکا زنان و تاریخ انجمن‌های تبارشناسی

وینسنت و من: سفری فانتزی به دنیای هنر

Vincent and Me

«وینسنت و من» فیلمی کانادایی-فرانسوی محصول ۱۹۹۰ است که داستان جو، دختر نقاش مستعدی را روایت می‌کند که آرزو دارد مانند ونسان ون گوگ نقاشی کند. او با یک دلال آثار هنری مرموز روبرو می‌شود که نقاشی‌هایش را می‌خرد و سپس ادعا می‌کند که این آثار متعلق به ون گوگ جوان است. جو برای اثبات حقانیت خود و یافتن دلال، سفری هیجان‌انگیز را آغاز می‌کند.

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

راجر هانسون؛ تیرانداز ورزشی سوئدی

Roger Hansson (sport shooter)

راجر هانسون، تیرانداز ورزشی سوئدی، با سابقه حضور در دو المپیک 2000 و 2004، در رشته تیراندازی با تفنگ رقابت کرده است. او موفق به کسب عناوین متعدد در مسابقات معتبر بین‌المللی شده و با وجود نتایج نه چندان درخشان در المپیک، توانایی‌های خود را به اثبات رسانده است.

تیراندازی ورزشکاران سوئدی ورزش‌های المپیکی

مخترعان مشهور: نام‌هایی که در کنار شهرت، نبوغ نوآوری هم داشتند

List of celebrity inventors

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

افراد مشهور فناوری اختراعات

هارولد استنلی رووز: ریاضیدان برجسته و نظریه‌پرداز فضاهای همساز موضعی

Harold Stanley Ruse

هارولد استنلی رووز (۱۹۰۵-۱۹۷۴)، ریاضیدان انگلیسی و استاد دانشگاه لیدز، به خاطر توسعه مفهوم فضاهای همساز موضعی شناخته می‌شود. او سوابق درخشانی در دانشگاه‌های آکسفورد، ادینبرو، پرینستون و لیدز داشت و از اعضای فعال انجمن‌های ریاضی لندن و ادینبرو بود.

زندگینامه تاریخ علم ریاضیات

پل ای. شوایتزر: ریاضیدان برجسته در توپولوژی

Paul A. Schweitzer

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

ریاضیات زندگی‌نامه علمی توپولوژی

آموزش با فازی‌وامپ: بازی ریاضی برای نوآموزان

Learning with FuzzyWOMP

فازی‌وامپ (FuzzyWOMP) یک بازی آموزشی ریاضی برای کودکان پیش‌دبستانی است که در سال ۱۹۸۴ توسط سیرا آن‌لاین برای اپل ۲ منتشر شد. این بازی مهارت‌هایی چون تشخیص الگو، شمارش، ترتیب اعداد و حل مسئله را آموزش می‌دهد.

تاریخچه بازی‌های ویدیویی بازی‌های آموزشی رده‌بندی سنی پیش‌دبستانی

آنتونیو سانتوچی

Antonio Santucci

آنتونیو سانتوچی (؟–۱۶۱۳) ستاره‌شناس، نقشه‌گر کیهانی و سازنده ابزارهای علمی ایتالیایی بود. او در دانشگاه پیزا ریاضی تدریس کرد و به عنوان ستاره‌شناس و نقشه‌گر برای دوقلای مادا خدمت کرد. او با انتشار کتاب «تراتاتو delle كومته» در ۱۶۱۱، اولین کسی بود که دنباله‌دارها را پدیده‌ای فرازمینی و نه جوی‌های هوایی معرفی کرد. کره‌های آرمیلاری مشهور او در موزه گالیله فلورانس و اسکوریال مادرید نگهداری می‌شوند.

نجوم تاریخ علم ابزارهای علمی تاریخی

اصل «یک شاهد، هیچ شاهد» در حقوق: ریشه‌ها، تحول و کاربرد امروزی

Unus testis, nullus testis

اصل حقوقی لاتین «Unus testis, nullus testis» به معنای «یک شاهد، هیچ شاهد» بیان می‌کند که شهادت تایید نشده یک نفر برای اثبات واقعیت قابل اتکا نیست. این اصل ریشه‌های تاریخی در متون مذهبی و قوانین رومی دارد و در طول زمان تحول یافته و در برخی نظام‌های حقوقی معاصر مانند حقوق مدنی هلند و حقوق کلیسایی کاتولیک همچنان کاربرد دارد.

علوم سیاسی حقوق تاریخ حقوق

مسیر خود-اجتنابی: سفری در دنیای ریاضیات و فیزیک

Self-avoiding walk

مسیر خود-اجتنابی (SAW) یک مفهوم ریاضی و فیزیک محاسباتی است که به دنباله‌ای از حرکات در یک شبکه اشاره دارد که هیچ نقطه‌ای را بیش از یک بار تکرار نمی‌کند. این مفهوم در مدل‌سازی مولکول‌های نخ‌مانند و حلقوی، و همچنین در درک رفتار فراکتالی کاربرد دارد. با وجود پیچیدگی‌های تحلیلی، شبیه‌سازی‌های عددی به درک بهتر خواص آن کمک کرده‌اند.

علوم کامپیوتر ریاضیات فیزیک

رابرت جونز (آیرودینامیک‌دان)

Robert Jones (aerodynamicist)

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

علوم و مهندسی تاریخ علم و فناوری دانشگاهی و پژوهشی

ابرگراف: تعمیم گراف‌ها و کاربردهای آن

Hypergraph

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

علوم کامپیوتر ریاضیات هوش مصنوعی

فرانچسکو جاکومو تریکومی: ریاضیدان برجسته ایتالیایی

Francesco Tricomi

فرانچسکو جاکومو تریکومی (۱۸۹۷-۱۹۷۸)، ریاضی‌دان ایتالیایی، به خاطر تحقیقاتش در زمینه معادلات دیفرانسیل با مشتقات جزئی مختلط شناخته شده است. او همچنین کتابی در مورد معادلات انتگرالی نوشت و در پروژه‌های مهمی با دانشمندان برجسته همکاری کرد.

تاریخ علم ریاضیات زندگی‌نامه دانشمندان