«mathematical-foundations» 태그된 질문

컴퓨터 과학의 (하위 분야)와 관련 수학 기초 및 그 응용의 관계에 대한 질문.

29
왜 컴퓨터 코드를 작성하는 것보다 수학 증명을 작성하는 것이 내결함성이 더 좋은가요?
나는 버그없이 컴퓨터 프로그램을 작성하는 것보다 실수를하지 않고 수학 증명을 작성하는 것이 훨씬 쉽다는 것을 알았습니다. 이것은 내 경험보다 더 널리 퍼진 것 같습니다. 대부분의 사람들은 프로그래밍에서 항상 소프트웨어 버그를 만들고, 실수가 무엇인지 알려주는 컴파일러를 가지고 있습니다. 한 번에 실수없이 큰 컴퓨터 프로그램을 작성한 사람에 대해 들어 본 적이 없으며 …
3
논리 란 정확히 무엇입니까?
전제 조건에 대한 또 다른 질문을 한 것이 사과가 될 수 있지만 시작점에 대해서는 혼란 스러웠습니다. 나는 "Modal Logic", "Temporal Logic", "First-order Logic", "Second order Logic"및 "Higher order Logic"과 같은 다양한 용어를 접했습니다. 이 맥락에서 "논리"는 정확히 무엇을 의미합니까? "논리"라는 단어를 어떻게 엄격하게 정의합니까? 나는 몇 권의 책의 시작 페이지를 …
11
컴퓨터 과학의 데이터가 왜 이산적인 것으로 간주됩니까?
데이터의 "구조"는 부울 대수에 전적으로 의존하지만 다음과 같이 이해합니다. 왜 데이터가 연속적인 것이 아니라 이산적인 수학적 실체로 간주됩니까? 이것과 관련하여 : 데이터를 차원 의 연속 엔터티로 구조화 할 때 위반되는 결점 또는 변형은 무엇입니까 ?rrr 저학년 수학 학생으로서 나는이 분야의 전문가가 아니므로, 내가 5 살인 사람이 나에게 이것을 설명한다면 정말 …
2
프로그래밍 언어가 일반적인 재귀 함수를 기본으로 사용합니까?
이것은 순진하고 따라서 잘못된 형식의 질문이므로 미리 사과드립니다! 저의 견해는 튜링 머신이 절차 적 / 제 국적 프로그래밍 언어의 계산 기반으로 간주 될 수 있다는 것입니다. 마찬가지로 람다 미적분은 함수형 프로그래밍 언어의 기초입니다. 나는 최근 교회 튜링 논문이 세 번째 계산 모델 인 일반 재귀 함수 와 상호 동등 함을 …
6
이론적 맥락에서 컴퓨터 과학과 수학을 정확히 구별하는 것은 무엇입니까?
저는 수학 공부에 큰 열정을 갖고있는 컴퓨터 과학의 대학생입니다. 나는 컴퓨터 과학 또는 이론적 컴퓨터 과학이 수학과 논리의 직접적인 분지이며 또한 컴퓨터 과학 학위가 항상 수학 중심이어야한다는 견해를 가지고 있습니다. 내가 틀렸다면 정정 해주세요. 나는 솔직히 모든 프랭크 될 수있는이 개 주제에 많은 차이가없는 느낌 "계산이" 포함 "계산" 모든하지만, "계산" …
6
컴퓨터 과학에서 선형 대수학의 어떤 부분이 사용됩니까?
컴퓨터 공학 자료 (주로 기계 학습)를 이해하는 데 도움을주기 위해 Linear Algebra와 해당 응용 프로그램 을 읽었 지만 CS에 유용한 정보가 많지 않을까 걱정하고 있습니다. 예를 들어, 선형 방정식 시스템을 효율적으로 해결하는 방법을 아는 것은 새로운 방정식 솔버를 프로그래밍하지 않는 한 크게 유용하지 않습니다. 또한이 책은 범위, 선형 의존성 및 …
3
0.922의 섀넌 엔트로피, 3 개의 고유 값
값의 캐릭터 감안할 때 로그베이스, 섀넌 엔트로피를 에 관해서 . 내가 이해 한 바에 따르면, 기초 에서 반올림 된 Shannon Entropy는 값 중 하나를 나타내는 이진수 최소 비트 수입니다.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 이 위키 백과 페이지의 소개에서 가져온 것입니다. https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 그렇다면 어떻게 3 개의 값을 1 비트로 표현할 수 있습니까? AAA 는 111 …
1
컴퓨터 프로그래밍 능력을 향상시키는 수학 주제 또는 분야? [닫은]
폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 일반적으로 수학자이거나 수학 배경이있는 컴퓨터 프로그래머는 일반적으로 알고리즘과 컴퓨터 프로그래밍 측면에서 매우 우수합니다. 내가 말하지 않은 것 …
2
튜링 머신의 정지와 동등한 수학적 추측
이 질문은 모든 수학적 정리가 단일 Turing 기계의 정지 여부에 대한 질문으로 축소 될 수 있는지에 관한 것입니다. 특히, 나는 현재 입증되지 않은 추측에 관심이 있습니다. 예를 들어, Wikipedia 는 현재 홀수의 완벽한 숫자가 있는지 알 수 없다고 말합니다 . 주어진 숫자가 완벽한 지 여부를 결정할 수 있기 때문에 각 …
2
Markov 체인은 무엇입니까?
나는 현재 Markov chain lumping에 관한 논문을 읽고 있는데 Markov chain과 일반 지향 가중치 그래프의 차이점을 보지 못했습니다. 예를 들어 Markov 체인의 최적 상태 공간 덩어리 기사 에서 CTMC (연속 시간 Markov 체인)에 대한 다음 정의를 제공합니다. 우리는 유한 한 CTMC를 고려합니다 (S,Q)(S,Q)(\mathcal{S}, Q) 상태 공간 S={x1,x2,…,xn}S={x1,x2,…,xn}\mathcal{S} = \{x_1, x_2, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.