Визначення обчислень

З латинського compŭtus , обчислення є рахунком або розрахунком . Розрахунки дозволяють відобразити статистику або результат голосування. Наприклад: "Останній запис не був зареєстрований в комп'ютерній панелі" , "Тимчасові розрахунки відображають широкий тріумф офіційного кандидата" , "Згідно з офіційним підрахунком, наша команда має трьохточковий провід" .

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

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

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

Цей пристрій не є нічим іншим, як системою, яка заснована на використанні таблиці правил і символів, які маніпулюються і розміщені на певній стрічці.

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

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

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

Застосовуваний до обчислень , алгоритм стає функцією, що перетворює вхідні дані (які є частиною проблеми) у вихідні дані (рішення цієї проблеми) .

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

Крім усього цього слід зазначити, що теорія обчислюваності дуже пов'язана з вищезгаданою машиною Тьюринга. Таким чином, значна частина його роботи зроблена на основі того, які проблеми можуть вирішити той чи формалізми, які до нього прив'язані.

Нарешті, церковний розрахунок - це набір розрахунків, які визначають, коли буде день Пасхи та інші рухомі релігійні свята.

border=0

Пошук іншого визначення