آموزش ماشین شگفت انگیز آلن تورینگ

Alan Turing's Wonderful Machine

نکته: آخرین آپدیت رو دریافت میکنید حتی اگر این محتوا بروز نباشد.
نمونه ویدیویی برای نمایش وجود ندارد.
توضیحات دوره: دیدگاه یک برنامه نویس در مورد مقاله شکن آلن تورینگ "در مورد اعداد قابل محاسبه با استفاده از نرم افزار Entscheidungsproblem". "در مورد اعداد قابل محاسبه ..." پایه و اساس آنچه را که امروز تئوری محاسبه می نامیم می باشد. تورینگ اشاره می کند که توالی صفر و یک توالی وجود دارد که هیچ کامپیوتری نمی تواند تولید کند. وی همچنین یکی از مشکلات برجسته منطق رسمی در آن زمان ، مسئله تصمیم گیری یا Endtscheidungsproblem را شکست. این دوره از نظر برنامه نویس ، نه یک ریاضیدان است.

سرفصل ها و درس ها

در مورد اعداد قابل محاسبه ... On Computable Numbers...

  • بررسی اجمالی Overview

  • اعداد واقعی و مساله Entscheidungsproblem Real Numbers and the Entscheidungsproblem

  • ماشین محاسبات اتوماتیک Automatic Computing Machine

  • در حال گسترش دنباله 1 Expanding 1's Sequence

  • جهانی ماشین محاسبات Universal Computing Machine

1 ÷ 3 1 ÷ 3

  • مقدمه Introduction

  • کامپیوتر انسان Human Computer

  • خلاصه Summary

ماشین محاسبات اتوماتیک Automatic Computing Machine

  • اجزای مکانیکی Mechanical Components

  • نمادها Symbols

  • نوار Tape

  • خلاصه Summary

حالات ذهن States of Mind

  • مدل های حالت ذهن States of Mind Model

  • مدل در حال اجرا Running Model

  • نحو Syntax

جهانی ماشین محاسبات Universal Computing Machine

  • جهانی رایانه و شمارش Universal Computer and Enumeration

  • نمادها و مجموعه دستورالعمل ها Symbols and Instruction Set

  • توابع و کتابخانه ها Functions and Libraries

  • جداول و ترکیبات اسکلت Skeleton Tables and Composition

اثبات Proofs

  • شمارش و اعداد واقعی Enumeration and Real Numbers

  • استدلال مورب Diagonal Argument

  • بخشنامه و بدون دایره Circular vs. Circle-free

  • Entscheidungsproblem Entscheidungsproblem

  • خلاصه Summary

نمایش نظرات

آموزش ماشین شگفت انگیز آلن تورینگ
جزییات دوره
2h 20m
24
Pluralsight (پلورال سایت) Pluralsight (پلورال سایت)
(آخرین آپدیت)
55
4.5 از 5
دارد
دارد
دارد
Dan Sullivan
جهت دریافت آخرین اخبار و آپدیت ها در کانال تلگرام عضو شوید.

Google Chrome Browser

Internet Download Manager

Pot Player

Winrar

Dan Sullivan Dan Sullivan

معمار سازمانی ، کارشناس بزرگ داده دان سالیوان ، دکترای علوم ، یک معمار سازمانی و متخصص داده های بزرگ است.

دان متخصص در معماری داده ، تجزیه و تحلیل ، داده کاوی ، آمار ، مدل سازی داده ها ، داده های بزرگ و رایانش ابری است. علاوه بر این ، او دارای دکترای ژنتیک ، بیوانفورماتیک و زیست محاسباتی است. Dan به طور منظم با Spark ، Oracle ، NoSQL ، MongoDB ، Redis ، R و Python کار می کند. وی تجربه نوشتن گسترده ای در موضوعاتی از جمله رایانش ابری ، داده های بزرگ ، Hadoop و امنیت دارد.