A Science of Operations: Machines, Logic and the Invention of Programming

امروزه رایانه‌ها مجموعه‌ای خیره‌کننده از نقش‌ها را ایفا می‌کنند، انعطاف‌پذیری ناشی از طیف وسیعی از برنامه‌هایکه می‌توان روی آنها اجرا کرد.

یک علم عملیات تاریخچه چیزی را که ما اکنون برنامه نویسی می نامیم بررسی می کند، که نه صرفاً به عنوان برنامه نویسی رایانه، بلکه به طور گسترده تر به عنوان تعریف مراحل درگیر در محاسبات تعریف می شود. و سایر فعالیت های پردازش اطلاعات این دیدگاه منحصر به فرد نشان می دهد که چگونه تاریخ برنامه نویسی از تاریخ کامپیوتر متمایز است، علیرغم رابطه نزدیک بین این دو در قرن 20^th. این کتاب همچنین چگونگی ارتباط توسعه زبان‌های برنامه‌نویسی را با زمینه‌های متفاوتی که سعی می‌کردند از یک طرف یک توضیح مکانیکی از زبان و از طرف دیگر یک حساب زبانی از ماشین‌ها ارائه کنند، مرتبط است.

< /b>

موضوعات و ویژگی ها:

• توسعه اولیه محاسبات خودکار، از جمله "مکانیکی" بابیج را پوشش می دهد. موتورهای محاسباتی» و کاربردهای فناوری کارت پانچ
• کار نظری منطق‌دانان ریاضی مانند کلین، چرچ، پست و تورینگ و ماشین‌های ساخته شده توسط زوزه و آیکن در دهه‌های 1930 و 1940 را بررسی می‌کند. li>
• نقشی را که منطق در توسعه رایانه برنامه ذخیره شده ایفا کرد بحث می کند
• «مدل استاندارد» برنامه نویسی کد ماشینی را که توسط موریس ویلکس رایج شده است، تشریح می کند
• ارائه می کند جدول کامل ماشین تورینگ جهانی در ضمائم
• به بررسی ظهور ابتکاراتی با هدف توسعه نمادهای برنامه نویسی سطح بالاتر می پردازد و اینکه چگونه اینها به عنوان "زبان هایی" در نظر گرفته می شوند که می توانند مستقل از آنها مطالعه شوند. یک ماشین
• اهمیت زبان Algol 60 را بررسی می کند و چارچوبی را که برای مطالعه طراحی زبان های برنامه نویسی و فرآیند توسعه نرم افزار ارائه کرده است
• توسعه اولیه شیء را بررسی می کند. زبان‌های oriented، با تمرکز بر پروژه Smalltalk

این متن جذاب دیدگاه جدیدی را برای مورخان علم و فناوری و همچنین برای خوانندگان عمومی ارائه می‌دهد. روایت تاریخی، داستان را به شیوه ای روشن و منطقی، تقریباً به ترتیب زمانی می سازد.

Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programsthat can be run on them.

A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the steps involved in computations and other information-processing activities. This unique perspective highlights how the history of programming is distinct from the history of the computer, despite the close relationship between the two in the 20^th century. The book also discusses how the development of programming languages is related to disparate fields which attempted to give a mechanical account of language on the one hand, and a linguistic account of machines on the other.

Topics and features:

• Covers the early development of automatic computing, including Babbage’s “mechanical calculating engines” and the applications of punched-card technology
• Examines the theoretical work of mathematical logicians such as Kleene, Church, Post and Turing, and the machines built by Zuse and Aiken in the 1930s and 1940s
• Discusses the role that logic played in the development of the stored program computer
• Describes the “standard model” of machine-code programming popularised by Maurice Wilkes
• Presents the complete table for the universal Turing machine in the Appendices
• Investigates the rise of the initiatives aimed at developing higher-level programming notations, and how these came to be thought of as ‘languages’ that could be studied independently of a machine
• Examines the importance of the Algol 60 language, and the framework it provided for studying the design of programming languages and the process of software development
• Explores the early development of object-oriented languages, with a focus on the Smalltalk project

This fascinating text offers a new viewpoint for historians of science and technology, as well as for the general reader. The historical narrative builds the story in a clear and logical fashion, roughly following chronological order.