نکته:
آخرین آپدیت رو دریافت میکنید حتی اگر این محتوا بروز نباشد.
نمونه ویدیویی برای نمایش وجود ندارد.
توضیحات دوره:
دیدگاه یک برنامه نویس در مورد مقاله شکن آلن تورینگ "در مورد اعداد قابل محاسبه با استفاده از نرم افزار 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
نمایش نظرات