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

Як би АЛУ в мікропроцесорі відрізняти підписане число -7, яке позначається 1111, і число, яке не підписується 15, також позначається 1111?

17 arithmetic  binary 

Чорне поле f(x)f(x)f(x) означає, що я можу оцінити поліном в будь-якій точці.f(x)f(x)f(x) Вхід : Чорна скринька монічного многочлена ступеня .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Висновок: В коефіцієнти многочлена .dddf(x)f(x)f(x) Мій алгоритм: нехай f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 Оцініть поліном f(x)f(x)\mathcal{f(x)} у ddd багатьох точках за …

17 algorithms  polynomials 

З Вікіпедії: У теоретичній інформатиці правильність алгоритму стверджується, коли кажуть, що алгоритм правильний щодо специфікації. Але проблема полягає в тому, що отримати "відповідну" специфікацію не є тривіальним завданням, і немає 100% правильного методу (наскільки я знаю), щоб отримати правильний, це просто оцінка, тому якщо ми збираємось приймати присудок як специфікацію …

17 formal-methods  software-verification  program-correctness 

Наприклад, коли ми розглядаємо DFA, який дозволяє рядкам, що не мають підрядів, 00або 11я можу створити наступні два DFA:

17 automata  finite-automata 

Є багато (і я маю на увазі багато) лічильних мов, які можна визначити Тьюрінгом. Чи може будь-яка незліченна мова бути Тюрінгом вирішальною?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Я прочитав де - то , що найбільш ефективний алгоритм знайдений можна обчислити фактори в час, але код я написав це O ( п ) або можливо, O ( n log n ) залежно від того, наскільки швидкий поділ і модуль. Я впевнений, що десь неправильно зрозумів, але не знаю …

17 complexity-theory  time-complexity  factoring  primes 

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

17 operating-systems 

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

17 algorithms  terminology  data-structures  notation 

Я даю вам список з nnn бітвекторів шириною kkk . Ваша мета - повернути двох бітвекторів зі списку, які не мають спільного 1, або ж повідомити про відсутність такої пари. Наприклад, якщо я даю вам [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] єдине рішення - {00110,11000}{00110,11000}\{00110, 11000\} . Як варіант, вхід [111,011,110,101][111,011,110,101][111, 011, 110, …

17 algorithms  search-algorithms 

За даними Вікіпедії , Операція тестування та встановлення може вирішити проблему консенсусу без очікування для не більше двох паралельних процесів. Чому він не може вирішити проблему більше двох процесів?

17 concurrency  consensus 

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

17 terminology  operating-systems  process-scheduling  real-time 

Хтось насправді писав систему (програмне забезпечення або детальне пояснення на папері з простими прикладами), що генерує комп'ютерні програми? Я ввожу і вона створює програму, яка містить прості числа менше 10. просто визначається як Професори кажуть, що можуть, але ніхто не дає фактичних повних прикладів.Пr i m e ( x ) …

17 logic  type-theory  coq  proof-assistants 

Я читаю книгу HoTT, і мені важко індукувати шлях. Коли я дивлюся на тип у розділі 1.12.1 : я не маю жодних проблем з розумінням того, що це означає (я просто записав тип із пам'яті, щоб перевірити це).ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), Що у мене виникло питання …

17 induction  dependent-types  homotopy-type-theory 

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

17 computability  reference-request  turing-machines  halting-problem 

Я вивчив книгу "С ++ Демістифікований" . Тепер я почав читати "Об'єктно-орієнтоване програмування в першому виданні Turbo C ++ (1-е видання)" Роберта Лафора. Я не знаю жодного знання програмування, що знаходиться поза цими книгами. Ця книга може бути застарілою, оскільки їй 20 років. У мене є останнє видання, я використовую …

17 programming-languages  object-oriented  programming-paradigms