توضیحات
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion.
The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of formal methods and the development of `grand designs like Unix. Finally, a third part considers several issues related to programming systems in the real world, including chapters on aesthetical, ethical and political issues.
This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically the role of programming systems in the foundations of computing.
————————————————————–
ترجمه ماشینی :
این کتاب یک تحلیل تاریخی و فلسفی از سیستم های برنامه نویسی ارائه می دهد ، که به عنوان سیستم های محاسباتی بزرگی مانند ، به عنوان مثال ، سیستم های عامل ، برای کنترل فرآیندها برنامه ریزی شده است. مقدمه این جلد بر نیاز معاصر برای ارائه یک تحلیل بنیادی از چنین سیستمهایی تأکید دارد ، که ریشه در یک بحث گسترده تر تاریخی و فلسفی دارد.
فصل های مختلف در حدود سه موضوع اصلی گروه بندی می شوند. اولین مورد مربوط به تاریخ اولیه سیستم های بزرگ است که در برابر پیشینه موضوعات مربوط به شکاف معنایی رو به رشد بین سخت افزار و کد ایجاد شده است. دومین مسئله اساسی پیچیدگی سیستم های بزرگ است که با استفاده از روشهای رسمی و توسعه طرح های بزرگ مانند یونیکس به آن پرداخته شده است. سرانجام ، بخش سوم چندین موضوع مربوط به سیستم های برنامه نویسی در دنیای واقعی را در نظر می گیرد ، از جمله فصل هایی در مورد موضوعات زیبایی شناسی ، اخلاقی و سیاسی. این مورد برای مورخان ، فیلسوفان ، و همچنین منطقیان و دانشمندان رایانه ای که می خواهند با موضوعات مرتبط با تاریخ و فلسفه برنامه نویسی و به طور خاص نقش سیستم های برنامه نویسی در مبانی محاسبات درگیر شوند ، جذاب خواهد بود.
tag : دانلود کتاب بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی , Download بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی , دانلود بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی , Download Reflections on Programming Systems: Historical and Philosophical Aspects Book , بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی دانلود , buy بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی , خرید کتاب بازتاب در سیستم های برنامه نویسی: جنبه های تاریخی و فلسفی , دانلود کتاب Reflections on Programming Systems: Historical and Philosophical Aspects , کتاب Reflections on Programming Systems: Historical and Philosophical Aspects , دانلود Reflections on Programming Systems: Historical and Philosophical Aspects , خرید Reflections on Programming Systems: Historical and Philosophical Aspects , خرید کتاب Reflections on Programming Systems: Historical and Philosophical Aspects ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.