Більш швидкий доступ, ніж браузер!
21 відносини: Клас (теорія множин), Константа, Принстонський університет, Обчислювальна складність, Оператор (математика), Аксіома, Алан Тюрінг, Алонзо Черч, Рекурсивні функції, Релятивізм, Теза Черча, Теорія складності обчислень, Теорія алгоритмів, Теорія обчислюваності, Теорема, Функція (математика), Характеристична функція, Машина Тюрінга, Множина, Граф (математика), Границя.
Клас (теорія множин)
Клас — термін, що вживається в математиці в основному як синонім терміна «множина» для позначення довільних сукупностей об'єктів, що володіють певною властивістю або ознакою (наприклад, в алгебрі — класи еквівалентності).
Новинка!!: Пророча машина і Клас (теорія множин) · Побачити більше »
Константа
Константа (constans — стала величина, інша назва — стала) — величина, що не змінює свого значення протягом певного процесу (на відміну від змінної, значення якої може змінюватись).
Новинка!!: Пророча машина і Константа · Побачити більше »
Принстонський університет
При́нстонський університет — один із найстаріших та найпрестижніших університетів США, розташований у місті Принстон, штат Нью-Джерсі.
Новинка!!: Пророча машина і Принстонський університет · Побачити більше »
Обчислювальна складність
Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.
Новинка!!: Пророча машина і Обчислювальна складність · Побачити більше »
Оператор (математика)
Опера́тор — в математиці — закон f (правило), за яким кожному елементу х множини Х (область визначення) ставиться у відповідність певний елемент y множини Y (області значень).
Новинка!!: Пророча машина і Оператор (математика) · Побачити більше »
Аксіома
Аксіо́ма (axiōma — загальноприйняте, безперечне, від axio — вважаю гідним, наполягаю, вимагаю).
Новинка!!: Пророча машина і Аксіома · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Пророча машина і Алан Тюрінг · Побачити більше »
Алонзо Черч
Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.
Новинка!!: Пророча машина і Алонзо Черч · Побачити більше »
Рекурсивні функції
Рекурсивні функції — клас функцій, введений як уточнення класу обчислюваних функцій.
Новинка!!: Пророча машина і Рекурсивні функції · Побачити більше »
Релятивізм
Релятиві́зм (від лат. relativus — відносний) — методологічний принцип, який полягає у метафізичній абсолютизації відносності і умовності змісту пізнання.
Новинка!!: Пророча машина і Релятивізм · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Пророча машина і Теза Черча · Побачити більше »
Теорія складності обчислень
Теорія складності обчислень — підрозділ теоретичної інформатики, що займається дослідженням складності алгоритмів для розв'язання задач на основі формально визначених моделей обчислювальних пристроїв.
Новинка!!: Пророча машина і Теорія складності обчислень · Побачити більше »
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Новинка!!: Пророча машина і Теорія алгоритмів · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Пророча машина і Теорія обчислюваності · Побачити більше »
Теорема
Теоре́ма (θεώρημα — «вигляд, уявлення, положення») — твердження у математиці, для якого в теорії, що розглядається, існує доказ (інакше кажучи, доведення).
Новинка!!: Пророча машина і Теорема · Побачити більше »
Функція (математика)
Функція f відображає область визначення X в цільову множину Y; менший овал всередині Y — це область значень функції f Фу́нкція (відображення, трансформація, оператор) в математиці — це правило, яке кожному елементу з першої множини (області визначення) ставить у відповідність один і тільки один елемент з другої множини.
Новинка!!: Пророча машина і Функція (математика) · Побачити більше »
Характеристична функція
Графік характеристичної функції двовимірної підмножини квадрата. Характеристична функція (індикаторна функція, індикатор) підмножини A \subseteq X — функція, визначена на множині X, яка визначає належність елемента x \in X підмножині A. Термін характеристична функція в теорії ймовірностей використовується в іншому значенні (див. Характеристична функція випадкової величини).
Новинка!!: Пророча машина і Характеристична функція · Побачити більше »
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Пророча машина і Машина Тюрінга · Побачити більше »
Множина
Множина — одне з найважливіших понять сучасної математики.
Новинка!!: Пророча машина і Множина · Побачити більше »
Граф (математика)
Граф зі шістьма вершинами та сімома ребрами Граф — це сукупність об'єктів із зв'язками між ними.
Новинка!!: Пророча машина і Граф (математика) · Побачити більше »
Границя
Границя — одне з основних понять функціонального аналізу (а також математичного аналізу, який є скінченновимірним випадком функціонального), яке означає, що деякий об'єкт, змінюючись, нескінченно наближається до певного сталого значення.
Новинка!!: Пророча машина і Границя · Побачити більше »
Перенаправлення тут:
Алгоритм з оракулом, Відносний алгоритм.
