ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Calcul en logique du premier ordre

دانلود کتاب حساب دیفرانسیل و انتگرال در منطق مرتبه اول

Calcul en logique du premier ordre

مشخصات کتاب

Calcul en logique du premier ordre

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9782760542099 
ناشر: Presses de l’Université du Québec 
سال نشر: 2015 
تعداد صفحات: 306 
زبان: French 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Calcul en logique du premier ordre به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب حساب دیفرانسیل و انتگرال در منطق مرتبه اول

یک محاسبه منطقی، در معنای وسیع، یک روش تفکیک پذیری است که برای پردازش یک ساختار گزاره ای اعمال می شود. گزاره هایی که این ساختار را تشکیل می دهند به خوبی می توانند عباراتی از یک زبان طبیعی (مانند فرانسوی) یا عبارات یک زبان رسمی (مانند حساب) باشند که توسط یک وابستگی با ماهیت کارکردی به هم مرتبط شده اند. این کتاب مقدمه ای است بر دو ابزار محاسباتی در منطق مرتبه اول، یعنی محاسبه درخت سازگاری و محاسبه کسر طبیعی. بخش اول با محوریت مفهوم ساختار گزاره ای، مفاهیم، ​​اشیا و روش های خاص منطق گزاره ای را ارائه می کند. در بخش دوم، منطق گزاره‌ای به‌وسیله کمی‌سازی و مفاهیم مشخصه یک زبان مرتبه اول به منطق اعتباری تعمیم می‌یابد. سپس دو ابزار محاسبه غنی می‌شوند تا بتوانند توابع گزاره‌ای، یعنی محمول‌های مرتبه اول را پردازش کنند. مثال ها و تمرین های متعدد همراه با راه حل های آنها به دانش آموز کمک می کند تا به سمت محاسبات پیچیده تر پیشرفت کند و روش های محاسبه منطقی خود را اصلاح کند.


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

Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d’une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d’une langue naturelle (comme le français) que des expressions d’un langage formalisé (comme l’arithmétique), liées entre elles par une dépendance de nature fonctionnelle. Cet ouvrage constitue une introduction à deux outils de calcul en logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. La première partie, centrée sur la notion de structure propositionnelle, expose les concepts, les objets et les méthodes propres à la logique propositionnelle. Dans la deuxième partie, la logique propositionnelle est étendue à la logique prédicative au moyen de la quantification et de concepts caractéristiques d’un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de manière à pouvoir traiter des fonctions propositionnelles, soit des prédicats du premier ordre. De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l’étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique.



فهرست مطالب

Couverture......Page 1
Avant-propos......Page 11
Table des matières......Page 13
Introduction......Page 17
Premìere partie - Logique propositionnelle......Page 25
1.1.1 Propriétés des connecteurs......Page 27
1.1.2 Définitions des connecteurs......Page 28
1.1.3 Relations entre les connecteurs......Page 34
1.1.4 Traduction de la langue naturelle......Page 37
1.2.1 Tables de vérité......Page 42
1.2.2 Calcul par réduction......Page 47
1.2.3 Tautologie......Page 49
1.3 Solutions des exercices......Page 53
2.1 Forme normale disjonctive......Page 61
2.2 Construction......Page 63
2.3 Calcul......Page 74
2.3.1 Énoncé......Page 75
2.3.2 Ensemble d'énoncés......Page 79
2.3.3 Inférence......Page 82
2.4 Objets et méthodes......Page 87
2.5 Sommaire des règles......Page 93
2.6 Solutions des exercices......Page 94
3.1 Construction......Page 121
3.2 Règles d'introduction......Page 123
3.3 Règles d'élimination......Page 129
3.4 Calcul......Page 132
3.5 Sommaire des règles......Page 157
3.6 Solutions des exercices......Page 159
Deuxième partie - Logique prédicative......Page 175
4.1 Prédicat......Page 177
4.1.1 Abstraction......Page 179
4.2 Quantificateur......Page 181
4.2.1 Dualité......Page 182
4.2.2 Instanciation......Page 183
4.2.3 Propriétés......Page 188
4.3 Traduction......Page 191
4.4 Propriétés des relations......Page 193
4.5 Langage du premier ordre......Page 195
4.5.1 Point de vue syntaxique......Page 196
4.5.2 Point de vue sémantique......Page 197
4.6 Solutions des exercices......Page 203
5.1 Construction......Page 209
5.1.1 Première approche......Page 210
5.1.2 Règles......Page 213
5.2 Interprétation......Page 220
5.3 Objets et méthodes......Page 223
5.4 Calcul......Page 224
5.5 Sommaire des règles......Page 232
5.6 Solutions des exercices......Page 233
6.1 Règles d'introduction......Page 253
6.2 Règles d'élimination......Page 256
6.3 Règles définitoires......Page 259
6.4 Calcul......Page 261
6.5 Sommaire des règles......Page 276
6.6 Solutions des exercices......Page 279
Bibliographie......Page 295
Index......Page 301
Quatrième de couverture......Page 306




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

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