Комп'ютерна наука

За рекомендацією я відновлюю це з переповнення стека . Нещодавно я замислювався над наступним випуском. Розглянемо код для стандарту "Привіт, світ!" програма: main() { printf("Hello World"); } Тепер майже будь-яка зміна цього коду зробить його абсолютно марним, адже практично кожна зміна запобігає компіляції коду. Наприклад: main(5 { printf("Hello World"); } …

23 programming-languages  computation-models 

Я був у вікіпедії за списком невирішених проблем з інформатики і виявив таке: чи можлива криптографія з відкритим ключем? Я думав, шифрування RSA - це форма криптографії з відкритим ключем? Чому це проблема?

23 cryptography 

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

23 computability  terminology  history 

Це здається питанням, на яке слід отримати просту відповідь, але я не маю остаточного: nnna,pa,pa, pamodpamodpa\bmod p Просто ділення на потребує часу де - складність множення. Але чи можна виконати трохи швидше?aaappp O(M(n))O(M(n))O(M(n))M(n)M(n)M(n)modmod\bmod

23 algorithms  number-theory 

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

23 programming-languages  computer-architecture 

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

23 programming-languages  memory-management  garbage-collection 

Автомат - це абстрактна модель цифрового комп’ютера. Цифрові комп'ютери повністю детерміновані; їх стан у будь-який час однозначно передбачуваний із вхідного та початкового стану. Коли ми намагаємося моделювати реальні системи, то чому включати недетермінізм у теорію автоматів?

23 automata  nondeterminism  applied-theory 

Я вивчаю C ++ і помітив, що час роботи функції push_back для векторів є постійним "амортизованим". Документація додатково зазначає, що "Якщо відбувається перерозподіл, перерозподіл сам по собі є лінійним у всьому розмірі". Чи не повинно це означати, що функцією push_back є , де n - довжина вектора? Зрештою, нас цікавить …

23 algorithms  time-complexity  amortized-analysis 

Я студент з інформатики, і наразі навчаюся на курсі моделювання систем та моделювання. Він передбачає спілкування із повсякденними системами навколо нас та моделювання їх у різних сценаріях, генеруючи випадкові числа в різних кривих розподілу, наприклад, IID, Гаусса тощо. Я працював над проектом boids, і питання мене просто вразило, що саме …

23 randomness  modelling 

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

23 machine-learning  neural-networks  boltzmann-machine 

За столом є людей. й людина повинна платити доларів.i p iнnniiipipip_i Деякі люди не мають правильних рахунків точно платити , тому вони придумують наступний алгоритм.pipip_i По-перше, кожен кладе частину своїх грошей на стіл. Потім кожна особа забирає гроші, які переплатив. Рахунки мають фіксований набір номіналів (не частина вхідних даних). Приклад: …

23 algorithms  optimization 

Я шукаю просте обчислення, яке підтримує міркування про роздуми , а саме про самоаналіз та маніпулювання запущеними програмами. Чи існує нетипізоване розширення числення, яке дозволяє перетворити λ -терміни у форму, яку можна синтаксично маніпулювати, а потім оцінювати?λλ\lambdaλλ\lambda Я думаю, що в обчисленні є два основні додаткові умови: : приймає v …

23 logic  lambda-calculus  semantics  reflection 

Якщо коротко: як класифікуються системи типів в академічному контексті; зокрема, де я можу знайти авторитетні джерела, які роблять чіткими відмінності між різними типами системи? У певному сенсі складність цього питання полягає не в тому, що я не можу знайти відповідь, а в тому, що я можу знайти занадто багато, і …

23 reference-request  programming-languages  type-theory 

Орли - це скельна супергрупа 70-х та 80-х років, відповідальна за таку класику, як Готель Каліфорнія . У них є два досить відмінні звуки: один, де присутній гітарист Джо Уолш (наприклад, у Life in the Fast Lane ), і той, де він відсутній. Останні пісні мають помітно похмуріше / нудне …

23 machine-learning  modelling 

Це питання було переміщено з Exchange Engineering Stack Exchange, оскільки на нього можна відповісти на сайті Computer Science Stack Exchange. Мігрували 7 років тому . Я намагаюся реалізувати таблицю розподілених хеш-консистентних виробів, але деякі речі уникають мого розуміння. Я сподівався, що хтось може уточнити. Відмова : Я не студент інформатики. …

23 algorithms  data-structures  distributed-systems  hash-tables