دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Fabio Gadducci. Mirko Tavosanis (eds.)
سری: IFIP Advances in Information and Communication Technology 487
ISBN (شابک) : 9783319472867, 9783319472850
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 334
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
کلمات کلیدی مربوط به کتاب تاریخ و فلسفه محاسبات: سومین کنفرانس بین المللی، HaPoC 2015، پیزا، ایتالیا، اکتبر 8-11، 2015، مقالات منتخب تجدید نظر شده: تاریخچه محاسبات، نظریه محاسبات، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، سخت افزار کامپیوتر
در صورت تبدیل فایل کتاب History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تاریخ و فلسفه محاسبات: سومین کنفرانس بین المللی، HaPoC 2015، پیزا، ایتالیا، اکتبر 8-11، 2015، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد مجموعه مقالات داوری پس از کنفرانس سومین کنفرانس بین المللی تاریخ و فلسفه محاسبات است که در پیزا، ایتالیا در اکتبر 2015 برگزار شد. 18 مقاله کامل موجود در این جلد به دقت بررسی و از بین 30 مقاله ارائه شده در کنفرانس. آنها موضوعاتی از تاریخ جهانی محاسبات تا نقش محاسبات در علوم انسانی و هنر را پوشش می دهند.
This volume constitutes the refereed post-conference proceedings of the Third International Conference on the History and Philosophy of Computing, held in Pisa, Italy in October 2015. The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts.
Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence....Pages 3-23
Interactive Spatial Sound Intervention: A Case Study....Pages 24-41
Front Matter....Pages 42-53
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis....Pages 55-55
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei....Pages 57-70
From Close to Distant and Back: How to Read with the Help of Machines....Pages 71-86
Computing, Design, Art: Reflections on an Innovative Moment in History....Pages 87-100
From Cells as Computation to Cells as Apps....Pages 101-115
«Omnia Numerorum Videntur Ratione Formata». A ‘Computable World’ Theory in Early Medieval Philosophy....Pages 116-130
From urelements to Computation....Pages 131-140
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’....Pages 141-155
Frege’s Habilitationsschrift: Magnitude, Number and the Problems of Computability....Pages 156-167
Trente ans ou la Vie d′un scientifique....Pages 168-185
From Information to Perception....Pages 186-202
Several Types of Types in Programming Languages....Pages 203-215
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users....Pages 216-227
Impact of Informatics on Mathematics and Its Teaching....Pages 228-242
Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering....Pages 243-255
The Brain in Silicon: History, and Skepticism....Pages 256-272
The Role of Computers in Visual Art....Pages 273-286
Front Matter....Pages 287-299
In Search of the Roots of Formal Computation....Pages 55-55
Back Matter....Pages 300-320
....Pages 321-321