مشخصات کتاب

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.

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

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

دانلود کتاب Bodyweight Workouts for Men

دانلود کتاب Statistics for the Life Sciences (3rd Edition)

دانلود کتاب 桔黄色旅行中的奇妙瞬间（东欧卷）: 世界散文随笔精品文库 东欧卷

دانلود کتاب Textbook of Family Medicine

دانلود کتاب All-in-one quilter's reference tool: easy-to-follow charts, tables & illustrations--yardage requirements--cutting instructions--setting secrets--choosing supplies--piecing techniques--number conversions - & more!