ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

دانلود کتاب مبانی نظری روش شناسی برنامه نویسی: یادداشت های سخنرانی یک مدرسه بین المللی تابستانی ، به کارگردانی F. L. Bauer ، E. W. Dijkstra و C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

مشخصات کتاب

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

ویرایش: 1 
نویسندگان: , ,   
سری: NATO Advanced Study Institutes Series 91 series C - mathematical and physical sciences 
ISBN (شابک) : 9789027714626, 9789027714602 
ناشر: Springer Netherlands 
سال نشر: 1982 
تعداد صفحات: 655 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 41,000



کلمات کلیدی مربوط به کتاب مبانی نظری روش شناسی برنامه نویسی: یادداشت های سخنرانی یک مدرسه بین المللی تابستانی ، به کارگردانی F. L. Bauer ، E. W. Dijkstra و C. A. R. Hoare: ریاضیات عمومی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی نظری روش شناسی برنامه نویسی: یادداشت های سخنرانی یک مدرسه بین المللی تابستانی ، به کارگردانی F. L. Bauer ، E. W. Dijkstra و C. A. R. Hoare نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی نظری روش شناسی برنامه نویسی: یادداشت های سخنرانی یک مدرسه بین المللی تابستانی ، به کارگردانی F. L. Bauer ، E. W. Dijkstra و C. A. R. Hoare

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


توضیحاتی درمورد کتاب به خارجی

Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok­ smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri­ al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru­ dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods; yet they worked effeotively by themselves or in small teams to oomplete their tasks at a predioted oost~ to a fairly well predioted timesoale~ and usually to the satisfaotion of their olients. The programmer of today shares many of these attributes of a oraftsman. He learns his oraft by apprentioeship in an existing team of programmers - but his apprentiaeship is highZy paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory~ or even read books on Computer Soience. He knows nothing of the logical and mathematical founda­ tions of his profession; and he hates to explain or justifY~ or even to dooument what he has done



فهرست مطالب

Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Smoothsort, an Alternative for Sorting in Situ....Pages 3-17
Lambek and Moser Revisited....Pages 19-23
A General Axiom of Assignment....Pages 25-34
Assignment and Linked Data Structures....Pages 35-41
A Proof of the Schorr-Waite Algorithm....Pages 43-51
Verification of Sequential Programs: Temporal Axiomatization....Pages 53-102
Specification and Derivation of Programs....Pages 103-133
Repaying Our Debts....Pages 135-141
Front Matter....Pages 143-143
Lectures on a Mathematical Theory of Computation....Pages 145-292
Semantic Models....Pages 293-325
Front Matter....Pages 327-327
Algebras, Theories and Freeness: An Introduction for Computer Scientists....Pages 329-349
An Analysis of Semantic Models for Algebraic Specifications....Pages 351-413
Front Matter....Pages 415-415
Fundamental Properties of Infinite Trees....Pages 417-471
Behaviors of Processes and Synchronized Systems of Processes....Pages 473-551
Front Matter....Pages 553-553
A Tutorial on the Split Binary Semaphore....Pages 555-564
A Fixed Point Approach to Applicative Multiprogramming....Pages 565-623
Discrete Event Simulation Based on Communicating Sequential Processes....Pages 625-642
Structure of an Operating System....Pages 643-658




نظرات کاربران