Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Модель обчислення

Індекс Модель обчислення

Модель обчислення в інформатиці, а особливо у теорії обчислюваності та теорії складності обчислень, - це визначення множин допустимих операцій, що використовуються при обчисленні, та їх відповідні витрати.

17 відносини: Клітинний автомат, Обчислювальна складність, Автомат (дискретна математика), Акумулятор (процесор), Алгоритм, РАМ-машина, Рекурсивні функції, Скінченний автомат, Теорія складності обчислень, Теорія обчислюваності, Машина Тюрінга, Машина з натуральнозначними регістрами, Модель дерева рішень, Мережа процесів Кана, Імплементація, Інформатика, Лямбда-числення.

Клітинний автомат

грі «життя»Daniel Dennett (1995), ''Darwin's Dangerous Idea'', Penguin Books, London, ISBN 978-0-14-016734-4, ISBN 0-14-016734-X Кліти́нний автома́т (КА) — дискретна математична модель, яка визначає сукупність та описується набором клітинок, що утворюють періодичну решітку, та заданими правилами переходу, що визначають стан клітини за теперішнім станом самої клітинки та тих її сусідів, що знаходяться від неї на певній відстані, яка не перевищує максимальну.

Новинка!!: Модель обчислення і Клітинний автомат · Побачити більше »

Обчислювальна складність

Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.

Новинка!!: Модель обчислення і Обчислювальна складність · Побачити більше »

Автомат (дискретна математика)

праворуч Автомат - схематизований алгоритм.

Новинка!!: Модель обчислення і Автомат (дискретна математика) · Побачити більше »

Акумулятор (процесор)

Акумуля́тор (регістр процесора) - регістр, в якому зберігаються безпосередні результати виконання арифметичних і логічних команд.

Новинка!!: Модель обчислення і Акумулятор (процесор) · Побачити більше »

Алгоритм

Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.

Новинка!!: Модель обчислення і Алгоритм · Побачити більше »

РАМ-машина

Машина з довільним доступом до пам'яті (рівнодоступна адресна машина, скорочено РАМ-машина) — модель машини з одним суматором, команди програми не можуть змінювати самі себе.

Новинка!!: Модель обчислення і РАМ-машина · Побачити більше »

Рекурсивні функції

Рекурсивні функції — клас функцій, введений як уточнення класу обчислюваних функцій.

Новинка!!: Модель обчислення і Рекурсивні функції · Побачити більше »

Скінченний автомат

Скінче́нний автома́т — особливий різновид автомату — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від поточного стану та інформації отриманої ззовні.

Новинка!!: Модель обчислення і Скінченний автомат · Побачити більше »

Теорія складності обчислень

Теорія складності обчислень — підрозділ теоретичної інформатики, що займається дослідженням складності алгоритмів для розв'язання задач на основі формально визначених моделей обчислювальних пристроїв.

Новинка!!: Модель обчислення і Теорія складності обчислень · Побачити більше »

Теорія обчислюваності

Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.

Новинка!!: Модель обчислення і Теорія обчислюваності · Побачити більше »

Машина Тюрінга

Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.

Новинка!!: Модель обчислення і Машина Тюрінга · Побачити більше »

Машина з натуральнозначними регістрами

Машина з натуральнозначними регістрами (МНР) — абстрактна обчислювальна машина.

Новинка!!: Модель обчислення і Машина з натуральнозначними регістрами · Побачити більше »

Модель дерева рішень

У теорії складності обчислень та модель дерева рішень являє собою модель обчислення або зв'язку, в якій алгоритм або процес комунікації вважаються, по суті, деревом рішень, тобто послідовністю операцій розгалуження на основі порівняння деяких величин, зіставленню присвоюється обчислювальна вартість одиниці.

Новинка!!: Модель обчислення і Модель дерева рішень · Побачити більше »

Мережа процесів Кана

Мережа процесів Кана (мережа процесів, мережа потоків даних) — це розподілена модель обчислень, в якій група детермінованих процесів взаємодіє через необмежені канали FIFO.

Новинка!!: Модель обчислення і Мережа процесів Кана · Побачити більше »

Імплементація

Імплемента́ція (impleo — «наповнюю», «виконую») — здійснення, виконання державою міжнародних правових норм. Кожна держава сама визначає методи і засоби імплементації.

Новинка!!: Модель обчислення і Імплементація · Побачити більше »

Інформатика

Інформа́тика (informatics, information science; Informatik; информатика) — теоретична та прикладна (технічна, технологічна) дисципліна, що вивчає структуру і загальні властивості інформації, а також методи і (технічні) засоби її створення, перетворення, зберігання, передачі та використання в різних галузях людської діяльності.

Новинка!!: Модель обчислення і Інформатика · Побачити більше »

Лямбда-числення

Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.

Новинка!!: Модель обчислення і Лямбда-числення · Побачити більше »

Перенаправлення тут:

Модель обчислень.

ВихідніВхідний
Гей! Ми на Facebook зараз! »