مشخصات کتاب

Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk

ویرایش:  
نویسندگان: S. Krajewski,  W. Marek,  G. Mirkowska,  A. Salwicki,  J. Wolenski (eds.)  
سری:  
ISBN (شابک) : 1586038141, 9781586038144 
ناشر: IOS Press 
سال نشر: 2008 
تعداد صفحات: 186 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 مگابایت 

کلمات کلیدی مربوط به کتاب مباحث منطق، فلسفه و مبانی ریاضیات و علوم کامپیوتر: به قدردانی از پروفسور آندری گرژگورشیک: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه

در صورت تبدیل فایل کتاب Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مباحث منطق، فلسفه و مبانی ریاضیات و علوم کامپیوتر: به قدردانی از پروفسور آندری گرژگورشیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مباحث منطق، فلسفه و مبانی ریاضیات و علوم کامپیوتر: به قدردانی از پروفسور آندری گرژگورشیک

این جلد به افتخار پروفسور آندری گرزگورچیک، الهام بخش منطق دانان لهستانی، در هشتاد و پنجمین سالگرد او می پردازد. سردبیران مایلند احترام و همدردی خود را با او ابراز کنند. کتاب درسی او طرح کلی منطق ریاضی در چندین نسخه منتشر شده و به چندین زبان ترجمه شده است. این کتاب درسی بود که بسیاری از ما را وارد دنیای منطق ریاضی کرد. پروفسور گرژگورشیک کمک های اساسی به منطق و فلسفه داشته است. نتایج او، عمدتاً در مورد سلسله مراتب توابع بازگشتی اولیه، معروف به سلسله مراتب گرزگورکزیک، برای علم کامپیوتر نظری اهمیت اساسی دارد. به ویژه، آنها مقدماتی برای نظریه پیچیدگی محاسباتی بودند. ویراستاران مایلند تأکید کنند که این نشریه ویژه دانشمندی را تجلیل می کند که هنوز به طور فعال در حال پیگیری جهت گیری های واقعاً نوآورانه تحقیق است. اخیرا، آندری گرزگورکزیک اثبات جدیدی مبنی بر غیرقابل تصمیم گیری حساب تابعی مرتبه اول ارائه کرد. اثبات او از حساب کردن کورت گادل استفاده نمی کند. برای قدردانی از شایستگی های وی، دانشگاه کلرمون فران به پروفسور آندری گرزگورچیک دکترای افتخاری اعطا کرد. کار و زندگی پروفسور آندری گرژگورکزیک در مقاله پروفسور استانیسلاو کرایوسکی و یان وولنسکی ارائه شده است. مقالات این مجموعه بر اساس دعوتنامه ارسال شده است.

IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های باکیفیت برای دانشگاهیان، دانشمندان و متخصصان در تمامی زمینه ها می باشد.

برخی از حوزه هایی که ما در این زمینه منتشر می کنیم:

-زیست پزشکی
-انکولوژی
-هوش مصنوعی
-پایگاه های اطلاعاتی و سیستم های اطلاعاتی
-مهندسی دریایی
-نانو فناوری
- مهندسی زمین
-همه جنبه های فیزیک
-حاکمیت الکترونیک
-تجارت الکترونیک
-اقتصاد دانش
-مطالعات شهری
-کنترل تسلیحات
-درک و پاسخگویی به تروریسم
-انفورماتیک پزشکی
-علوم کامپیوتر

توضیحاتی درمورد کتاب به خارجی

This volume honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. The editors would like to express the respect and sympathy they have for him. His textbook The Outline of Mathematical Logic has been published in many editions and translated into several languages. It was this textbook that introduced many of us into the world of mathematical logic. Professor Grzegorczyk has made fundamental contributions to logic and to philosophy. His results, mainly on hierarchy of primitive recursive functions, known as the Grzegorczyk hierarchy, are of fundamental importance to theoretical computer science. In particular, they were precursory for the computational complexity theory. The editors would like to stress that this special publication celebrates a scientist who is still actively pursuing genuinely innovative directions of research. Quite recently, Andrzej Grzegorczyk gave a new proof of undecidability of the first order functional calculus. His proof does not use the arithmetization of Kurt Gadel. In recognition of his merits, the University of Clermont-Ferrand conferred to Professor Andrzej Grzegorczyk the Doctorat Honoris Causa. The work and life of Professor Andrzej Grzegorczyk is presented in the article by Professors Stanislaw Krajewski and Jan Wolenski. The papers in this collection have been submitted on invitational basis.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

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

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

دانلود کتاب Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

دانلود کتاب The theory of the imaginary in geometry

دانلود کتاب Dynamics of Organizational Populations: Density, Legitimation, and Competition

دانلود کتاب Judicial Review and Contemporary Democratic Theory: Power, Domination, and the Courts

دانلود کتاب I. The Histopathology of Contagious Ecthyma in Sheep Ii. The Propagation of the Etiological Agent (Virus) In the Chick Embryo