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

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

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

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

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

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

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

3
Энтропия Шеннона 0,922, 3 различных значения
Учитывая строку значений энтропии Шеннона в логарифм приходит к 0,922 . Из того, что я понимаю, в базе 2 энтропия Шеннона, округленная в большую сторону, является минимальным числом битов в двоичном коде, чтобы представить одно из значений.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Взято из введения на этой странице википедии: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Итак, как три значения могут …

1
Математические темы или области, которые повышают уровень компьютерного программирования? [закрыто]
Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 года назад . Как правило, программисты, которые являются математиками или имеют математическое образование, очень хороши с …

2
Математические гипотезы, эквивалентные остановке машины Тьюринга
Вопрос в том, можно ли свести каждую математическую теорему к вопросу о том, останавливается ли одна машина Тьюринга. В частности, меня интересуют гипотезы, которые в настоящее время не доказаны. Например: Википедия говорит, что в настоящее время неизвестно, существуют ли какие-то нечетные совершенные числа. Поскольку можно решить, является ли данное число …

2
Что такое цепи Маркова?
В настоящее время я читаю некоторые статьи о комковании цепей Маркова и не вижу разницы между цепью Маркова и простым ориентированным взвешенным графом. Например, в статье « Оптимальное сосредоточение в пространстве состояний в цепях Маркова» они дают следующее определение CTMC (непрерывной цепи Маркова): Рассмотрим конечный CTMC с пространством состояний S …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.