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

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

21 education 

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

21 proof-techniques  computation-models  simulation 

Припустимо, у нас є випадковий генератор, який виводить числа в діапазоні [0..R−1][0..R−1][0..R-1] при рівномірному розподілі, і нам потрібно генерувати випадкові числа в діапазоні [0..N−1][0..N−1][0..N-1] при рівномірному розподілі. Припустимо, що N&lt;RN&lt;RN < R і NNN не поділяють рівномірно RRR ; для отримання по- справжньому рівномірного розподілу ми можемо використовувати метод вибірки …

21 probability-theory  randomness  random-number-generator  sampling 

Якщо зважений графік GGG має два різних мінімально простягаються дерева T1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1) і T2=(V2,E2)T2=(V2,E2)T_2 = (V_2, E_2) , то правда, що для будь-якого краю eee в E1E1E_1 кількість ребер в E1E1E_1 з тією ж масою, що і eee (включаючи сам eee ), така ж кількість ребер в E2E2E_2 …

21 graph-theory  spanning-trees  weighted-graphs 

Я студент університету, і зараз ми вивчаємо обчислення Ламбди. Однак мені ще важко зрозуміти, чому це корисно для мене. Я усвідомлюю, що якщо ви робите багато функціонального програмування, це може бути корисним, але я вважаю, що це не дуже потрібно для вивчення функціонального програмування, як ви думаєте? По-друге, чи є …

21 lambda-calculus  functional-programming 

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

21 algorithms  reference-request  books 

Яка хороша книга для початківців інформатики для молодого, скажімо, 15-річного віку? Я хочу розпочати роботу в CS, але поняття не маю, з чого почати. У мене обмежений досвід програмування.

21 education  reference-request 

Наскільки мені відомо, є три основні алгебри процесів, які надихнули на широкий спектр досліджень формальних моделей паралельності. Це: CCS і розрахунок обох Робіна Мілнераππ\pi CSP від ​​Тоні Хоара та ACP Яна Бергстра та Яна Віллема Клопа Всі троє, здається, мають до цього часу досить активних наступних досліджень і на них …

21 logic  concurrency  process-algebras 

Я знаю, що з ~ 2004 року закон Мура перестав працювати на тактовій частоті процесора. Я шукаю графік, що показує це, але не можу його знайти: більшість діаграм там показують кількість транзисторів або ємність на рік. Де я можу знайти деякі дані, що показують частоту процесора комп'ютерів (все в порядку, …

21 computer-architecture  empirical-research  data-sets 

Я хочу довести або спростувати існування алгоритму, який, маючи масив цілих чисел, знаходить три індекси і такі, що і (або виявляє, що такої потрійності немає) у лінійному часі.i , j k i &lt; j &lt; k A [ i ] &lt; A [ j ] &lt; A [ k ]АAAi …

21 algorithms  arrays  subsequences 

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

21 logic  terminology  lambda-calculus  type-theory 

Розглянемо індуктивний тип, який має деякі рекурсивні явища у вкладеному, але суто позитивному місці. Наприклад, дерева з кінцевим розгалуженням з вузлами, що використовують загальну структуру даних списку для зберігання дітей. Inductive LTree : Set := Node : list LTree -&gt; LTree. Наївний спосіб визначення рекурсивної функції над цими деревами шляхом …

21 logic  coq  type-theory  recursion  proof-assistants 

При розгляді машинних моделей обчислень ієрархія Хомського зазвичай характеризується (по порядку), кінцевими автоматами, штовхаючими автоматами, лінійно пов'язаними автоматами і машинами Тюрінга. Для першого та останнього рівнів 1 (звичайні мови та рекурсивно перелічувані мови) це не має значення для потужності моделі, вважаємо ми детерміновані чи недетерміновані машини, тобто DFA еквівалентні NFA, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

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

21 complexity-theory  oracle-machines 

Ось проблема. Дано , де кожен . Чи є підмножина розміром не більше таким, що для всіх ? Я намагаюся звести цю проблему до SAT. Моєю ідеєю рішення було б мати змінну для кожного з 1 до . Для кожного створіть пункт якщо . Потім і всі ці пункти разом. …

21 complexity-theory  reductions  np-hard