عنوان
پدید آورنده
موضوع
رده
QA76.76.R44 M36 2001
QA76
.
76
.
R44
M36
2001
کتابخانه
محل استقرار
شابک
شابک
0262133938 (HC : alk. paper)
شابک
0262632950 (pbk.)
شابک
9780262133937 (HC : alk. paper)
شابک
9780262632959 (pbk.)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Mechanizing proof :
نام عام مواد
[Book]
ساير اطلاعات عنواني
computing, risk, and trust /
نام نخستين پديدآور
Donald MacKenzie.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge, Mass. :
نام ناشر، پخش کننده و غيره
MIT Press,
تاریخ نشرو بخش و غیره
c2001.
مشخصات ظاهری
نام خاص و کميت اثر
xi, 427 p. :
ساير جزييات
ill. ;
ابعاد
24 cm.
فروست
عنوان فروست
Inside technology
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. [335]-418) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Knowing Computers -- 2. Boardwalks across the Tar Pit -- 3. Artificial Mathematicians? -- 4. Eden Defiled -- 5. Covert Channels -- 6. Social Processes and Category Mistakes -- 7. Clocks and Chips -- 8. Logics, Machines, and Trust -- 9. Machines, Proofs, and Cultures.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Most aspects of our private and social lives now depend on computing. But how can we know that this computing is trustworthy? In 'Mechanizing Proof', Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems-- Reliability.
موضوع مستند نشده
Computers and civilization.
رده بندی کنگره
شماره رده
QA76
.
76
.
R44
نشانه اثر
M36
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
MacKenzie, Donald A.
مبدا اصلی
تاريخ عمليات
20140220092416.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
