دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings
دانلود کتاب گودل 96: مبانی منطقی ریاضیات، علوم کامپیوتر و فیزیک - میراث کورت گودل. برنو، جمهوری چک، آگوست 1996، مجموعه مقالات
مشخصات کتاب
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings
ویرایش: [1 ed.]
نویسندگان: Petr Hajek
سری: Lecture Notes in Logic
ISBN (شابک) : 9783540614340, 3540614346
ناشر: Springer
سال نشر: 1996
تعداد صفحات: 336
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 32 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گودل 96: مبانی منطقی ریاضیات، علوم کامپیوتر و فیزیک - میراث کورت گودل. برنو، جمهوری چک، آگوست 1996، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب گودل 96: مبانی منطقی ریاضیات، علوم کامپیوتر و فیزیک - میراث کورت گودل. برنو، جمهوری چک، آگوست 1996، مجموعه مقالات
این مجموعه مقالات کنفرانس جشن نودمین سالگرد تولد کورت گودل است. این کنفرانس به عنوان یک جلسه تحت حمایت ASL شناخته شده است. مقالات دعوت شده و مقالات ارائه شده عمدتاً به منطق ریاضی و همچنین فلسفه ریاضیات، علوم رایانه و فیزیک مربوط می شود و به موضوعات مرتبط با کار گودل اختصاص دارد و وضعیت فعلی حوزه های دانش را که عمیقاً تحت تأثیر گودل قرار گرفته است منعکس می کند.
توضیحاتی درمورد کتاب به خارجی
This is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ASL sponsored meeting. Invited papers and contributed papers concern mainly mathematical logic but also philosophy of mathematics, computer science and physics and are devoted to topics related to Goedel's work and reflect the present state of knowledge domains deeply influenced by Goedel.
