을 찾고 있는 예술의 이산수학이 도움이[마감]

Question

후 영감을 보이클 깃털의 SCNA 이야기"자체 교육 및 장인"나는 흥미를 들에 대한 실질적인 예를 소프트웨어 개발에서는 이산수학이 있을 입증했다.

Answer 1

개별 수학에는 감동의 모든 측면 소프트웨어 개발로 소프트웨어 개발에 기반 컴퓨터에서 과학의 핵심이다.

http://en.wikipedia.org/wiki/Discrete_math

읽는 링크가 있습니다.당신이 볼 수많은 실제 응용 프로그램이지만 이는 위키백과 항목을 주로 말에서는 이론적인 용어입니다.

Answer 2

대학에서 이산 수학 과정에서 배운 기술은 Layton Games 교수와 상당히 도움이되었습니다.

그것은 도움이되는 것으로 간주됩니다 ... 맞습니까?

맵 채색 알고리즘이 색칠 맵에만 도움이되는 실제 예제가 많이 있습니다. 최종 시험의 질문은 6 방향 교차로의 신호등 프로그래밍과 관련이있었습니다.

Answer 3

San Jacinto에서 알 수 있듯이 프로그래밍의 기초는 개별 수학에 매우 묶여 있습니다. 또한 '이산 수학'은 매우 광범위한 용어입니다. 이러한 것들이 아마도 특정 예를 선택하기가 더 어려워 질 것입니다. 나는 소수를 생각해 낼 수 있지만 많은 사람들이 많이 있습니다.

컴파일러 구현은 좋은 예의 좋은 원천입니다. 분명히 여기에는 자동화 / 공식 언어 이론이 있습니다. 등록 할당은 그래프 채색 측면에서 표현 될 수 있습니다. 컴파일러 최적화에 사용되는 전형적인 데이터 흐름 분석은 격자와 같은 대수 구조에 대한 기능 측면에서 표현 될 수 있습니다.

간단한 예가 지시 된 그래프를 사용하는 것은 토폴로지 정렬을 수행하여 개별 작업과 관련된 종속성을 취하는 빌드 시스템에 있습니다. 지시 된 그래프의 개념을 사용하지 않고이 문제를 해결하려고 시도한 경우, 결국 부면 조정 코드로 빌드를 통해 종속성을 추적하려고 시도했을 것입니다. 주기적 의존성은 우아하지 않았습니다).

분명히 대부분의 프로그래머는 자체 최적화 컴파일러 또는 빌드 시스템을 작성하지 않으므로 내 경험에서 예제를 선택하겠습니다. Satnav 시스템에 도로 데이터를 제공하는 회사가 있습니다. 그들은 데이터에 대한 자동 무결성 검사를 원했습니다. 그 중 하나는 네트워크를 모두 연결해야한다는 것이 었습니다. 즉, 시작점에서 어디서나 갈 수 있어야합니다. 모든 위치 쌍 사이에서 경로를 찾아서 데이터를 확인하는 것은 비현실적입니다. 그러나 도로 네트워크 데이터에서 지시 된 그래프를 도출 할 수 있습니다 (회전 제한과 같은 것들 등을 인코딩하는 방식)이 문제가 그래프의 강력하게 연결된 구성 요소를 찾는 것으로 줄어 듭니다. 표준 그래프 - 효율적인 알고리즘에 의해 해결되는 이론적 개념.

Answer 4

나는 소프트웨어 테스트 과정을 수강했으며, 강의 3 개는 테스트와 관련하여 개별 수학을 검토하는 데 전념했습니다. 이러한 용어로 테스트 계획에 대해 생각하는 것은 테스트를보다 효과적으로 만드는 데 도움이되는 것 같습니다.

특히 세트 이론에 대한 이해는 데이터베이스 개발에 특히 중요합니다.

다른 응용 프로그램이 많이 있다고 확신하지만 여기에는 두 가지가 있습니다.

Answer 5

많은 많은 것 중 하나의 예입니다 ...

빌드 시스템에서는 토폴로지 분류 작업을 사용하는 것이 인기가 있습니다.

빌드 시스템을 통해 의존성 관계가있는 작업을 관리 해야하는 모든 시스템을 의미합니다.

프로그램을 작성하고 문서 생성, 건축 건물, 조직 회의 - 작업 관리 도구, 협업 도구 등에 응용 프로그램이 있습니다.

Answer 6

나는 Modus Tollens에서 올바르게 절차를 테스트한다고 생각합니다. 제안 논리 (및 이산 수학)의 개념, Modus 톨렌은

p => q. ! q, 그러므로! p.

"기능이 올바르게 작동하는 경우"테스트가 P => Q에 전달 된 다음 주어진대로 테스트가 전달됩니다 ( "테스트가 통과되지 않았다"). 그러면이 모든 진술이 실제로 정확하다면, 수정 기능을 반환하기위한 유효하고 건전한 기초가 있습니다. 대조적으로, 많은 대부분의 테스터가 원칙에 따라 운영 될 수 있습니다.

"프로그램이 제대로 작동하면 테스트가 통과됩니다. 테스트가 통과되어 프로그램이 제대로 작동합니다."

이것은 다음과 같이 쓸 수 있습니다 : p => q. Q, 따라서 P.

그러나 이것은 "결과를 확인하는 것"의 오류이며 테스터가 보여준 것을 보여주지 않습니다. 즉, 그들은이 기능이 "검증"되었으며 배송 될 수 있다고 잘못 생각합니다. Q가 주어지면 p는 실제로 참이거나 p => q에 대해 사실이 될 수 있으며, 이것은 진실 테이블로 표시 될 수 있습니다.

Modus Tollens는 위조와 같은 Karl Popper의 과학 개념의 핵심이며 테스트는 거의 같은 방식으로 진행되어야합니다. 우리는이 기능이 항상 명시적이고 암시적인 상황에서 항상 작동한다는 주장을 위조하려고 노력하고 있습니다.