Pluralsight_Alan_Turings_Wonderful_Machine

برای این نوشته توضیحات بنویسید:
1
2
3
4
5
ثبت
     
انصراف

برای این نوشته توضیحات بنویسید

ماشین تورینگ (Turing machine) یک دستگاه فرضی است که روی نشان‌های روی یک قطعه نوار بر اساس جدول قوانین دست‌کاری انجام می‌دهد. با وجود اینکه مکانیزم ماشین تورینگ مقدماتی است، مفهومش برای پوشش عملکردهای بسیار پیچیده کافی و گسترده‌است. ماشین تورینگ می‌تواند برای شبیه‌سازی هر الگوریتم کامپیوتری و توضیح نحوه عملکرد یک واحد پردازشگر مرکزی به کار آید.

در این آموزش تصویری با ماشین تورینگ آشنا می شوید.

این دوره آموزشی محصول موسسه Pluralsight است.

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

  • بررسی برنامه
  • نحوه محاسبه اعداد
  • کار با اعداد حقیقی
  • ماشین محاسبه خودکار
  • نحوه اجرالی دستورات به صورت متوالی
  • ساخت ماشین محاسبات جهانی
  • کار با قطعات مکانیکی
  • نحوه علامت گذاری داده ها
  • کار با داده های شمارشی
  • ساخت نمادها
  • کار با توابع
  • نحوه ساخت جداول
  • نحوه اثبات نتایج
  • کار با اعداد اعشاری
  • و…

عنوان دوره: Pluralsight Alan Turings Wonderful Machine

سطح: مقدماتی

مدت زمان: 2 ساعت و 20 دقیقه

نویسنده: Dan Sullivan


توضیحات:

Pluralsight Alan Turings Wonderful Machine

Dan Sullivan
Beginner
2h 20m

A programmers view of Alan Turings ground breaking paper On Computable Numbers with an Applications to the Entscheidungsproblem.
On Computable Numbers... lays out the foundation of what today we call the theory of computation. Turing points out that there are sequences of zeros and ones that no computer can generate. He also cracked one of the outstanding problems in formal logic at the time, the Endtscheidungsproblem, or decision problem. This course from the point of view of programmer, not a mathematician.

On Computable Numbers...
26m 27s
Overview
5m 30s
Real Numbers and the Entscheidungsproblem
5m 46s
Automatic Computing Machine
4m 48s
Expanding 1's Sequence
4m 30s
Universal Computing Machine
5m 51s
1 ' 3
12m 12s
Introduction
3m 12s
Human Computer
6m 57s
Summary
2m 2s
Automatic Computing Machine
22m 46s
Mechanical Components
6m 13s
Symbols
4m 51s
Tape
4m 27s
Summary
7m 13s
States of Mind
16m 48s
States of Mind Model
7m 36s
Running Model
4m 33s
Syntax
4m 39s
Universal Computing Machine
40m 25s
Universal Computer and Enumeration
10m 5s
Symbols and Instruction Set
12m 6s
Functions and Libraries
6m 44s
Skeleton Tables and Composition
11m 29s
Proofs
21m 33s
Enumeration and Real Numbers
4m 29s
Diagonal Argument
6m 32s
Circular vs. Circle-free
5m 45s
Entscheidungsproblem
1m 53s
Summary
2m 51s