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

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

23 computability  terminology  history 

У сценарії, який я зараз читаю на обчисленні лямбда, бета-еквівалентність визначається так: ββ\beta -еквівалентность є найменшою еквівалентності , який містить .→ β≡β≡β\equiv_\beta→β→β\rightarrow_\beta Я поняття не маю, що це означає. Чи може хтось пояснити це простішими термінами? Може, з прикладом? Мені це потрібно для леми, що випливає з теореми Церкви-Русера, кажучи …

21 logic  terminology  lambda-calculus  type-theory 

Я викладаю обчислювальну роботу до 18-річних. Після того, як вони пояснили зворотне позначення польською мовою, один запитав, чому це досить важливо, щоб бути на державному іспиті. Я пояснив історичну значимість калькуляторів 70-х, але це не вдалося вирішити проблему. Так є і паралельні практичні чи теоретичні програми RPN.

21 terminology  education 

Я знаю, що таке обчислення в якомусь невиразному розумінні (це те, що роблять комп'ютери), але я хотів би більш суворе визначення. Dictionary.comВизначення обчислень, обчислень, обчислень та обчислень є круговими, тому це не допомагає. Wikipediaвизначає обчислення як "будь-який тип обчислення, що відповідає чітко визначеній моделі". Він визначає обчислення як "навмисний процес, …

20 terminology  computability 

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

19 terminology  reference-request  machine-learning  history 

Я пишу науково-дослідний документ і в основному мушу сказати, що один мікроконтролер повільніше, ніж інший мікропроцесор. Однак я переживаю, що просто сказати, що це "повільніше", не було б доречним у дослідницькій роботі. Я правий? Чи добре сказати, що один процесор "повільніше", чи мені потрібно сказати щось інше? Що я ще …

19 terminology  computer-architecture 

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

19 algorithms  terminology  optimization  dynamic-programming 

Я постійно стикаюся з посиланнями на фіксовану точку запитань та відповідей на stackexchange, і я шукаю значення в Інтернеті, очевидно, знаходячи посилання на таких сайтах, як Вікіпедія. Однак жодна з посилань насправді не відповідає на моє питання про те, що є фіксованою точкою і що це означає у світі інформатики.

19 terminology 

Мені знайоме десяток мов програмування, які певним чином мають винятки, але я став свідком двох "патологічних" тенденцій. Здається, немає загальної моделі чи ієрархії винятків. Кожна мова в основному згортає свою власну версію, і якщо винятки перетворюють її на стандарт, то види винятків, які можна знайти в стандарті, були б досить …

18 terminology  programming-languages  api-design 

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

18 logic  reference-request  terminology  type-theory 

У моєму курсі " Алгоритми та структури даних" професори, слайди та книга ( Вступ до алгоритмів, 3-е видання ) використовували слово NILдля позначення, наприклад, дочірнього вузла (на дереві), якого не існує. Одного разу під час лекції замість того, щоб сказати NIL, однокласник сказав null, і професор виправив його, і я …

17 algorithms  terminology  data-structures  notation 

Я думаю, я знаю, що таке "важка" операційна система в режимі реального часу. Це операційна система з планувальником, яка надає контракт із прикладним програмістом. У додатку передбачений термін для кожного запиту на розподіл ресурсів. Якщо запити щодо граничних термінів є можливими , планувальник гарантує, що кожен ресурс буде призначений заявці-заявці …

17 terminology  operating-systems  process-scheduling  real-time 

Які відмінності між комп’ютерним зором та обробкою зображень? Наприклад, у розпізнаванні об'єктів, які ролі комп’ютерного зору та обробки зображень?

17 terminology  computer-vision  image-processing  education 

Я використовував FSM в цифрових схемах послідовних схем. Але я не знайомий з Кінцевими Автоматами. Чи може хтось допомогти мені в розумінні "основної" різниці між ними?

16 terminology  automata  finite-automata 

Я дуже боюся з цією властивістю: Нехай X,YX,YX,Y - простори когерентності, а f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) монотонна функція. fff є безперервним тоді і тільки тоді, коли f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , для всіх D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) таким чином, що DDD є направленою множиною. Спрямований набір визначається таким чином: POSETD⊆D⊆D …

16 terminology  programming-languages  semantics