Алан Тюрінг Література
Результати пошуку для «Алан Тюрінг Література» — Вікіпедія
Ви можете створити сторінку «Алан+Тюрінг+Література» у Вікіпедії або подати на неї запит (сторінки, що починаються з цієї назви | посилання на цю назву)
|рід діяльності= |вчене звання= |науковий ступінь= Алан Ма́тісон Тю́рінг (англ. Alan Mathison Turing; 23 червня 1912, Мейда-Вейл, Вестмінстер, Великий...
Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму. Названа на честь англійського математика Алана Тюрінга...
Криптономікон (категорія Зображення Алана Тюрінга в масовій культурі)вік». В ній зустрічаються художні версії таких історичних персон як Алан Тюрінг, Альберт Ейнштейн, Дуглас Макартур, Вінстон Черчилль, Ісороку Ямамото...
C & C Prize (2001) Премія Тюрінга (2003) Премія Кіото (2004) Премія Чарльза Старка Дрейпера (2004) Леонид Черняк, «Алан Кей: Из гитаристов в пророки»...- Тюрінгівська трясовина (перенаправлення з Смоляна яма Тюрінга)Тюрінгівська трясовина — жаргонна загальна назва для мов програмування, які Тюрінг-повні, але мають украй примітивний синтаксис і семантику. Вони незручні...
Алгоритм (розділ Машина Тюрінга)1936 р., «Формулювання 1» Еміля Поста 1936 року та машина Тюрінга, яку розробив Алан Тюрінг протягом 1936, 1937 та 1939 років. В методології алгоритм...- активно обговорюється. Моделі більш потужні, ніж машина Тюрінга, були введені Аланом Тюрінгом в його роботі 1939 року Системи логік, засновані на ординалах[en]...
- драматург і сценарист, видатний представник французької літератури XX століття. 1912 — Алан Тюрінг, британський математик, логік і криптограф 1929 — Тед...
- Теорія складності обчислень (розділ Література)часом, є обчислювально складними навіть за відносно малими значеннями n. Алан Тюрінг довів, що деякі задачі неможливо розв'язати. Навіть без урахування часової...
Чарльз Текер (категорія Лауреати премії Тюрінга)американський вчений у галузі теорії обчислювальних систем, лауреат премії Тюрінга 2009 року. Народився в Пасадені, штат Каліфорнія, 26 лютого 1943 року....- Цифрова фізика (розділ Машини Тюрінга)понятті машини Тюрінга, уявної обчислювальної машини, вперше описаної Аланом Тюрінгом 1936 року. Попри її простоту, теза Черча — Тюрінга припускає, що...
- Китайська кімната (розділ Тест Тюрінга)має розум і свідомість. Докладніше: Тест Тюрінга Китайська кімната реалізує варіант тесту Тюрінга. Алан Тюрінг ввів тест в 1950 році, щоб допомогти відповісти...
- Нат (одиниця вимірювання) (розділ Література)кількістю інформації такої події, ймовірністю трапляння якої є 1/е. Алан Тюрінг використовував натуральний бан. Бултон і Воллес[en] у зв'язку з мінімальною...
Інноватори (книга) (категорія Зображення Алана Тюрінга в масовій культурі)застосуваннях, від найпершої програмістки на світі Ади Лавлейс і робіт Алана Тюрінга з штучного інтелекту протягом усієї інформаційної ери аж до сучасності...
Алан Тюрінг захищав в інституті під керівництвом Алонзо Черча докторську дисертацію. Це сталося незабаром після публікації в 1936 році статті Тюрінга...- Філософія штучного інтелекту (розділ Література)створення науки про моделювання людського розуму, було поставлене Аланом Тюрінгом в 1950 році. Дві основних точки зору на це питання носять назви гіпотез...
Чарльз Бахман (категорія Лауреати премії Тюрінга)Лауреат премії Тюрінга, на чию честь названа нотація Бахмана в ER-моделі даних. Чарльз Бахман став незвичайним лауреатом премії Тюрінга, оскільки протягом...
Ніл Стівенсон (категорія Автори нехудожньої літератури США XXI століття)особистостями — Ісааком Ньютоном, Робертом Гуком, Лейбніцем, королями, Аланом Тюрінгом та іншими. А також уродженці островів «Йглм» (англ. QWGHLM) і безсмертний...
Леслі Велієнт (категорія Лауреати премії Тюрінга)1946) — британський вчений-теоретик у галузі інформатики, лауреат премії Тюрінга. Valiant, Leslie (1994). Circuits of the Mind. Oxford University Press...
Ернест Аллен Емерсон (категорія Лауреати премії Тюрінга)науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга. Відомий завдяки створенню методу верифікації під назвою перевірка моделей...
- ній. Першою формальною моделлю алгоритмічної машини була машина Тюрінга (Алан Тюрінг, Еміль Пост, 1936). Із пізніших моделей відзначимо нормальні алгоритми
- Британський математик Алан Тюрінг, який розробив цей тест у 1950 році, — один із «батьків» комп'ютерної епохи. Тюрінг був геєм, до того ж у час,