دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logique, volume 1: méthodes pour l'informatique fondamentale
دانلود کتاب منطق ، جلد 1: روشهای علوم بنیادی کامپیوتر
مشخصات کتاب
Logique, volume 1: méthodes pour l'informatique fondamentale
ویرایش:
نویسندگان: Paul Gochet. Pascal Gribomont
سری:
ISBN (شابک) : 2866012496, 9782866012496
ناشر: Hermes Science Publications
سال نشر: 2000
تعداد صفحات: 462
زبان: French
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Logique, volume 1: méthodes pour l'informatique fondamentale به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، جلد 1: روشهای علوم بنیادی کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ، جلد 1: روشهای علوم بنیادی کامپیوتر
این جلد اول، Methods for Fundamental Computing، شامل شرحی از محاسبات قضایا و محمولات، و همچنین مقدمه ای بر نظریه های مرتبه اول است. تاکید بر جنبه محاسباتی است که برای کاربرد در علوم کامپیوتر و هوش مصنوعی ضروری است.ویژگی های آموزشی فراوان این کتاب، توجه دائمی به فرهنگ و تاریخ، دقت زیاد و دقت فنی، تمایل به پرداختن به جنبه های اخیر منطقی که کاربردهایی را به وجود آورده است (مانند روش تفکیک که اساس زبان کامپیوتری Prolog است) آن را برای سالیان متمادی به یک اثر مرجع تبدیل می کند که برای بسیاری از دانش آموزان مفید است. پورلا ساینس اینجا کار منطقی است که در زبان فرانسه بین کتابهای درسی عامیانه و رساله های تخصصی سیکل های سوم ریاضیات گم شده بود... در اینجا عناصر زیادی برای مدعی شدن جایگاه دروس دانشگاه اول حضور دارند. چرخه کتابشناسی فلسفه، شهریور 1375
توضیحاتی درمورد کتاب به خارجی
Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et IA.Les nombreuses qualités didactiques de ce livre, le souci permanent de culture et d'histoire, la grande précision et la justesse technique de l'exposé, la volonté de traiter les aspects récents de la logique ayant donné lieu à des applications (telle la méthode de résolution qui est à la base du langage informatique Prolog) en feront un ouvrage de référence pour de longues années, utile à de nombreux étudiants. Pour la Science Voici l'ouvrage de logique qui manquait en français entre les manuels de vulgarisation et les traités spécialisés pour les troisièmes cycles de mathématiques... Ici, bien des éléments sont présents pour prétendre à la place de référence pour les cours de premier cycle universitaire. Bibliographie de la philosophie, septembre 1996
