Запитання з тегом «history»

Існує багато спроб довести або або P ≠ N P , і, природно, багато людей замислюються над цим питанням, маючи ідеї довести будь-який напрямок.P=NPП=NП\mathsf{P} = \mathsf{NP} P≠NPП≠NП\mathsf{P} \neq \mathsf{NP} Я знаю, що є підходи, які, як було доведено, не працюють, і, мабуть, більше таких, які мають історію невдач. Також, здається, …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Я читав про обчислення лямбди недавно, але як не дивно, я не можу знайти пояснення, чому його називають "лямбда" або звідки походить цей вираз. Хтось може пояснити походження терміна?

73 terminology  computation-models  lambda-calculus  history 

Під час обговорення деяких тем на рівні рівня, зокрема використання генетичних алгоритмів; Мені сказали, що дослідження справді сповільнилися в цій галузі. Причина полягала в тому, що більшість людей зосереджуються на машинному навчанні та обробці даних. Оновлення: чи це точно? І якщо так, то які переваги має ML / DM у …

45 machine-learning  data-mining  evolutionary-computing  history 

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

39 terminology  history 

Я тільки що завершив перший розділ « Вступ до теорії обчислень » Майкла Сіпсера, який пояснює основи кінцевих автоматів. Він визначає звичайну мову як все, що можна описати обмеженими автоматами. Але я не міг знайти, де він пояснює, чому звичайну мову називають "регулярною"? Яке походження терміна "регулярний" у цьому контексті? …

31 formal-languages  regular-languages  terminology  finite-automata  history 

В основному я знаю три основи математики Теорія множин Теорія типів Теорія категорій Тож якими способами пов'язані мови програмування та основи математики? EDIT Первісне питання було "Мови програмування на основі математики" з доданим парагарфом І реалізація теорії 1. Теорія типів у Coq 2. Теорія множин у SETL 3. Теорія категорій …

30 programming-languages  history  type-theory  category-theory 

Ми в основному пишемо програму мовою високого рівня. Тому під час навчання я натрапив на асемблерну мову. Таким чином, асемблер перетворює мову складання в машинну мову, і компілятор робить те саме з мовою високого рівня. Я знайшов, що в мові збірки є такі інструкції, як переміщення r1 r3, переміщення 5 …

27 programming-languages  education  history 

У теорії обчислюваності обчислювані функції також називаються рекурсивними функціями. Принаймні, на перший погляд, вони не мають нічого спільного з тим, що ви називаєте "рекурсивним" у повсякденному програмуванні (тобто функції, які викликають їх самі). Яке власне значення рекурсивного в контексті обчислюваності? Чому ці функції називають "рекурсивними"? Іншими словами: Який зв’язок між …

23 computability  terminology  history 

Коли велике O вперше було використано в інформатиці і коли воно стало стандартним? Сторінка Вікіпедії на цій сторінці цитує Кнут, Великий Омікрон та Велику Омегу та Велику тету , ЗНАЧЕННЯ квітень-червень 1976 року, але початок цієї статті читається Більшість з нас звикли до думки використовувати позначення щоб виступати за будь-яку …

22 asymptotics  history 

Я намагаюся з’ясувати, хто придумав термін «машинне навчання». Додатковим питанням є те, звідки Артур Самуель у 1959 р. Визначає сферу "машинного навчання" як: сфера навчання, яка дає комп'ютерам можливість навчатися, не будучи явно запрограмованими ? Ви можете знайти багато, багато посилань на це визначення в Інтернеті, але я не зміг …

19 terminology  reference-request  machine-learning  history 

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

18 data-structures  reference-request  trees  history 

Говорять, що "Євген Густман", комп'ютерна програма, розроблена для імітації 13-річного хлопця, зуміла переконати 33% суддів, що це людина, і, таким чином, пройшла тест Тьюрінга. Комп'ютерна програма, яка називалася чат-ботом, претендувала на 13-річного українця, для якого англійська мова була другою мовою. Для мене Євген звучить точно так, як повинен посередній чат-бот: …

18 reference-request  artificial-intelligence  history  turing-test 

Це м'яке питання. Я не знаю багато про криптографію або її історію, але здається, що для RSA загальним використанням є обмін ключами, шифруючи симетричний ключ для надсилання більш тривалого повідомлення (наприклад, опис iMessage тут ). Хіба це не те, для чого потрібен обмін ключами Діффі-Гелмана, який є старшим (і мені …

16 cryptography  history 

У документі " Навчальний розподіл систем " "Парламент за сумісництвом" (протокол Паксоса) Леслі Лампорт називає вигаданих законодавців, які причетні до протоколу парламенту Паксона. Згідно з цим твором , він зазначає, що: Я дав грецьким законодавцям імена комп’ютерних вчених, які працюють у цій галузі, транслітеровані за допомогою Гібаса на фальшивий грецький …

15 distributed-systems  history 

Я використовую цифровий комп’ютер, щоб написати це повідомлення. Така машина має властивість, яка, якщо подумати над цим, насправді є надзвичайно чудовою: це одна машина, яка, якщо запрограмована належним чином, може виконати будь-які можливі обчислення . Звичайно, обчислювальні машини того чи іншого виду повертаються до античності. Люди побудували машини, які виконують …

15 computability  turing-machines  history