Зміст
27 відносини: Microsoft Research, R-дерево, Пророча машина, Проблема зупинки, Премія Тюрінга, Перелік навчальних дисциплін, Обчислювальна нейронаука, Одд Голдрейх, Операція найменшого кореня, Асоціативне числення, Автоматизація, Алгоритм, Алгоритмічна мова, Рівність класів P і NP, Радар, Теза Черча, Теоретична інформатика, Теорема Колмогорова, Числення Поста, Математична теорія зв'язку (стаття), Мартін Девіс, Марков Андрій Андрійович (молодший), Метод резолюції, Гаскелл Каррі, Джон Гопкрофт, Доказ виконаної роботи, Історія штучного інтелекту.
Microsoft Research
Microsoft Research (MSR) — підрозділ корпорації Microsoft, створений у 1991 році для дослідження різноманітних питань та тем в галузі інформатики.
Переглянути Теорія алгоритмів і Microsoft Research
R-дерево
350px ELKI (куби — адресні сторінки). R-дерево (R-trees) — деревоподібна структура даних, яка використовується для організації доступу до просторових даних, тобто для індексації багатовимірної інформації, такої, наприклад, як географічні координати, прямокутники або многокутники.
Переглянути Теорія алгоритмів і R-дерево
Пророча машина
В теорії складності і теорії обчислюваності, пророча машина (oracle machine) — це абстрактний автомат використовний для вивчення проблем вибору.
Переглянути Теорія алгоритмів і Пророча машина
Проблема зупинки
В теорії обчислюваності, проблема зупинки є проблемою розв'язності, що може бути сформульована так.
Переглянути Теорія алгоритмів і Проблема зупинки
Премія Тюрінга
Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.
Переглянути Теорія алгоритмів і Премія Тюрінга
Перелік навчальних дисциплін
An academic discipline or field of study is a branch of knowledge that is taught and researched as part of higher education.
Переглянути Теорія алгоритмів і Перелік навчальних дисциплін
Обчислювальна нейронаука
Обчислювальна нейронаука (англ. Computational neuroscience) — розділ нейронауки, що використовує математичні методи та комп'ютерні симуляції для дослідження роботи нервової системи, зокрема мозку.
Переглянути Теорія алгоритмів і Обчислювальна нейронаука
Одд Голдрейх
Одед Голдрейх (народився у 1957 році) — ізраїльський науковець, професор у галузі комп'ютерних наук на факультеті математики та комп'ютерних наук в Науково-дослідному інституті імені Вейцмана в Ізраїлі.
Переглянути Теорія алгоритмів і Одд Голдрейх
Операція найменшого кореня
Опера́ція найме́ншого ко́реня — операція, що зіставляє кожній рекурсивній функції від n змінних g(x_1, \dots, x_n) рекурсивну функцію f(x_1, \dots, x_).
Переглянути Теорія алгоритмів і Операція найменшого кореня
Асоціативне числення
Асоціативне числення — важлива частина теорії алгоритмів, яка допомагає описувати алгоритми прикладних задач.
Переглянути Теорія алгоритмів і Асоціативне числення
Автоматизація
Автоматиза́ція — є одним з напрямів науково-технічного прогресу, який спрямовано на застосування саморегульованих технічних засобів, економіко-математичних методів і систем керування, що звільняють людину від участі у процесах отримання, перетворення, передачі і використання енергії, матеріалів чи інформації, істотно зменшують міру цієї участі чи трудомісткість виконуваних операцій.
Переглянути Теорія алгоритмів і Автоматизація
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Переглянути Теорія алгоритмів і Алгоритм
Алгоритмічна мова
Алгоритмі́чна мо́ва 1.
Переглянути Теорія алгоритмів і Алгоритмічна мова
Рівність класів P і NP
У теорії алгоритмів питання про рівність класів складності P і NP є однією з центральних відкритих проблем вже більше трьох десятиліть.
Переглянути Теорія алгоритмів і Рівність класів P і NP
Радар
ALTAIR, класичний радар далекої дії на атолі Кваджалейн для детекції космічних об'єктів фазованих антенних граток. Радар (від radar — скорочення від radio detection and ranging, «радіохвильове виявлення і ранжування») або радіолокаційна станція (РЛС) — система для виявлення повітряних, морських і наземних об'єктів, а також для визначення їхньої дальності та геометричних параметрів.
Переглянути Теорія алгоритмів і Радар
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Переглянути Теорія алгоритмів і Теза Черча
Теоретична інформатика
Теоретична інформатика — це наукова галузь, предметом вивчення якої є інформація та інформаційні процеси, в якій здійснюється винахід і створення нових засобів роботи з інформацією.
Переглянути Теорія алгоритмів і Теоретична інформатика
Теорема Колмогорова
Теорема Колмогорова в математичній статистиці уточнює швидкість збіжності вибіркової функції розподілу до її теоретичного аналогу.
Переглянути Теорія алгоритмів і Теорема Колмогорова
Числення Поста
Числення Поста — клас числень, який запропонував американський математик Еміль Пост.
Переглянути Теорія алгоритмів і Числення Поста
Математична теорія зв'язку (стаття)
«Математична теорія зв’язку» (англ. A Mathematical Theory of Communication) — стаття, опублікована Клодом Шенноном у 1948 році в журналі американської телефонної компанії «Bell System» і зробивша його всесвітньо відомим.
Переглянути Теорія алгоритмів і Математична теорія зв'язку (стаття)
Мартін Девіс
Мартін Девід Девіс (Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта.
Переглянути Теорія алгоритмів і Мартін Девіс
Марков Андрій Андрійович (молодший)
Марков Андрій Андрійович (молодший) (22 вересня 1903, Санкт-Петербург, Російська імперія — 11 жовтня 1979, Москва, РРФСР) — радянський математик, син відомого російського математика А.
Переглянути Теорія алгоритмів і Марков Андрій Андрійович (молодший)
Метод резолюції
Метод резолюції відноситься до напівконструктивного методу, він легко піддається алгоритмізації.
Переглянути Теорія алгоритмів і Метод резолюції
Гаскелл Каррі
Га́скелл Брукс Каррі (Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсильванія) — американський математик і логік.
Переглянути Теорія алгоритмів і Гаскелл Каррі
Джон Гопкрофт
Джон Едвард Гопкрофт (John Edward Hopcroft) (*7 жовтня 1939) — американський дослідник-теоретик в галузі інформатики.
Переглянути Теорія алгоритмів і Джон Гопкрофт
Доказ виконаної роботи
Доказ виконання роботи (Proof-of-work, POW) — принцип захисту систем від зловживання послугами (наприклад, DoS-атак або розсилок спаму), заснований на необхідності виконання стороною, яка робить запит (клієнтом) деякої досить складної тривалої роботи (POW-завдання, одностороння функція), результат якої легко і швидко перевіряється стороною, що обробляє запит (сервером).
Переглянути Теорія алгоритмів і Доказ виконаної роботи
Історія штучного інтелекту
Історія штучного інтелекту — галузь знань, що займається дослідженням походження та розвитку розділу комп'ютерної лінгвістики та інформатики, що займається формалізацією проблем та завдань, які нагадують завдання, виконувані людиною.
Переглянути Теорія алгоритмів і Історія штучного інтелекту
Також відомий як Алгоритмів теорія.