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

Alan Turing's Wonderful Machine

Video Player is loading.
Current Time 0:00
Duration 0:00
Loaded: 0%
Stream Type LIVE
Remaining Time 0:00
 
1x
    • Chapters
    • descriptions off, selected
    • subtitles off, selected
      نکته: آخرین آپدیت رو دریافت میکنید حتی اگر این محتوا بروز نباشد.
      نمونه ویدیویی برای نمایش وجود ندارد.
      توضیحات دوره: دیدگاه یک برنامه نویس در مورد مقاله شکن آلن تورینگ "در مورد اعداد قابل محاسبه با استفاده از نرم افزار 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 و امنیت دارد.