دانلود کتاب Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979

عنوان فارسی :

دانلود کتاب الگوریتم در ریاضیات و علوم کامپیوتر مدرن: مقالات، Urgench، SSR ازبکستان 16-22 سپتامبر 1979

عنوان انگلیسی :

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979

زبان : English

موضوع : Mathematics->Discrete Mathematics

نویسندگان : Prof. Dr. Heinz Zemanek (auth.) Andrei P. Ershov Donald E. Knuth (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

ISBN (شابک) : 9780387111575, 0387111573, 3540111573, 9783540111573

تعداد صفحات : 490\498

سال نشر : 1981     ویرایش : 1

حجم : 7 MB       فرمت : djvu

قیمت : 4000 تومان

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

خلاصه کتاب به زبان اصلی :

فهرست :



Table of contents :
Al-khorezmi his background, his personality his work and his influence....Pages 1-81
Algorithms in modern mathematics and computer science....Pages 82-99
What are the gains of the theory of algorithms....Pages 100-234
On inductive synthesis of programs....Pages 235-254
Expanding constructive universes....Pages 255-260
The logical approach to programming....Pages 261-289
The structural synthesis of programs....Pages 290-303
On finding invariant relations of program....Pages 304-314
What can we do with problems of exhaustive search?....Pages 315-342
The algorithmic complexity of linear algebras....Pages 343-354
Algorithms in various contexts....Pages 355-360
Role of a notion of algorithm in the arithmetic language semantics....Pages 361-389
From logicism to proceduralism (an autobiographical account)....Pages 390-396
Abstract computability on algebraic structures....Pages 397-420
Algorithms and algebra....Pages 421-429
On formal transformations of algorithms....Pages 430-440
What should we do having proved a decision problem to be unsolvable?....Pages 441-443
On the experience of riding two horses in programming....Pages 444-448
Church-rosser transformers and decidable propertis of tree processing....Pages 449-457
Supplement 1 summaries of oral presentations....Pages 458-465
Supplement 2 technical program....Pages 466-469
Supplement 3 publications on the symposium....Pages 470-473
List of participants....Pages 474-476
Supplement 5 photoillustrations....Pages 477-487




کتاب های پزشکی

دانلود کتاب Basic clinical neuroscience

دانلود کتاب Röntgenanatomie. Radiological Anatomy. Anatomie Radiologique: Prufungsfragen Fur Die Facharztprufung / Multiple Choice Questions /Qcm

دانلود کتاب Repetitorium Schmerztherapie: Zur Vorbereitung auf die Prüfung "Spezielle Schmerztherapie"

دانلود کتاب Drugs for Pregnant and Lactating Women, Second Edition: Expert Consult - Online and Print

دانلود کتاب Casarett and Doull's toxicology: the basic science of poisons Sixth Edition

کتاب های کامپیوتر

دانلود کتاب Smalltalk, Objects and Design

دانلود کتاب The Cambridge Handbook of Intelligence

دانلود کتاب IMAGE SEGMENTATION

دانلود کتاب HTML5: The Missing Manual (Missing Manuals)

دانلود کتاب Programming Reactive Extensions and Linq

کتاب های ریاضی

دانلود کتاب The Probabilistic Method (Third edition)

دانلود کتاب Decisions and Elections: Explaining the Unexpected

دانلود کتاب 475th Fighter Group

دانلود کتاب Industrial Control Systems: Advances and Applications, First Edition (Repost)

دانلود کتاب Confound & Destroy: 100 Group and the Bomber Support Campaign

کتاب های تکنولوژی

دانلود کتاب Protein-Protein Interactions: Methods and Applications

دانلود کتاب Gear Motor Handbook

دانلود کتاب Protein Folding Protocols

دانلود کتاب Composite Materials in Aerospace Design

دانلود کتاب Welding and Joining of Magnesium Alloys (Woodhead Publishing in Materials)

کتاب های مذهبی

دانلود کتاب Systematic Theology: An Introduction to Biblical Doctrine

دانلود کتاب Religion and Society in Roman Palestine: Old Questions, New Approaches

دانلود کتاب New Testament Introduction

دانلود کتاب Augustine (Blackwell Great Minds)

دانلود کتاب Can God Be Free?

کتاب های فیزیولوژی

دانلود کتاب The Little Blue Reasoning Book: 50 Powerful Principles for Clear and Effective Thinking

دانلود کتاب Coole Sex Tipps

دانلود کتاب The Body Myth: Adult Women and the Pressure to be Perfect

دانلود کتاب Statistics without maths for psychology

دانلود کتاب How to Motivate Reluctant Learners (Mastering the Principles of Great Teaching Series)

کتاب های تاریخی

دانلود کتاب Vintage Aircraft Nose Art Card Set

دانلود کتاب Splendeur des Uniformes de Napoléon: Infanterie et Régiments étrangers

دانلود کتاب Warfare in the Seventeenth Century

دانلود کتاب ЕГЭ-2009. История. Тренировочный персональный комплект экзаменационных материалов

دانلود کتاب PZL Mil Mi-2

کتاب های زیست شناسی

دانلود کتاب Discovery and Explanation in Biology and Medicine (Science and Its Conceptual Foundations series)

دانلود کتاب Botanical Medicine: From Bench to Bedside

دانلود کتاب Hormones and Reproduction of Vertebrates - Volume 5: Mammals

دانلود کتاب Human Body

دانلود کتاب Bitwy i Kampanie 09-Duchy Dzungli-Walki na Nowej Gwinei 1942-45

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

دانلود کتاب Design and Equipment for Restaurants and Foodservice

دانلود کتاب The Economist - 20 January 2001

دانلود کتاب Enterprise Risk Management Best Practices: From Assessment to Ongoing Compliance (Wiley Corporate F&A)

دانلود کتاب Analog Integrated Circuits-Power management Signal conditioning and ASSP

دانلود کتاب Management Accounting

کتاب های آموزشی

دانلود کتاب How to Draw Manga: Giant Robots

دانلود کتاب Ester Formation and Hydrolysis and Related Reactions

دانلود کتاب The Gale Encyclopedia of the Unusual and Unexplained

دانلود کتاب Planning in the USA: Policies, Issues and Processes

دانلود کتاب Financial Simulation Modeling in Excel, + Website: A Step-by-Step Guide

کتاب های حقوق

دانلود کتاب Perspectives on labour law

دانلود کتاب American Frontier Lawmen 1850 -1930

دانلود کتاب Encyclopedia of War Crimes And Genocide (Facts on File Library of World History)

دانلود کتاب Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers

دانلود کتاب Atiyah's accidents, compensation and the law

کتاب های علوم انسانی

دانلود کتاب Human Societies: An Introduction to Macrosociology, Eleventh Edition

دانلود کتاب Postmodernism, or, The cultural logic of late capitalism

دانلود کتاب Exporting American Architecture 1870-2000

دانلود کتاب Civic Talk: Peers, Politics, and the Future of Democracy (Social Logic of Politics)

دانلود کتاب Children's Folklore: A Source Book