دانلود کتاب 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

قیمت : 20000 تومان

فهرست :



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





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

دانلود کتاب Parkinson's Disease

دانلود کتاب Fundamentals of Nursing: Standards & Practice, 4th Edition

دانلود کتاب Rationelle Diagnostik und Therapie bei Herzinsuffizienz

دانلود کتاب Kognitive Verhaltenstherapie bei Hypochondrie und Krankheitsangst

دانلود کتاب Sexualstörungen: Ursachen Diagnose Therapie

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

دانلود کتاب wxPython 2.8 Application Development Cookbook

دانلود کتاب Programming with C++

دانلود کتاب HTML5 Guidelines for Web Developers

دانلود کتاب IPhone and IPad Web Design For Dummies

دانلود کتاب Real-Time Concepts for Embedded Systems

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

دانلود کتاب Surveys in Stochastic Processes (EMS Series of Congress Reports)

دانلود کتاب Probability, Statistics, and Random Processes For Electrical Engineering, 3rd Edition

دانلود کتاب Linear and Nonlinear Integral Equations: Methods and Applications

دانلود کتاب Advanced Engineering Mathematics, 10th Edition

دانلود کتاب Advances in Boundary Element Techniques

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

دانلود کتاب Nanoscale Multifunctional Materials: Science & Applications

دانلود کتاب Popular Woodworking - Complete Book of Tips, Tricks & Techniques

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

دانلود کتاب Lipid Nanocarriers in Cancer Diagnosis and Therapy

دانلود کتاب Composite Reinforcements for Optimum Performance

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

دانلود کتاب Three Views on the Rapture: Pre; Mid; Or Post-Tribulation (Counterpoints)

دانلود کتاب Old Testament Theology: 1 (Old Testament Library)

دانلود کتاب Renewal Theology: The Church, the Kingdom, and Last Things: 003

دانلود کتاب Heart of Islam, The: Enduring Values for Humanity

دانلود کتاب The Birth of Satan: Tracing the Devil's Biblical Roots: Turning the Devil's Biblical Roots

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

دانلود کتاب Psychologie und Psychotherapie für Schule und Studium: Ein praxisbezogenes Wörterbuch

دانلود کتاب Stalking, Threatening, and Attacking Public Figures: A Psychological and Behavioral Analysis

دانلود کتاب Medizinische Psychologie und Soziologie

دانلود کتاب Feminist Stylistics

دانلود کتاب Kama Sutra 365

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

دانلود کتاب Supermarine Spitfire Mk.IX

دانلود کتاب Wehrmacht auxiliary forces

دانلود کتاب Sukhoi Su-7/-17/-20/-22

دانلود کتاب The Second World War, Volume 2: Their Finest Hour

دانلود کتاب The Jeune Ecole: The Strategy of the Weak

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

دانلود کتاب God's Healing Leaves

دانلود کتاب Apoptosis: Physiology and Pathology

دانلود کتاب Recent Advances in Human Retroviruses: Principles of Replication and Pathogenesis - Advances in Retroviral Research

دانلود کتاب Microbial Ecology

دانلود کتاب Non-marine algae of Africa. A bibliography (1799-2010).

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

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

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

دانلود کتاب

دانلود کتاب OP-Management: praktisch und effizient

دانلود کتاب The Economist - 17 February 2001

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

دانلود کتاب Pond & River (DK Eyewitness Books)

دانلود کتاب Innovations in Hospice Architecture

دانلود کتاب Innovation in Architecture: A Path to the Future

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

دانلود کتاب Roman Urbanism: Beyond the Consumer City

کتاب های حقوق

دانلود کتاب Darfur and the crime of genocide

دانلود کتاب Lawrence and the Arab Revolts

دانلود کتاب From Nuremberg to The Hague: The Future of International Criminal Justice

دانلود کتاب White Collar Crime: An Opportunity Perspective

دانلود کتاب Denial of justice in international law

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

دانلود کتاب A Concise Introduction to Logic (Ninth Edition)

دانلود کتاب Analysing Muslim Traditions (Islamic History and Civilization)

دانلود کتاب The paradox of choice: why more is less

دانلود کتاب Geopolitics: A Guide to the Issues (Contemporary Military, Strategic, and Security Issues)

دانلود کتاب Cultures and Organizations: Software for the Mind, Third Edition