یک منطق دان می تواند امکان وجود اقیانوس اطلس یا آبشار نیاگارا را از یک قطره آب استنتاج کند بی آن که از هیچ یک از آن ها چیزی دیده یا شنیده باشد.به همین ترتیب نیز زندگی زنجیر عظیمی است که هرگاه فقط یک حلقه از آن را به ما نشان بدهند،ماهیت آن بر ما آشکار می شود.علم استنتاج و تحلیل نیز - مانند هر هنر دیگری - تنها از طریق مطالعه ی طولانی و مستمر به دست می آید.از طرفی،عمر انسان آن قدر نیست که هیچ انسانی بتواند در این امر به اعلی درجه ی کمال برسد.پیش از پر
معناشناسی منطق گزارهها صرفا درستی» گزارهها را بر اساس تابع ارزش گزارههای اتمی تعریف میکند همچنین اگر هر مدلی که مجموعه آ از گزارهها را راست» کند گزاره ب را نیز راست کند معادل است با این که ب نتیجه معناشاسانه آ است. اما راه دیگری هم برای بررسی درستی گزارهها و ارتباط آنها با مجموعه دیگری از گزارهها وجود دارد که بیشتر به تفکر ریاضی» و مدل ریاضی اثبات ریاضی» شبیه است: تعریف استنتاج؛ چگونه از گزاره یا گزارههایی، مجموعه دیگری از
معناشناسی منطق گزارهها صرفا درستی» گزارهها را بر اساس تابع ارزش گزارههای اتمی تعریف میکند همچنین اگر هر مدلی که مجموعه آ از گزارهها را راست» کند گزاره ب را نیز راست کند معادل است با این که ب نتیجه معناشاسانه آ است. اما راه دیگری هم برای بررسی درستی گزارهها و ارتباط آنها با مجموعه دیگری از گزارهها وجود دارد که بیشتر به تفکر ریاضی» و مدل ریاضی اثبات ریاضی» شبیه است: تعریف استنتاج؛ چگونه از گزاره یا گزارههایی، مجموعه دیگری از
بله، درست خواندهاید، در مَثل مناقشه هست، بدجوری هم هست. هرکه اولین بار گفته است در مَثل مناقشه نیست»، سهواً یا عمداً به شرطی مهم اعتنا نکرده و صرفاً حرفی کلی زده است. تنها زمانی در مَثل مناقشه نیست که مَثلآور از آن بهعنوان شاهد و حجت و نمونه استفاده نکند، بلکه مَثل را فقط برای تفهیم بِهْترِ مضمون کلامش بهکار گیرد؛ آن هم مضمون کلامی که صحتش پیش از مَثلآوری نیز نزد دوطرف محرز باشد.
اما آنچه هنگام کاربستِ این زبانزد میبینیم،
معناشناسی منطق گزارهها صرفا درستی» گزارهها را بر اساس تابع ارزش گزارههای اتمی تعریف میکند همچنین اگر هر مدلی که مجموعه آ از گزارهها را راست» کند گزاره ب را نیز راست کند معادل است با این که ب نتیجه معناشاسانه آ است. اما راه دیگری هم برای بررسی درستی گزارهها و ارتباط آنها با مجموعه دیگری از گزارهها وجود دارد که بیشتر به تفکر ریاضی» و مدل ریاضی اثبات ریاضی» شبیه است: تعریف استنتاج؛ چگونه از گزاره یا گزارههایی، مجموعه دیگری از
در قسمتی از کتاب رسوایی در بوهم می خوانیم که چطور شزلوک هلمز با استفاده از علم کافی،مشاهده ی دقیق و استنتاج درست به نتایج درستی می رسد.متن نقره ای رنگ زیر رو که بخشی از کتاب هست بخونید:
* * * * *
- .ومی بینم که دوباره مشغول طبابت شده ای.به من نگفته بودی که قصد داری دوباره دست به کار عیادت بیماران بشوی.
-پس از کجا فهمیدید؟
-می بینم و نتیجه گیری می کنم.از کجا می دانم که تو اخیرا خودت را از سر تا پا خیس کزده ای و این که یک دختر خدمتکا
مدل اعداد طبیعی همراه با جمع و ضرب و تالی را در نظر بگیرید.
فرض کنید یک زبان به اندازه کافی صوریپذیر (مکانیکی، رشتهای از نمادها) با معناشناسی مناسب نسبت به این مدل داریم.
یک مجموعه قاعده استنتاج هم در نظر بگیرید که از یک رشته نماد، یک رشته نماد جدید را به صورت مکانیکی نتیجه میدهد.
فرض کنید این قواعد استنتاج درستی را هم رعایت میکنند.
فرض کنید این قواعد استنتاج تمامیت را هم رعایت میکنند. یعنی همه جملات همیشه درست را میتوان استنتاج
مدل اعداد طبیعی همراه با جمع و ضرب و تالی را در نظر بگیرید.
فرض کنید یک زبان به اندازه کافی صوریپذیر (مکانیکی، رشتهای از نمادها) با معناشناسی مناسب نسبت به این مدل داریم.
یک مجموعه قاعده استنتاج هم در نظر بگیرید که از یک رشته نماد، یک رشته نماد جدید را به صورت مکانیکی نتیجه میدهد.
فرض کنید این قواعد استنتاج درستی را هم رعایت میکنند.
فرض کنید این قواعد استنتاج تمامیت را هم رعایت میکنند. یعنی همه جملات همیشه درست را میتوان استنتاج
استدلال غیر مباشر:
در این نوع استدلال برای استنتاج یک تصدیق جدید از چند قضیه استفاده میشود.
انواع استدلال غیر مباشر:
۱. قیاس: سیر کردن ذهن از کلی به جزئی
۲. استقرا: سیر کردن ذهن از جزئی به کلی
۳. تمثیل: سیر کردن ذهن از جزئی به جزئی
استدلال غیر مباشر:
در این نوع استدلال برای استنتاج یک تصدیق جدید از چند قضیه استفاده میشود.
انواع استدلال غیر مباشر:
۱. قیاس: سیر کردن ذهن از کلی به جزئی
۲. استقرا: سیر کردن ذهن از جزئی به کلی
۳. تمثیل: سیر کردن ذهن از جزئی به جزئی
در قسمتی از کتاب رسوایی در بوهم می خوانیم که چطور شزلوک هلمز با استفاده از علم کافی،مشاهده ی دقیق و استنتاج درست به نتایج درستی می رسد.متن نقره ای رنگ زیر رو که بخشی از کتاب هست بخونید:
* * * * *
- .ومی بینم که دوباره مشغول طبابت شده ای.به من نگفته بودی که قصد داری دوباره دست به کار عیادت بیماران بشوی.
-پس از کجا فهمیدید؟
-می بینم و نتیجه گیری می کنم.از کجا می دانم که تو اخیرا خودت را از سر تا پا خیس کزده ای و این که یک دختر خدمتکا
در قسمتی از کتاب رسوایی در بوهم می خوانیم که چطور شزلوک هلمز با استفاده از علم کافی،مشاهده ی دقیق و استنتاج درست به نتایج درستی می رسد.متن نقره ای رنگ زیر رو که بخشی از کتاب هست بخونید:
* * * * *
- .ومی بینم که دوباره مشغول طبابت شده ای.به من نگفته بودی که قصد داری دوباره دست به کار عیادت بیماران بشوی.
-پس از کجا فهمیدید؟
-می بینم و نتیجه گیری می کنم.از کجا می دانم که تو اخیرا خودت را از سر تا پا خیس کزده ای و این که یک دختر خدمتکا
در قسمتی از کتاب رسوایی در بوهم می خوانیم که چطور شرلوک هلمز با استفاده از علم کافی،مشاهده ی دقیق و استنتاج درست به نتایج درستی می رسد.متن زیر رو که بخشی از کتاب هست بخونید:
* * * * *
-و می بینم که دوباره مشغول طبابت شده ای.به من نگفته بودی که قصد داری دوباره دست به کار عیادت بیماران بشوی.
-پس از کجا فهمیدید؟
-می بینم و نتیجه گیری می کنم.از کجا می دانم که تو اخیرا خودت را از سر تا پا خیس کرده ای و این که یک دختر خدمتکار به کلی دست و پا
کسیکه میحواهد بداندعلت ترقی یک ملت چیست اولا بایدزیرکی وروش بینی داشته باشد پس اشخاص کند فهم خرف و کودن. نبایدتوقع درک این معنی کنند ثانیا بایدطریق رسبدن بحفابق را که استنتاج مطلوب از روی. مقدماتست بداندواز طرز استدلال. اگاه باشدتا در وادی مغالطه نیفتد ثالثا باید عبرت شناس باشد یعنی دقایق و نکاتیکه در رفتارو کرداردبگران می بیندو نتیجه خوب یا بدی که بر انها مترتب میشود بتواندتشخیص دهد رابعااز روشو طریقه پیشینیان که در ترفی قدم نه
آدما به ندرت اهل تفکرن و از بین اونا که اهلشن، به ندرت به تفکر و استنتاج درست میرسن. کمتر کسی میتونه زیر دو دقیقه اسم پنج تا نویسنده مورد علاقه ش یا پنج کتابی که اخیرا مطالعه کرده رو بگه. اولویت بیشتر مردم به روز و سالم بودن موبایل شونه و دربرابر، قرار ملاقات با پزشک کاریه که حتی بعد از تحمل یه دوره درد، با اکراه بهش تن میدن». دنیا رو خبر ندارم، اما شهر من پُر شده از ناباوران. کسانی که به هیچ پایبندن. نه دین نه ت نه خانواده. و سوای اینا، اخلا
قضیه:
قضیه یک جمله خبری است.
یا به قولی: هر قولی که مشتمل بر اثبات یا نفی خبری باشد، و بر خلاف انشا، قابل تصدیق و تکذیب باشد، قضیه نامیده میشود.
قضیه، قولی است مرکب که در آن حکم شده باشد به صدق جزء دوم بر همان چیزی که جزء اول بر آن صدق میکند (صورت اوّل)، یا به تبعیت و مصاحبت جزء دوم نسبت به جزء اول (صورت دوّم)، یا به معاندت و تباین جزء دوم با جزء اول (صورت سوّم)، و یا به سلبِ (اتحاد، تابعیت و تباینِ) جزء دوم از جزء اول (صورت چهارم).
صورت اول را
قضیه:
قضیه یک جمله خبری است.
یا به اصطلاح: هر قولی که مشتمل بر اثبات یا نفی خبری باشد، و بر خلاف انشا، قابل تصدیق و تکذیب باشد، قضیه نامیده میشود.
قضیه، قولی است مرکب که در آن حکم شده باشد به صدق جزء دوم بر همان چیزی که جزء اول بر آن صدق میکند (صورت اوّل)، یا به تبعیت و مصاحبت جزء دوم نسبت به جزء اول (صورت دوّم)، یا به معاندت و تباین جزء دوم با جزء اول (صورت سوّم)، و یا به سلبِ (اتحاد، تابعیت و تباینِ) جزء دوم از جزء اول (صورت چهارم).
صورت اول را
هنگامی که بحث اقتصاد مقاومتی مطرح می شود، تصور ما از اقتصاد نوعی اقتصاد اسلامی اسـت کـه ریشه در جهان بینی توحیدی دارد و مقوله های مـادی، معیـشت و معنویـت را در یـک تفـسیر و یـک الگوی خاص دنبال می کند. آنچه که از روایات و آیات ما استنتاج می شود این است که اقتـصاد در مفهـوم اندیـشه اسـلامی یک مفهوم و یک مقوله توازنی ، هم در مقوله مادی و هم در مقوله معیشت است.
ادامه مطلب
جزوه تایپ شده حقوق بین الملل خصوصی 2
عنوان جزوه : جزوه تایپ شده حقوق بین الملل خصوصی 2 نام استاد : جناب آقای عباس احدزاده نام دانشگاه : آزاد اسلامی واحد قزوین (باراجین) تعداد صفحه : 56 صفحه فرمت : pdf , word بخشی از جزوه: مرجع درس : کتاب تعرض قوانین آقای الماسی کتاب پیشنهادی : کتاب آقای دکتر شهیدی مسائلی طرح شده است. کتاب مجموعه مذاکرات دیوان عالی کشور خیلی خوب است برای راه یادگیری استدلال و استنتاج هم حقوقی و هم کیفری دارد. امتحان فقط مسئله است.
دریاف
امروز اولین روز تمرین صبر با آشپزی بود. هیچوقت آشپزی رو دوست نداشتم. شاید چون خیلی حوصله میخواد و بیشتر وقتها مجبوری منتظر بمونی تا آب جوش بیاد، گوشت بپزه، روغن داغ بشه، برنج خیس بخوره و. یک کار بیوقفه نیست و با این وجود حتی نمیشه تو نت چرخید یا کتاب خوند و فیلم دید. چون ممکنه حواست پرت بشه و واویلا. من یک دورهای مدیتیشن کردم و بعد از چند وقت دیگه نتونستم برای پنج دقیقه هم که شده باسن مبارک رو بذارم زمین و نفس بکشم و سکوت کنم و بذارم افک
پروژه روستای جنت مکان از توابع شوشتر
تاریخ ایجاد
07/11/1397 12:00:00 ق.ظ
تعدادبرگ: 80 برگ ورد
قیمت: 7000 تومان
حجم فایل: 426 kb
تعدادمشاهده
2
نسل پنجم کامپیوتر ها
در نسل پنجم کامپیوترها، به سادگی استفاده کاربران از کامپیوتر و برنامه نویسی توجه بسیار زیادی شده است. چرا که با کاهش قیمت سخت افزار، مخارج استفاده از کامپیوتر به مراتب از قیمت خود آن بیشتر خواهد بود. استفاده کنندگان خواهند توانست بودن اطلاع از طرز کار و جزئیات داخلی قسمتهای مختلف، آنها را به صورت آماده تهیه کرده و به دلخواه خود سیستمهایی کامپیوتری(نرمافزارهای کاربردی) بسازند. امروزه، به کمک نرمافزارهای موجود، مه
من شرلوک هلمز هستم، تنها کارآگاه مشاور دنیا.
قصد ندارم به جزئیات اینکه چطور کاری که انجام میدم رو انجام میدم، اشاره کنم چون احتمالاً شما نخواهید فهمید. اگر مشکلی داشتید که از من میخواید حلش کنم، با من تماس بگیرید. فقط موارد جالب لطفاً.
این کاریه که من میکنم:
1. همه چیز رو مشاهده میکنم.
2. از چیزهایی که مشاهده میکنم، همه چیز رو استنتاج میکنم.
3. وقتی غیر ممکنها رو محدود میکنم، هرچیزی که باقی می مونه، مهم نیست که چقدر ممکنه جنون آمیز بنظر بیاد، بای
منِ استعلائی [transcendental I]
درباره من» یا نفس،» از دوره یونان تاکنون، در مکاتب مختلف فلسفی، سخن به میان آمده است. افلاطون و ارسطو هر یک به معنایی قائل به تجرد نفس بودند. در فلسفهی جدید، دکارت، در قرن هفدهم، قائل به سه جوهر شد، که یکی از آنها نفس است، یعنی نفس دارای وجود مستقل است. اهمیت نفس در فلسفهی دکارت به اندازهای است که دو جوهر دیگر، یعنی خدا و جسم، در مقام اثبات، از دل آن برون میآیند. در قرن هجدهم، هیوم (1776-1711م.) وجود جوهری من» را به چ
یکی از سوالاتی که ذهن همه ورزشکاران را با چالش روبرو کرده و این چالش همه گیر است بحث تاثییر خود یی بر عضلات و رشد عضلات و همچنین سیستم بدنی است . خود یی متاسفانه یا خوشبختانه دیگر مسوله ای نیست که گریبان افراد را نگیرد و یک اتفاق همه گیر حتی برای افراذ متاهل است .
این مشکل یا عادت بد و اشتباه از نظر روانشناسی و ولوژی و همچنین از لحاظ سایر جنبه های مربوط به انسان تاثییرات مهم و چشمگیری بر روی بدن افراد می گذارد.
اما اینجا میخواهیم بر
داستانی چهارم:
بر روی صندلی همیشگی اش نشسته بود.انگشتانش را به حالت استنتاج بر روی هم گذاشته بود.مراجع قبلی تازه رفته بود.با خود فکر کرد:
-مسئله ی خیلی ساده ای بود.به راحتی حل شد.
صدایی او را از افکارش بیرون آورد.
-اههم.می گم که،میای بریم بیرون.
-خسته ام.
-یعنی چی؟یعنی نمیای.
-(سکوت)
-نمیای؟؟؟؟
-خب از جوابم می شه برداشت های متعددی کرد ولی یکی از این برداشت ها که درسته و متناسب با حال الان ماست اینه که با کدوم ماشین بریم؟
-این چه سوالیه؟خب تاکسی می
ویژگی های یک وکیل
ماهر چیست؟
توانایی استدلال: برخورداری از قدرت استدلال که در حقیقت قضاوت با
استدلال پشتوانه هر دعوایی می باشد. استدلال به دعوا استواری و استحکام خاصی می
بخشد.
قدرت ابتکار و تخیل: برای این که یک وکیل بتواند در موارد لازم و ضروری به سرعت دلایل جدید را بیابد و پروسه
دعوا را تغییر دهد باید توانایی ابتکار و تخیل داشته باشد تا بتواند در کار وکالت
خود موفق باشد.
قدرت استنتاج: یک وکیل خوب باید قدرت استنتاج داشته باشد تا بتواند
نقاط ح
پیش نویس: اگر خواننده وبلاگ هستید میتوانید به راحتی این پستها را اسکیپ کنید! اینها خلاصه من از خواندن منطق ریاضی است، دلیل این که چنین چیز بی ربط به رشته ام میخوانم به چیزهای مختلفی برمیگردد، به علاقهام به فلسفه ریاضی، علاقه خودم به منطق، جست جوی عقلانیت، علاقهام به وارد شدن به بحثهای فلسفه تحلیلی و فلسفه علم و کلی چیز دیگر و مهمتر از همه این که دیگر کسی برای من زر زر نکند که ریاضیات یا فیزیک منطقی یا منطقیتر از باقی چیزهاست، من
پایان نامه ارشد: استنتاج شبکه های تنظیمات ژنی از روی داده های سری زمانی Microarray به وسیله شبکه های بیزین دینامیکدانلود متن کامل پایان نامه مقطع کارشناسی ارشد رشته مهندسی کامپیوتر گرایش : هوش مصنوعی عنوان : استنتاج شبکه های تنظیمات ژنی از روی داده های سری زمانی Microarray به وسیله شبکه های بیزین دینامیک دانشگاه شیراز دانشکده مهندسی برق و کامپیوتر پایان نامه ی کارشناسی ارشد رشته ی مهندسی کامپیوتر گرایش هوش مصنوعی عنوان: […]پایان نامه های دانلودی
سلام به همگی
و بالاخره بعد از مدت ها قسمت آخر این معما.صادقانه بگم تا این جا کارتون واقعا عالیییی بود.فکر نمی کردم به این راحتی بتونین به جوابا برسین.این نشون می ده که این وبلاگ چه قدر خواننده ی باهوش داره و این باعث افتخار منه. :)
ممنون که توی این مدت که نبودم حالمو پرسیدین و به یادم بودین و شرمنده به خاطر تاخیر در گذاشتن پارت آخر معما.از صمیم قلب ممنونم. :) و این که سال نوتون هم مبارک.امیدوارم امسال سال خوبی برای همه مون باشه.پر از موفقیت ، پر
پاورپوینت کاربردهای منطق فازی در مدلسازی فرمت فایل دانلودی: .zipفرمت فایل اصلی: .pptتعداد صفحات: 33حجم فایل: 1935قیمت: 5000 تومانبخشی از متن:پاورپوینت کاربردهای منطق فازی در مدلسازیفرمت فایل: پاورپوینتتعداد اسلاید: 33فهرست- مقدمه- مجموعه های فازی- عملیات روی مجموعه های فازی- قواعد زبانی- ساختار سیستم فازی- فازی ساز- پایگاه قواعد- موتور استنتاج- نافازی سازی- انواع سیستم های فازی- مثال بیولوژیکی- معرفی- روش کار- جمع آوری داده- ثبت داده- مدل فازی - مدل AR
سلام
1- پیرو طرح سؤالاتی در کلاس مبنی بر برخی تفاوت ها (یا ناسازگاری ها) در مقایسه با نکاتی که فان دپول در کتاب Ethics, Technology, and Engineering-An Introduction آورده است، توضیحات و ارجاعات زیر ارائه می شود:
- در کتاب فان دپول (p.11) آمده است که "معمولاً لازم است چهار شرط اعمال شود" تا کسی نسبت به کنش یا پیامدهای کنشی که داشته مقصر (مسئول نسبت به گذشته) تلقی شود (wrong-doing, causal contribution, foreseeability, and freedom). اما هیچگونه دیدگاه صفر و یکی (Yes or No) در اینجا وجود ندارد و میزان مسئول یا
سلام
1- پیرو طرح سؤالاتی در کلاس مبنی بر برخی تفاوت ها (یا ناسازگاری ها) در مقایسه با نکاتی که فان دپول در کتاب Ethics, Technology, and Engineering-An Introduction آورده است، توضیحات و ارجاعات زیر ارائه می شود:
- در کتاب فان دپول (p.11) آمده است که "معمولاً لازم است چهار شرط اعمال شود" تا کسی نسبت به کنش یا پیامدهای کنشی که داشته مقصر (مسئول نسبت به گذشته) تلقی شود (wrong-doing, causal contribution, foreseeability, and freedom). اما هیچگونه دیدگاه صفر و یکی (Yes or No) در اینجا وجود ندارد و میزان مسئول یا
شاید موقع حل بعضی مسائل کتاب فیزیکتان به استفاده از پایستگی انرژی نیاز داشته اید۱ و همانجا به این فکر کرده باشید که اصلا این به اصطلاح قوانین بقا، از کجا آمده اند؟
در واقع قوانین بقا، از قوانین نیوتون استنتاج میشوند. یعنی این پایستگی ها، نتیجه ی قوانین نیوتون هستند.
پس منطقا باید اگر جایی قوانین نیوتون برقرار نباشد، این پایستگی ها هم برقرار نباشد!
اما فیزیکدانان به پایستگیها بسیار علاقه مند شدند و خواستند که جاهایی که قوانین نیوتون برقرار
مشاور پرورش شترمرغ
هزینه غذا 60% تا 70 % کل هزینه پرورش شترمرغ را تشکیل می دهد بنابراین درک آن در ابتدای آغاز به کار پرورش شترمرغ بسیار مهم است. متاسفانه پرورش دهندگان قدیمی و جدید حداقل آگاهی را از این موضوع دارند.نخست بعد اقتصادی را در نظر می گیریم. هزینه غذا به خودی خود مهم نیست بلکه تفاوت موجود در درآمد پرنده های پروار شده و هزینه تولید آن ها اهمیت دارد.
مشاور تخصصی پرورش شترمرغ
علاوه بر محاسبه هزینه تخم، جوجه، پرنده آماده کشتار
پیش نویس: اگر به فلسفه ریاضی علاقه مند باشید ممکن است پاراگراف اول برایتان جالب باشد.
نظریه مدل هیجانانگیز تر از چیزی بود که فکر میکردم، اصلا فلسفه کل منطق ریاضی را در این نظریه مدل فهمیدم، نظریه مدل در واقع قلب تپنده و اصل دلیل روی آوردن آدمها به سمت منطق مرتبه اول یا منطق ریاضی است: ریاضی در واقع چیزی جز مدلها نیست، مثلا ما از روی دنیا یک مدل از اعداد طبیعی میسازیم که در آن یک لیست از اعداد طبیعی داریم (0 و 1 و .) و توابع تالی، جمع، ضرب
بررسی رفتارهای معلم با انگیزه در میزان یادگیری دانش آموزان
در این تحقیق ابتدا به بیان مسئله و هدف و ضرورت تحقیق پرداخته، آنگاه واژه های تحقیق را توضیح داده سپس در فصل دوم به پیشینه تحقیق پرداخته و در فصل سوم مجموعه آماری خود را معرفی و پرسشنامه تهیه شده را ضمیمه نموده و به تحلیل و استنتاج پرداخته و در پایان نتیجه گیری و پیشنهادها و انتقادهای خود را از نتایج تحقیق ارائه نموده ام که انشاءا روزنه ای در ارائ
مشخصات فایل
تعداد صفحات
40
حجم
0 کیل
پیش نویس: اگر به فلسفه ریاضی علاقه مند باشید ممکن است پاراگراف اول برایتان جالب باشد.
نظریه مدل هیجانانگیز تر از چیزی بود که فکر میکردم، اصلا فلسفه کل منطق ریاضی را در این نظریه مدل فهمیدم، نظریه مدل در واقع قلب تپنده و اصل دلیل روی آوردن آدمها به سمت منطق مرتبه اول یا منطق ریاضی است: ریاضی در واقع چیزی جز مدلها نیست، مثلا ما از روی دنیا یک مدل از اعداد طبیعی میسازیم که در آن یک لیست از اعداد طبیعی داریم (0 و 1 و .) و توابع تالی، جمع، ضرب
درباره این سایت