پیشرفت‌ها در برنامه‌نویسی و محاسبات غیرعددی ۲۰۱۴
Advances in Programming and Non-Numerical Computation 2014

جلد سوم از مجموعه مقالات مدارس تابستانی که توسط آزمایشگاه محاسبات دانشگاه آکسفورد و هیئت نمایندگی مطالعات فوق برنامه برگزار شده، تحت عنوان «پیشرفت‌ها در برنامه‌نویسی و محاسبات غیرعددی» در اختیار شماست. این کتاب، خلاصه‌ای از ۲۷ سخنرانی ارائه شده در مدرسه تابستانی سال ۱۹۶۳ است.

این اثر در دو بخش تنظیم شده و تلاش شده تا نظریه‌های برنامه‌نویسی از کاربردهای آن جدا نگه داشته شوند. بخش نخست با یک مقدمه آغاز می‌شود که شرحی مختصر و تاریخی از توسعه برنامه‌نویسی از زمان اختراع رایانه دیجیتال ارائه می‌دهد. چهار فصل بعدی به بحث درباره نظریه و روش‌های در حال توسعه ارتباط با رایانه، به‌ویژه برای اهداف غیرعددی، می‌پردازند.

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

Advances in Programming and Non-Numerical Computation is the third volume of the Proceedings of Summer Schools organized by the Oxford University Computing Laboratory and the Delegacy for Extra-Mural Studies. The 27 lectures summarized in this volume were from 1963 Summer School. The book is organized two parts, keeping the theories of programming separate from the uses of programs. In the first part, an introduction gives a succinct historical account of the development of programming since the invention of the digital computer, and the other four chapters discuss the theory and the developing practice of methods of communicating with the computer, particularly for non-numerical purposes. The second provides a summary of possible non-numerical work, and more detail on three particular applications, in theorem-proving, game-playing, and learning, and information retrieval. It is hoped that this book provides a suitable introduction for a final year student seeking interesting research possibilities not too closely connected with his undergraduate work. It should also give to the intelligent layman, who is prepared to do some non-trivial reading, ideas about just what a machine can do, how it does it, and some of the methods, and the problems, of making further advances.