Вопросы с тегом «mathematical-foundations»

Я заметил, что мне гораздо проще записывать математические доказательства без ошибок, чем записывать компьютерную программу без ошибок. Кажется, это нечто более распространенное, чем просто мой опыт. Большинство людей постоянно ошибаются в программном обеспечении, и у них есть компилятор, который постоянно сообщает им, в чем заключается ошибка. Я никогда не слышал …

190 correctness-proof  mathematical-foundations  philosophy 

Возможно, извинения за то, что я задал еще один вопрос о предпосылках, но я был озадачен начальными моментами. Я встречал различные термины, такие как «модальная логика», «временная логика», «логика первого порядка», «логика второго порядка» и «логика высшего порядка». Что именно означает «логика» в этом контексте? Как мы строго определяем слово …

36 logic  mathematical-foundations 

Я понимаю, что «структура» данных полностью зависит от булевой алгебры, но: Почему данные считаются дискретным математическим объектом, а не непрерывным? С этим связано: Какие недостатки или инварианты нарушаются при структурировании данных как непрерывного объекта в измерениях?ррr Я не эксперт в этой области, так как я учусь на старшекурснике по математике, …

35 data-structures  mathematical-foundations 

Это наивный и, следовательно, возможно, некорректный вопрос, поэтому заранее извиняюсь! Я считаю, что машина Тьюринга может рассматриваться как вычислительная основа для процедурных / императивных языков программирования. Точно так же лямбда-исчисление является основой для функциональных языков программирования. Недавно я узнал, что тезис Черча-Тьюринга также показывает взаимную эквивалентность с третьей моделью вычислений: …

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

Я студент университета компьютерных наук, с большим увлечением изучать математику. У меня есть твердое убеждение, что информатика или теоретическая информатика является прямым разделом математики и логики, а также мнение, что степень по информатике всегда должна быть ориентирована на математику. Пожалуйста, поправьте меня, если я ошибаюсь. Честно говоря, я чувствую, что …

15 mathematical-foundations 

Я читал Линейную Алгебру и ее Приложения, чтобы помочь понять материал информатики (главным образом машинное обучение), но я обеспокоен тем, что большая часть информации не полезна для CS. Например, знание того, как эффективно решать системы линейных уравнений, не кажется очень полезным, если вы не пытаетесь запрограммировать новый решатель уравнений. Кроме …

15 education  linear-algebra  didactics  mathematical-foundations 

Учитывая строку значений энтропии Шеннона в логарифм приходит к 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 с пространством состояний S …

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