دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Louis Couturat, Traité de Logique algorithmique
دانلود کتاب لوئیس کوتورات، رساله منطق الگوریتمی
مشخصات کتاب
Louis Couturat, Traité de Logique algorithmique
ویرایش: نویسندگان: Couturat. Louis, Sakhri. Mohsen, Couturat. Louis, Schlaudt. Oliver سری: Publications des Archives Henri-Poincaré ISBN (شابک) : 9783034604116, 3034604114 ناشر: Birkhäuser سال نشر: 2010 تعداد صفحات: 0 زبان: English, French فرمت فایل : RAR (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 29,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Louis Couturat, Traité de Logique algorithmique به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب لوئیس کوتورات، رساله منطق الگوریتمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب لوئیس کوتورات، رساله منطق الگوریتمی
نسخه خطی الگوریتم Traité de Logique حاصل سخنرانی‌هایی است که
کوتورات در دانشگاه کان در سال 1898/1899 درباره پیشرفت‌های اخیر
در منطق نمادین، در مورد روابط منطق و ریاضیات، و در مورد دامنه
روش‌های ریاضیات ارائه کرد. این تنها نسخه از چندین نسخه خطی است
که Couturat در مکاتبات خود ذکر کرده است که در عین حال دوباره
کشف شده است. این یک سند برجسته از رواج و انتشار منطق نمادین در
حوالی سال 1900 است. این سند به درک بهتر روابط دشوار منطق جبری و
به اصطلاح برنامه لجستیکی کمک می کند. که از جایگزین ساده منطق به
عنوان کاربرد جبر در مقابل منطق به عنوان پایه ریاضیات پیشی می
گیرد. تعاملات پیچیده در تحولات تاریخی این دو جریان در تردیدهای
کوتورات و تغییر نگرش در زندگینامه فکری او آشکار می شود. انتشار
این نسخه خطی به دستیابی به تصویر بسیار کامل تری از دومی کمک می
کند. بیشتر
بخوانید...
چکیده: نسخه خطی الگوریتم Traité de Logique حاصل سخنرانی‌هایی
است که کوتورات در دانشگاه کان در سال 1898/1899 درباره
پیشرفت‌های اخیر در منطق نمادین، روابط منطق و ریاضیات، و در مورد
دامنه روش‌ها ارائه کرد. ریاضیات این تنها نسخه از چندین نسخه خطی
است که Couturat در مکاتبات خود ذکر کرده است که در عین حال
دوباره کشف شده است. این سند برجسته ای از رواج و انتشار منطق
نمادین در حدود سال 1900 است. این امکان را برای درک بهتر روابط
دشوار منطق جبری و به اصطلاح برنامه لجستیکی فراهم می کند که از
جایگزین ساده منطق به عنوان کاربرد جبر در مقابل منطق پیشی می
گیرد. پایه ریاضیات تعاملات پیچیده در تحولات تاریخی این دو جریان
در تردیدهای کوتورات و تغییر نگرش در زندگینامه فکری او آشکار می
شود. انتشار این دست نوشته به دستیابی به تصویر بسیار کامل تری از
دومی کمک می کند
توضیحاتی درمورد کتاب به خارجی
The manuscript of the Traité de Logique algorithmique resulted
from lectures Couturat gave at the University of Caen in
1898/99 on recent developments in symbolic logic, on the
relations of logic and mathematics, and on the scope of the
methods of mathematics. It is the only one of several
manuscripts Couturat mentioned in his correspondence that
meanwhile has been rediscovered. It is an outstanding document
of the popularization and propagation
of symbolic logic around 1900. It allows to better understand
the difficult relations of algebraic logic and the so-called
logistic program which surpasses the simple alternative of
logic as an application of algebra vs. logic as the foundation
of mathematics. The complicated interactions in the historical
developments of these two currents become manifest in
Couturat's hesitations and changing attitudes within his own
intellectual biography. The publication of this manuscript
helps to achieve a much more complete picture of the
latter. Read
more...
Abstract: The manuscript of the Traité de Logique
algorithmique resulted from lectures Couturat gave at the
University of Caen in 1898/99 on recent developments in
symbolic logic, on the relations of logic and mathematics, and
on the scope of the methods of mathematics. It is the only one
of several manuscripts Couturat mentioned in his correspondence
that meanwhile has been rediscovered. It is an outstanding
document of the popularization and propagation of symbolic
logic around 1900. It allows to better understand the difficult
relations of algebraic logic and the so-called logistic program
which surpasses the simple alternative of logic as an
application of algebra vs. logic as the foundation of
mathematics. The complicated interactions in the historical
developments of these two currents become manifest in
Couturat's hesitations and changing attitudes within his own
intellectual biography. The publication of this manuscript
helps to achieve a much more complete picture of the latter
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Make a Name for Yourself
دانلود کتاب Dalla microfisica alla macrofisica
دانلود کتاب Mediamatik — Die Konvergenz von Telekommunikation, Computer und Rundfunk
دانلود کتاب The Pattern Seekers: How Autism Drives Human Invention
