Більш швидкий доступ, ніж браузер!
23 відносини: ACE, EDVAC, Reduced Instruction Set Computing, Клод Шеннон, Правило 110, Повнота за Тюрингом, Обчислювана функція, Алан Тюрінг, Алгоритм, Алгоритмічно нерозв'язна задача, Нумерація Геделя, Роджер Пенроуз, Рекурсивні функції, Скінченний автомат, Теза Черча, Мікрокод, Машина Поста, Машина Тюрінга, Мартін Девіс, Марвін Мінський, Джон фон Нейман, Дональд Кнут, Інформатика.
ACE
ACE (скор. від Automatic Computing Engine, Автоматична обчислювальна машина) — перший електронний комп'ютер зі збереженою в пам'яті програмою, розроблений в Великій Британії.
Новинка!!: Універсальна машина Тюрінга і ACE · Побачити більше »
EDVAC
EDVAC EDVAC (Electronic Discrete Variable Automatic Computer) - один з перших електронних комп’ютерів.
Новинка!!: Універсальна машина Тюрінга і EDVAC · Побачити більше »
Reduced Instruction Set Computing
RISC (Reduced Instruction Set Computing — обчислення зі скороченим набором команд) — архітектура процесорів зі скороченим набором команд.
Новинка!!: Універсальна машина Тюрінга і Reduced Instruction Set Computing · Побачити більше »
Клод Шеннон
Клод Елвуд Шеннон (Claude Elwood Shannon; *30 квітня, 1916 — †24 лютого, 2001) — американський електротехнік і математик, «батько теорії інформації».
Новинка!!: Універсальна машина Тюрінга і Клод Шеннон · Побачити більше »
Правило 110
Правило 110 — елементарний одновимірний клітинний автомат з поведінкою, яка перебуває на кордоні хаосу і стабільності.
Новинка!!: Універсальна машина Тюрінга і Правило 110 · Побачити більше »
Повнота за Тюрингом
У теорії алгоритмів набір правил маніпуляції даними (набір інструкцій, мова програмування, чи клітинний автомат) вважається повним за Тюрингом тоді і тільки тоді, коли цей набір може моделювати однострічкову машину Тюринга.
Новинка!!: Універсальна машина Тюрінга і Повнота за Тюрингом · Побачити більше »
Обчислювана функція
Обч́ислювана фу́нкція (computable function) — основний об'єкт вивчення теорії обчислень.
Новинка!!: Універсальна машина Тюрінга і Обчислювана функція · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Універсальна машина Тюрінга і Алан Тюрінг · Побачити більше »
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Універсальна машина Тюрінга і Алгоритм · Побачити більше »
Алгоритмічно нерозв'язна задача
В теорії обчислюваності алгоритмічно нерозв'язною задачею називається задача, що має відповідь так чи ні для кожного об'єкта з деякої множини вхідних даних, для якої (принципово) не існує алгоритму, який би, отримавши будь-який можливий як вхідні дані об'єкт, зупинявся і давав правильну відповідь після кінцевого числа кроків.
Новинка!!: Універсальна машина Тюрінга і Алгоритмічно нерозв'язна задача · Побачити більше »
Нумерація Геделя
Нумерація Геделя — це функція g, що зіставляє з кожним об'єктом деякої формальної мови її номер.
Новинка!!: Універсальна машина Тюрінга і Нумерація Геделя · Побачити більше »
Роджер Пенроуз
Сер Роджер Пенроуз (Roger Penrose.; 8 серпня 1931, Колчестер, Англія) — англійський вчений, активно працює в різних галузях математики, загальної теорії відносності та квантової теорії; автор теорії твісторів, відомий також своїми науково-популярними книгами з космології та теорії штучного інтелекту.
Новинка!!: Універсальна машина Тюрінга і Роджер Пенроуз · Побачити більше »
Рекурсивні функції
Рекурсивні функції — клас функцій, введений як уточнення класу обчислюваних функцій.
Новинка!!: Універсальна машина Тюрінга і Рекурсивні функції · Побачити більше »
Скінченний автомат
Скінче́нний автома́т — особливий різновид автомату — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від поточного стану та інформації отриманої ззовні.
Новинка!!: Універсальна машина Тюрінга і Скінченний автомат · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Універсальна машина Тюрінга і Теза Черча · Побачити більше »
Мікрокод
Мікрокод (Microcode; також мікропрограма) — програма на спеціалізованій, апаратно-залежній мові програмування, що реалізує управління процесором в системах з мікропрограмним управлінням.
Новинка!!: Універсальна машина Тюрінга і Мікрокод · Побачити більше »
Машина Поста
Машина Поста (див.Еміль Пост) — це абстрактна (тобто така, що не існує в арсеналі техніки), але дуже проста обчислювальна машина.
Новинка!!: Універсальна машина Тюрінга і Машина Поста · Побачити більше »
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Універсальна машина Тюрінга і Машина Тюрінга · Побачити більше »
Мартін Девіс
Мартін Девід Девіс (Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта.
Новинка!!: Універсальна машина Тюрінга і Мартін Девіс · Побачити більше »
Марвін Мінський
Марвін Лі Мінський (Marvin Lee Minsky; 9 серпня 1927 — 24 січня 2016) — американський дослідник в галузі штучного інтелекту, співзасновник лабораторії штучного інтелекту Массачусетського Технологічного Інституту, автор праць з штучного інтелекту та філософії.
Новинка!!: Універсальна машина Тюрінга і Марвін Мінський · Побачити більше »
Джон фон Нейман
Джон фон Не́йман чи Джон фон Но́йман (John von Neumann), Нейман Янош Лайош (Neumann János Lajos; Йоганн фон Нойман (Johann von Neumann; 28 грудня 1903 — 8 лютого 1957) — американський математик угорського походження, що зробив значний вклад у квантову фізику, функціональний аналіз, теорію множин, інформатику, економічні науки та в інші численні розділи знання. Він став засновником теорії ігор разом із Оскаром Морґенштерном у 1944 році. Розробив архітектуру (так звану «архітектуру фон Неймана»), яка використовується в усіх сучасних комп'ютерах.
Новинка!!: Універсальна машина Тюрінга і Джон фон Нейман · Побачити більше »
Дональд Кнут
Дональд Ервін Кнут (Donald Ervin Knuth, 10 січня 1938) — інформатик, ідеолог програмування та почесний професор Стенфордського університету.
Новинка!!: Універсальна машина Тюрінга і Дональд Кнут · Побачити більше »
Інформатика
Інформа́тика (informatics, information science; Informatik; информатика) — теоретична та прикладна (технічна, технологічна) дисципліна, що вивчає структуру і загальні властивості інформації, а також методи і (технічні) засоби її створення, перетворення, зберігання, передачі та використання в різних галузях людської діяльності.
Новинка!!: Універсальна машина Тюрінга і Інформатика · Побачити більше »
