ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

دانلود کتاب مقدمه ای بر منطق: نظریه اثبات - دوره و تمرین های تصحیح شده

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

مشخصات کتاب

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

دسته بندی: منطق
ویرایش: 2e 
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 2100067966, 9782100067961 
ناشر: Dunod 
سال نشر: 2004 
تعداد صفحات: 364 
زبان: French 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 37,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر منطق: نظریه اثبات - دوره و تمرین های تصحیح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مقدمه ای بر منطق: نظریه اثبات - دوره و تمرین های تصحیح شده

این اثر، که به طور کامل در این ویرایش دوم تجدید نظر شده است، یک دوره مقدماتی در منطق ریاضی و، به ویژه، نظریه اثبات است. این پاسخ ریاضیدان را به سؤالات «گزاره چیست؟ یک نمایش؟» یا به طور اساسی تر، «ریاضیات چیست؟» می دهد و آن را با مثال های متعددی از ریاضیات رایج نشان می دهد. همچنین در مورد منطق شهودی بحث می‌کند که برهان‌های سازنده و تکنیک‌های اساسی نمایش خودکار را ارائه می‌دهد. این مفاهیم در علوم کامپیوتر ضروری است. برای کمک به درک خواننده، این دوره شامل مثال های فراوان و نزدیک به 170 تمرین تصحیح شده است. یک ضمیمه یک دستیار نمایشی، نرم افزار PhoX را ارائه می دهد که توسط یکی از نویسندگان نوشته شده است. اضافات به پاسخ ها (اثبات کاملاً رسمی یا انجام شده با نرم افزار PhoX) و همچنین نرم افزار Phox در وب سایت نویسندگان موجود است. این کتاب که هیچ پیش نیازی در منطق ندارد، به ویژه برای دانشجویان سال سوم مجوز یا کارشناسی ارشد در نظر گرفته شده است. همچنین ممکن است مورد علاقه CAPES و نامزدهای تجمع باشد.


توضیحاتی درمورد کتاب به خارجی

Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou plus fondamentalement, " qu'est-ce que les mathématiques ? ", en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. II pourra également intéresser les candidats au CAPES et à l'agrégation.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی