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

Мартін Девіс і Теорія алгоритмів

Посилання: Відмінності, Схожості, Jaccard схожість Коефіцієнт, Посилання.

Різниця між Мартін Девіс і Теорія алгоритмів

Мартін Девіс vs. Теорія алгоритмів

Мартін Девід Девіс (Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта. Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.

Подібності між Мартін Девіс і Теорія алгоритмів

Мартін Девіс і Теорія алгоритмів мають 23 щось спільне (в Юніонпедія): Алонзо Черч, Множина, Еміль Пост.

Алонзо Черч

Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.

Алонзо Черч і Мартін Девіс · Алонзо Черч і Теорія алгоритмів · Побачити більше »

Множина

Множина — одне з найважливіших понять сучасної математики.

Мартін Девіс і Множина · Множина і Теорія алгоритмів · Побачити більше »

Еміль Пост

Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.

Еміль Пост і Мартін Девіс · Еміль Пост і Теорія алгоритмів · Побачити більше »

Наведений вище список відповідає на наступні питання

Порівняння між Мартін Девіс і Теорія алгоритмів

Мартін Девіс має 31 зв'язків, у той час як Теорія алгоритмів має 48. Як вони мають в загальній 3, індекс Жаккар 3.80% = 3 / (31 + 48).

Посилання

Ця стаття показує взаємозв'язок між Мартін Девіс і Теорія алгоритмів. Щоб отримати доступ до кожної статті, з яких інформація витягується, будь ласка, відвідайте:

Гей! Ми на Facebook зараз! »