دانلود کتاب Математическая логика в программировании [Сборник переводов статей]

عنوان فارسی :

دانلود کتاب منطق ریاضی در برنامه نویسی [مجموعه مقالات ترجمه]

عنوان انگلیسی : Mathematical Logic in Programming [Collection of Translation Articles]

Математическая логика в программировании [Сборник переводов статей]

زبان : Russian

موضوع : Mathematics->Logic

نویسندگان : Захарьящев М.В. Янов Ю.И. (ред)

ناشر : Мир

ISBN (شابک) : 5-03-001635-X

تعداد صفحات : 408\408

سال نشر : 1991     ویرایش :

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

قیمت : 8000 تومان

فهرست :



Table of contents :
Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения. Перевод Манциводы А.А. 8
Дополнение переводчика 54
Д. С. Скотт. Области в денотационной семантике. Перевод Воронкова А. А. 56
Дж. Р. Хин дли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод Найдича Д Э. 119
С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Перевод Антимирова В. М. 141
Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод Дегтярёва А. И. 176
Д. Миллер. Логический анализ модулей в логическом программировании. Перевод Воронкова А. А 233
Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. Перевод Антимирова В. М. 274
К. А. Гоуд. Доказательства как описания вычислений. Перевод Воронкова А. А 311
В. М. Антимиров, А. А. Воронков, А. И. Дегтярёв, М. В. Захарьящев, В. С. Проценко. Математическая логика в программировании. Обзор 331




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

دانلود کتاب Dynamic Joga

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

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

دانلود کتاب Quick Reference Dictionary of Eyecare Terminology

دانلود کتاب Men's Health - Total Body Workbook

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

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

دانلود کتاب JavaScript & jQuery: The Missing Manual

دانلود کتاب Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web Frameworks

دانلود کتاب Programming Razor

دانلود کتاب Prolog Programming in Depth

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

دانلود کتاب Prealgebra , Fourth Edition (Available 2011 Titles Enhanced Web Assign)

دانلود کتاب Wavelets and Filter Banks

دانلود کتاب A Path to Combinatorics for Undergraduates: Counting Strategies

دانلود کتاب Introductory Algebra: A Real-World Approach (3rd Edition)

دانلود کتاب Multirate and Wavelet Signal Processing

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

دانلود کتاب Micro Fuel Cells - Principles and Applications

دانلود کتاب Protein-Protein Interactions: A Molecular Cloning Manual, Second Edition

دانلود کتاب Manufacturing Technology Research, Volume 1

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

دانلود کتاب Industrial Sprays and Atomization: Design, Analysis and Applications

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

دانلود کتاب True Christianity

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

دانلود کتاب Mother Teresa: A Biography (Greenwood Biographies)

دانلود کتاب Religions of the World: A Comprehensive Encyclopedia of Beliefs and Practices

دانلود کتاب Buddhism

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

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

دانلود کتاب MAT: Power Practice

دانلود کتاب Mathematics for Teachers: An Interactive Approach for Grade K-8 , Fourth Edition

دانلود کتاب Psychologische Begutachtung im Strafverfahren: Indikationen, Methoden, Qualitätsstandards

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

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

دانلود کتاب Wingless eagle: U.S. Army aviation through World War I

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

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

دانلود کتاب Japan's Total Empire: Manchuria and the Culture of Wartime Imperialism (Twentieth Century Japan: The Emergence of a World Power)

دانلود کتاب US Army Infantry Divisions 1944-45

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

دانلود کتاب Biological Petri Nets - Volume 162 Studies in Health Technology and Informatics

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

دانلود کتاب Tiny Yarn Animals: Amigurumi Friends to Make and Enjoy

دانلود کتاب Edible And Medicinal Plants

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

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

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

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

دانلود کتاب Inventory Control and Management, 2nd Edition

دانلود کتاب What Investors Really Want: Know What Drives Investor Behavior and Make Smarter Financial Decisions

دانلود کتاب Harvard Business Review - April 2010

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

دانلود کتاب The Complete Idiot's Guide to Global Economics

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

دانلود کتاب Learning SQL

دانلود کتاب Method of Discrete Vortices

دانلود کتاب How To Be A Lady Killer - Forbidden Secrets For Guys

کتاب های حقوق

دانلود کتاب McMafia: a journey through the global criminal underworld

دانلود کتاب Law and globalization from below

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

دانلود کتاب Smith and Keenan's Company Law, 14th Edition

دانلود کتاب Great American Lawyers: An Encyclopedia (2 Volumes)

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

دانلود کتاب Sociological Theory (8th Edition)

دانلود کتاب Manufacturing Consent: The Political Economy of the Mass Media

دانلود کتاب The Politics of Inequality in Russia

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

دانلود کتاب Modern American Literature A-G