Я заметил, что мне гораздо проще записывать математические доказательства без ошибок, чем записывать компьютерную программу без ошибок. Кажется, это нечто более распространенное, чем просто мой опыт. Большинство людей постоянно ошибаются в программном обеспечении, и у них есть компилятор, который...
Возможно, извинения за то, что я задал еще один вопрос о предпосылках, но я был озадачен начальными моментами. Я встречал различные термины, такие как «модальная логика», «временная логика», «логика первого порядка», «логика второго порядка» и «логика высшего порядка». Что именно означает «логика»...
Я понимаю, что «структура» данных полностью зависит от булевой алгебры, но: Почему данные считаются дискретным математическим объектом, а не непрерывным? С этим связано: Какие недостатки или инварианты нарушаются при структурировании данных как непрерывного объекта в измерениях?ррr Я не эксперт в...
Это наивный и, следовательно, возможно, некорректный вопрос, поэтому заранее извиняюсь! Я считаю, что машина Тьюринга может рассматриваться как вычислительная основа для процедурных / императивных языков программирования. Точно так же лямбда-исчисление является основой для функциональных языков...
Я читал Линейную Алгебру и ее Приложения, чтобы помочь понять материал информатики (главным образом машинное обучение), но я обеспокоен тем, что большая часть информации не полезна для CS. Например, знание того, как эффективно решать системы линейных уравнений, не кажется очень полезным, если вы не...
Я студент университета компьютерных наук, с большим увлечением изучать математику. У меня есть твердое убеждение, что информатика или теоретическая информатика является прямым разделом математики и логики, а также мнение, что степень по информатике всегда должна быть ориентирована на математику....
Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 года назад . Как правило, программисты, которые являются математиками или имеют...
Учитывая строку значений энтропии Шеннона в логарифм приходит к 0,922 . Из того, что я понимаю, в базе 2 энтропия Шеннона, округленная в большую сторону, является минимальным числом битов в двоичном коде, чтобы представить одно из значений.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Взято...
Вопрос в том, можно ли свести каждую математическую теорему к вопросу о том, останавливается ли одна машина Тьюринга. В частности, меня интересуют гипотезы, которые в настоящее время не доказаны. Например: Википедия говорит, что в настоящее время неизвестно, существуют ли какие-то нечетные...
В настоящее время я читаю некоторые статьи о комковании цепей Маркова и не вижу разницы между цепью Маркова и простым ориентированным взвешенным графом. Например, в статье « Оптимальное сосредоточение в пространстве состояний в цепях Маркова» они дают следующее определение CTMC (непрерывной цепи...