Запитання з тегом «mathematical-foundations»

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

190 correctness-proof  mathematical-foundations  philosophy 

Можливо, вибачення за те, що я задав ще одне питання щодо передумов, але мене збентежили вихідні моменти. Я натрапив на різні терміни, такі як "Модальна логіка", "Темпоральна логіка", "Логіка першого порядку", "Логіка другого порядку" та "Логіка вищого порядку". Що саме означає "Логіка" в цьому контексті? Як ми суворо визначаємо слово …

36 logic  mathematical-foundations 

Я розумію, що "структура" даних повністю залежить від булевої алгебри, але: Чому дані вважаються дискретним математичним утворенням, а не суцільним? З цим пов'язано: Які недоліки чи інваріанти порушуються при структуруванні даних як суцільної сутності в вимірах?rrr Я не є спеціалістом у цій галузі, оскільки я студент з нижчого курсу математики, …

35 data-structures  mathematical-foundations 

Це наївне і, отже, можливо неправильне запитання, тому заздалегідь вибачтесь! На мій погляд, машина Тьюрінга може розглядатися як обчислювальна основа для процедурних / імперативних мов програмування. Аналогічно, обчислення лямбда є основою для функціональних мов програмування. Нещодавно я дізнався, що теза Церкви Тьюрінга також показує взаємну еквівалентність з третьою моделлю обчислення: …

23 programming-languages  mathematical-foundations  church-turing-thesis 

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

15 mathematical-foundations 

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

15 education  linear-algebra  didactics  mathematical-foundations 

З огляду на рядок значень В С , Шенноном ентропійним в журналі базі 2 приходить до 0,922 . Як я розумію, у базі 2 закруглена ентропія Шеннона - це мінімальна кількість бітів у двійковій формі, щоб представити єдине одне із значень.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Зі вступу на цій сторінці вікіпедії: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Отже, як …

14 information-theory  mathematical-foundations  entropy  binary 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 2 роки тому . Взагалі комп'ютерні програмісти, які є математиками або мають математичний досвід, дуже гарні з точки …

14 mathematical-foundations 

Це питання стосується того, чи можна зводити кожну математичну теорему до питання, чи зупиняється одна машина Тьюрінга. Зокрема, мене цікавлять думки, які наразі є недоведеними. Наприклад: говорить Вікіпедія що наразі невідомо, чи є непарні ідеальні числа. Оскільки вирішити, чи дане число є ідеальним, можна написати машину Тьюрінга, яка перевіряє кожне …

11 formal-languages  computability  mathematical-foundations 

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

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains