Більш швидкий доступ, ніж браузер!
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-завдання, одностороння функція), результат якої легко і швидко перевіряється стороною, що обробляє запит (сервером).
Новинка!!: Теорія алгоритмів і Доказ виконаної роботи · Побачити більше »
Історія штучного інтелекту
Історія штучного інтелекту — галузь знань, що займається дослідженням походження та розвитку розділу комп'ютерної лінгвістики та інформатики, що займається формалізацією проблем та завдань, які нагадують завдання, виконувані людиною.
Новинка!!: Теорія алгоритмів і Історія штучного інтелекту · Побачити більше »
