مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب Glutamate-based Therapies for Psychiatric Disorders

دانلود کتاب Delphi Collected Works of J. M. W. Turner (Illustrated)

دانلود کتاب Prontuario di punteggiatura

دانلود کتاب Nonclassical Logics and Their Applications: Post-proceedings of the 8th International Workshop on Logic and Cognition (Logic in Asia: Studia Logica Library)

دانلود کتاب Physics practical file B.Sc. 3rd year VBSPU