دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Edward Hermann Haeusler, Wagner de Campos Sanz, Bruno Lopes (eds.) سری: ISBN (شابک) : 1848901720, 9781848901728 ناشر: College Publications سال نشر: 2015 تعداد صفحات: 246 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
کلمات کلیدی مربوط به کتاب چرا این اثبات است؟ Festschrift برای لوئیز کارلوس پریرا: علوم کامپیوتر، هوش مصنوعی و یادگیری ماشین، بیوانفورماتیک، شبیه سازی کامپیوتر، سایبرنتیک، تعامل انسان و کامپیوتر، تئوری اطلاعات، رباتیک، تجزیه و تحلیل و طراحی سیستم، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، علوم کامپیوتر، الگوریتم ها، هوش مصنوعی، ذخیره سازی و طراحی پایگاه داده، گرافیک و تجسم، شبکه سازی، طراحی نرم افزار شی گرا، سیستم عامل، زبان های برنامه نویسی، طراحی و مهندسی نرم افزار، کتاب های درسی جدید، مستعمل و اجاره، بوتی تخصصی
در صورت تبدیل فایل کتاب Why is this a Proof? Festschrift for Luiz Carlos Pereira به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چرا این اثبات است؟ Festschrift برای لوئیز کارلوس پریرا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل پانزده مقاله تحقیقاتی برای جشن تولد 60 سالگی لوئیز کارلوس پریرا است. در میان نویسندگانی که در این جلد مشارکت دارند، ما همکاران، دوستان - از جمله مشاور دکتری او - و تحسینکنندگان را مییابیم. مشابه علایق و کار فکری لوئیز کارلوس پریرا، مشارکتها از فلسفه تا ریاضیات، از ریاضیات تا منطق، و از منطق تا فلسفه، با گذر از علوم کامپیوتر، متغیر است. آنها حاصل تحقیقات کنونی محققان مشهور در این زمینه ها هستند. نظریه اثبات، شاید رشته آریادنه باشد که موضوعات مختلف مورد بررسی را متحد می کند. سؤالات پیرامون ماهیت شواهد اغلب در گفتگوها و نشریات رسمی و غیررسمی لوئیز کارلوس وجود دارد. البته او اولین کسی نبود که خود را وقف این پرسش ها کرد، اما همیشه مشتاقانه آن ها را مطرح می کند و با آنها برخورد می کند. این شور و شوق، همراه با تیزبینی فکری او، به ما این امکان را داده است که از سفری شگفت انگیز به دنیای برهان لذت ببریم. اگرچه همه مشارکتها مستقیماً بر نظریه اثبات متمرکز نیستند، اما میتوانیم پژواک آن را در همه آنها احساس کنیم.
This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira's intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne's thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos' formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.