دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Elements de logique contemporaine
دانلود کتاب عناصر منطق معاصر
مشخصات کتاب
Elements de logique contemporaine
ویرایش: 3ed.
نویسندگان: Lepage F.
سری:
ISBN (شابک) : 9782760622302
ناشر: U.Montreal
سال نشر: 2010
تعداد صفحات: 292
زبان: French
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Elements de logique contemporaine به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب عناصر منطق معاصر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب عناصر منطق معاصر
این اثر روش‌ها و مفاهیم ابتدایی منطق معاصر را که کنترل آن ضروری است، نشان می‌دهد که می‌خواهد به مطالعه متالوژیک نزدیک شود. یک کتابچه راهنمای مقدماتی واقعی، خواندن آن به دانش خاصی نیاز ندارد، شامل دو بخش است که مربوط به تقسیم کلاسیک بین محاسبه عبارات و محاسبه محمولات است. بخش اول پیوندهای منطقی را از دیدگاه صرفا معنایی با روش جداول صدق و با روش ماتریس ارائه می کند. توجه ویژه ای به مسائل ترجمه زبان طبیعی می شود. بنابراین، این کتاب ممکن است برای همه دانشجویان کارشناسی که شروع به تفکر در مورد زبان می کنند مفید باشد. سپس روش‌های نحوی برای تأیید اعتبار مورد بحث قرار می‌گیرند: جبر بولی، روش درختی و روش استنتاج طبیعی. بخش دوم که به مطالعه محاسبات محمول اختصاص دارد، مفاهیم اساسی آن را ارائه می دهد: مدل، رضایت، صدق، اعتبار. سپس روش درختان و روش کسر طبیعی توسعه می یابد. بسیاری از تمرین‌های اصلی به خواننده این امکان را می‌دهد که درک خود از مطالب را در حین پیش‌برد بررسی کند. تعدادی از این تمرین ها با پاسخ هایی همراه هستند که در پایان هر فصل با هم جمع شده اند.
توضیحاتی درمورد کتاب به خارجی
Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Counts of Tripoli and Lebanon in the Twelfth Century: Sons of Saint-Gilles
دانلود کتاب The Higher Learning, the Universities, and the Public
دانلود کتاب Начала органума // Художник и время: Феномен восприятия и интерпретации в искусстве. Сб-к мат. конф. Краснодар-Геленджик. Вып. 1. – Краснодар: КГУКИ, 2004. – С. 206-215.
دانلود کتاب Rockefeller's Cleveland
