مشخصات کتاب

Lógica matemática: Capítulos complementarios 785396010932

ویرایش: [2 ed.] 
نویسندگان: Kolmogórov A. N.,  Dragalin A. G.  
سری:  
 
ناشر: URSS 
سال نشر: 2013 
تعداد صفحات: 260 
زبان: Spanish 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب Lógica matemática: Capítulos complementarios 785396010932 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ریاضی: فصول تکمیلی 785396010932 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق ریاضی: فصول تکمیلی 785396010932

خلاصه کتاب A. N. Kolmogorov و A. G. Dragalin، منطق دانان و ریاضیدانان برجسته شوروی، تأثیر قابل توجهی بر سبک و جهت تحقیقات در زمینه منطق و فلسفه ریاضی در سراسر جهان داشتند. این کتاب جلد دوم کار «منطق ریاضی» را تشکیل می دهد (جلد اول، «درآمدی بر منطق ریاضی» نیز توسط انتشارات ما منتشر شده است) که در آن شرحی کلاسیک از مفاهیم اساسی و نتایج منطق ریاضی ارائه شده است. منطق ریاضی با عناصر نظریه مجموعه ها، نظریه الگوریتم و مبانی ریاضیات. هر دو جلد بر اساس درس منطق ریاضی ارائه شده توسط نویسندگان در دانشکده مکانیک و ریاضیات دانشگاه دولتی «M. V. Lomonosov» از مسکو. در فصل اول این کتاب، نظریه مجموعه ها بر اساس سیستم بدیهی زرملو-فرانکل بررسی شده است. فصل دوم مقدمه‌ای بر نظریه الگوریتم است (محاسبه‌پذیری تورینگ، پایان‌نامه چرچ، مجموعه‌های بازگشتی، مجموعه‌های قابل شمارش بازگشتی). فصل سوم به تئوری استنتاج (قضیه کامل بودن گودل در حساب محمول، لوونهایم - قضیه اسکولم، قضیه دوم گودل) اختصاص دارد و با بررسی برنامه هیلبرت برای بنیاد ریاضیات به پایان می رسد. این کتاب برای خوانندگان سطح کالج علاقه مند به منطق ریاضی و مسائل فلسفی در ریاضیات مدرن در نظر گرفته شده است. نویسندگان آندری نیکولایویچ کولموگروف ریاضیدان برجسته شوروی، عضو آکادمی علوم اتحاد جماهیر شوروی. او در 25 آوریل 1903 در شهر تامبوف (روسیه) به دنیا آمد. در سال 1925 تحصیلات خود را در اولین دانشگاه مسکو (موسسه معروفی که بعداً به دانشگاه دولتی مسکو "M. V. Lomonosov" فعلی تبدیل شد) به پایان رساند. وی از سال 1931 به عنوان استاد در آنجا کار کرد. او به عنوان رئیس چندین بخش و رئیس دانشکده خدمت کرد. دانشکده مکانیک و ریاضی این دانشگاه. نویسنده آثار متعددی که در تئوری توابع متغیرهای واقعی، نظریه مجموعه‌ها، توپولوژی، منطق سازنده، تحلیل تابعی، مکانیک نظری، نظریه الگوریتم، نظریه اطلاعات و غیره کلاسیک محسوب می‌شوند. نتایج به دست آمده توسط کولموگروف در نظریه احتمالات اساسی است. فعالیت او در زمینه روش شناسی و سازماندهی تدریس ریاضیات مشهور است. او به عنوان رئیس انجمن ریاضی مسکو خدمت کرد. دکتر افتخاری از دانشگاه های خارجی متعدد، اعضای آکادمی ها و انجمن های علمی مختلف، با جوایز بین المللی و نشان دولتی. آلبرت گریگوریویچ دراگالین نماینده برجسته مکتب ساخت گرایی ریاضی شوروی. او در 10 آوریل 1941 در جزیره Morzhebiets (منطقه Arkhangelsk، روسیه) به دنیا آمد. او در دانشکده مکانیک و ریاضیات دانشگاه دولتی «M. V. Lomonosov" از مسکو، جایی که او از سال 1966 در آنجا کار می کرد. او دپارتمان ریاضیات حساب دیفرانسیل و انتگرال را در دانشگاه «ال. Kossuth» از شهر Debrecen. او در سال 1988 از سوی آکادمی علوم مجارستان به عنوان دکترای علوم اعطا شد. نویسنده مقالات اساسی در مورد مبانی نظریه مدل و نظریه اثبات در منطق شهودی، و در مورد روش های سازنده در تجزیه و تحلیل غیر استاندارد.

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

Resumen del libro A. N. Kolmogórov y A. G. Dragalin, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía matemática a nivel mundial. El presente libro constituye el segundo tomo de la obra «Lógica matemática» (el primer tomo, «Introducción a la lógica matemática», también fue editado por nuestra editorial), en la que se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática. Ambos tomos fueron escritos sobre la base del curso de lógica matemática dictado por los autores en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú. En el primer capítulo del presente libro se estudia la teoría de conjuntos sobre la base del sistema axiomático de Zermelo—Fraenkel. El segundo capítulo es una introducción a la teoría de algoritmos (computabilidad según Turing, tesis de Church, conjuntos recursivos, conjuntos recursivamente enumerables). El tercer capítulo está dedicado a la teoría de la deducción (teorema de completitud del cálculo de predicados de Gödel, teorema de Löwenheim—Skolem, segundo teorema de Gödel) y concluye con el examen del programa de Hilbert de fundamentación de la matemática. Este libro está dirigido a lectores de nivel universitario interesados en la lógica matemática y los problemas filosóficos de la matemática moderna. Los autores Andréi Nikoláievich Kolmogórov Eminente matemático soviético, miembro de la Academia de Ciencias de la Unión Soviética. Nació el 25 de abril de 1903 en la ciudad de Tambov (Rusia). En 1925 concluyó sus estudios en la Primera Universidad de Moscú (célebre institución que, posteriormente, se convertiría en la actual Universidad Estatal «M. V. Lomonósov» de Moscú), donde trabajó como profesor desde 1931. Ejerció el cargo de jefe de varios departamentos y decano de la Facultad de Mecánica y Matemática de esta universidad. Autor de numerosos trabajos considerados clásicos en la teoría de funciones de variable real, teoría de conjuntos, topología, lógica constructiva, análisis funcional, mecánica teórica, teoría de algoritmos, teoría de la información, etcétera. Los resultados logrados por Kolmogórov en la teoría de probabilidades tienen carácter fundamental. Es bien conocida su actividad relacionada con la metodología y la organización de la enseñanza de la matemática. Ocupó el cargo de presidente de la Sociedad Matemática de Moscú. Doctor honoris causa de numerosas universidades extranjeras, miembro de diferentes academias y sociedades científicas, galardonado con premios internacionales y órdenes estatales. Albert Grigórievich Dragalin Destacado representante de la escuela soviética de constructivismo matemático. Nació el 10 de abril de 1941 en la isla Morzhebiets (Región de Arjánguelsk, Rusia). Estudió en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, donde trabajó desde 1966. Desde 1983 vivió en Hungría. Dirigió el Departamento de Matemática de Cálculo de la Universidad «L. Kossuth» de la ciudad de Debrecen. La Academia de Ciencias de Hungría le otorgó el título de Doctor en Ciencias en 1988. Autor de trabajos fundamentales sobre los fundamentos de la teoría de modelos y la teoría de la demostración en la lógica intuicionista, y sobre los métodos constructivos en el análisis no estándar.

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

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

دانلود کتاب Symplectic Geometry and Quantization: Two Symposia on Symplectic Geometry and Quantization Problems July 1993 Japan

دانلود کتاب Functional equations

دانلود کتاب Combinatorial Heuristic Algorithms with FORTRAN

دانلود کتاب The 21st Century Screenplay: A Comprehensive Guide to Writing Tomorrow's Films

دانلود کتاب Conceptualizing Racism: Breaking the Chains of Racially Accommodative Language