مشخصات کتاب

Problems in set theory, mathematical logic and the theory of algorithms

ویرایش:  
نویسندگان: I  A Lavrov,  L  L Maksimova,  Giovanna Corsi   
سری: University series in mathematics (Plenum Press) 
ISBN (شابک) : 0306477122, 9780306477126 
ناشر: Kluwer Academic/Plenum Publishers 
سال نشر: 2003 
تعداد صفحات: 293 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Problems in set theory, mathematical logic and the theory of algorithms به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مشکلات در تئوری مجموعه ، منطق ریاضی و نظریه الگوریتم ها

این کتاب مقدمه ای سیستماتیک در زمینه واکنش های کاتالیز شده توسط آنزیم ارائه می دهد. محتوا از تک سوبسترا به دو سوبسترا به واکنش‌های سه‌سوبسترا توسعه می‌یابد که با معادلات نرخ غیرهذلولی و اثرات آلوستریک و مشارکتی به پایان می‌رسد. از آنجایی که این موضوع را به گونه‌ای ترسیم می‌کند که از مدل‌های جنبشی کم‌تر پیچیده‌تر به مدل‌های سخت‌تر بسازد، می‌تواند به عنوان یک کتاب درسی برای دانشجویان بیوشیمی و زیست‌شناسی مولکولی استفاده شود. نویسنده بر اهمیت نمایش گرافیکی مدل‌های جنبشی با استفاده مکرر از چنین مدل‌های ریاضی در قالب نمودارهای دوطرفه متقابل تأکید می‌کند. علاوه بر این، توجه ویژه ای به مطالعات تبادل ایزوتوپ، اثرات ایزوتوپ جنبشی، و ارزیابی آماری نرخ اولیه و داده های اتصال لیگاند پیشگفتار شده است. من: مشکلات 1. نظریه مجموعه ها. 1.1. عملیات روی مجموعه ها 1.2. روابط و کارکردها. 1.3. روابط باینری ویژه 1.4. اعداد کاردینال. 1.5. اعداد ترتیبی. 1.6. عملیات روی اعداد اصلی 2: جبر. 2.1. جبر قضایا. 2.2. توابع حقیقت 2.3. محاسبات گزاره ای 2.4. زبان منطق محمول. 2.5. رضایتمندی فرمول های محمول. 2.6. محاسبات محمول. 2.7. نظریه های بدیهی. 2.8. محصولات کاهش یافته است. 2.9. کلاس های بدیهی. 3: نظریه الگوریتم ها. 3.1. توابع بازگشتی جزئی 3.2. ماشین های تورینگ 3.3. مجموعه های بازگشتی و بازگشتی قابل شمارش. 3.4. شماره گذاری کلین و پست دوم: راه حل ها 1. نظریه مجموعه ها. 1.1. عملیات روی مجموعه ها 1.2. روابط و کارکردها 1.3. روابط باینری ویژه 1.4. اعداد کاردینال. 1.5. اعداد ترتیبی. 1.6. عملیات روی اعداد اصلی 2. منطق ریاضی. 2.1. جبر قضایا. 2.2. توابع حقیقت 2.3. محاسبات گزاره ای 2.4. زبان منطق محمول. 2.5. رضایتمندی فرمول های محمول. 2.6. محاسبات محمول. 2.7. نظریه های بدیهی. 2.8. محصولات کاهش یافته است. 2.9. کلاس های بدیهی. 3: نظریه الگوریتم ها. 3.1. توابع بازگشتی جزئی 3.2. ماشین های تورینگ 3.3. مجموعه های بازگشتی و بازگشتی قابل شمارش. 3.4. شماره گذاری کلین و پست منابع. فهرست مطالب

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

This book provides a systematic introduction to the field of enzyme-catalyzed reactions. The content develops from monosubstrate to bisubstrate to trisubstrate reactions, concluding with nonhyperbolic rate equations and allosteric and cooperative effects. Because it outlines the subject in such a way that it builds from less complicated to more demanding kinetic models, it can be used as a textbook for students of biochemistry and molecular biology. The author stresses the importance of graphical representation of kinetic models by frequent use of such mathematical models in the form of double-reciprocal plots. In addition, special attention is paid to isotope exchange studies, kinetic isotope effects, and the statistical evaluation of initial rate and ligand binding data Preface. I: Problems. 1. Set theory. 1.1. Operations on sets. 1.2. Relations and functions. 1.3. Special binary relations. 1.4. Cardinal numbers. 1.5. Ordinal numbers. 1.6. Operations on cardinal numbers. 2: Algebra. 2.1. Algebra of propositions. 2.2. Truth functions. 2.3. Propositional calculi. 2.4. The language of predicate logic. 2.5. Satisfiability of predicate formulas. 2.6. Predicate calculi. 2.7. Axiomatic theories. 2.8. Reduced products. 2.9. Axiomatizable classes. 3: Theory of algorithms. 3.1. Partial recursive functions. 3.2. Turing machines. 3.3. Recursive and recursively enumerable sets. 3.4. Kleene and Post numberings. II: Solutions. 1. Set theory. 1.1. Operations on sets. 1.2. Relations and functions. 1.3. Special binary relations. 1.4. Cardinal numbers. 1.5. Ordinal numbers. 1.6. Operations on cardinal numbers. 2. Mathematical logic. 2.1. Algebra of propositions. 2.2. Truth functions. 2.3. Propositional calculi. 2.4. The language of predicate logic. 2.5. Satisfiability of predicate formulas. 2.6. Predicate calculi. 2.7. Axiomatic theories. 2.8. Reduced products. 2.9. Axiomatizable classes. 3: Theory of algorithms. 3.1. Partial recursive functions. 3.2. Turing machines. 3.3. Recursive and recursively enumerable sets. 3.4. Kleene and Post numberings. References. Index

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

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

دانلود کتاب Qt5 C++ GUI Programming Cookbook: Practical recipes for building cross-platform GUI applications, widgets, and animations with Qt 5, 2nd Edition

دانلود کتاب Love, Freedom, and Evil: Does Authentic Love Require Free Will?

دانلود کتاب God of the Prophets: An Analysis of Divine Action

دانلود کتاب Barkácsoljunk Karácsonyra

دانلود کتاب Il cardillo addolorato