«terminology» 태그된 질문

표기법뿐만 아니라 특정 개념을 이해해야하는 방법에 대한 질문.

1
구별 절차 결정 대 SMT 솔버 대 정리 증명 자 대 구속 솔버
그 용어들은 나를 혼동합니다. 내가 이해 한 바로는 SAT 솔버 : 제안 논리의 만족도를 결정합니다 (DPLL 또는 로컬 검색 사용). 결정 절차는 특정 결정 가능한 1 차 이론의 만족도를 결정하는 절차입니다. SMT 솔버는 SAT 솔버 + 결정 절차입니다. 정리 증명은 KeY 도구와 같은 Dynamic Logic과 같은 것을 나타냅니다. 제약 사항 …
2
베타 동등성은 무엇입니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 내가 현재 람다 미적분학을 읽고있는 스크립트에서 베타 동등성은 다음과 같이 정의됩니다. -equivalence 포함한 최소의 등가이다 .≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta 나는 그것이 무엇을 의미하는지 전혀 모른다. 누군가가 …
7
역 광택 표기법의 의미는 무엇입니까?
저는 18 살짜리 학생들에게 컴퓨팅을 가르치고 있습니다. 리버스 폴리시 표기법을 설명한 후 공개 시험에 참여하기에 충분한 이유를 물었습니다. 70 년대 계산기의 역사적 중요성을 설명했지만 실제로이 문제를 해결하지 못했습니다. RPN의 실용적 또는 이론적 응용이 동시에 존재합니다.
5
정확히 무엇입니까?
나는 컴퓨터가 어떤 모호한 의미로 컴퓨터가 무엇인지 알고 있지만 더 엄격한 정의를 원합니다. Dictionary.com의 계산, 컴퓨팅, 계산 및 계산에 대한 정의는 순환 적이므로 도움이되지 않습니다. Wikipedia계산을 "잘 정의 된 모델을 따르는 모든 유형의 계산"으로 정의합니다. 계산을 "가변 변경을 통해 하나 이상의 입력을 하나 이상의 결과로 변환하는 고의적 인 프로세스"로 정의합니다. …
1
누가“기계 학습”이라는 용어를 만들었습니까?
누가 "기계 학습"이라는 용어를 만들 었는지 알아 내려고합니다. 부수적 인 질문은 1959 년 Arthur Samuel이 "기계 학습"분야를 다음과 같이 정의한 곳에서 인용 한 것입니다. 컴퓨터에 명시 적으로 프로그래밍하지 않고도 학습 할 수있는 연구 분야 ? 인터넷에서이 정의에 대한 수많은 참조를 찾을 수 있지만 소스를 추적 할 수는 없습니다. 어떤 사람들은 …
6
학문적으로 '한 컴퓨터가 다른 컴퓨터보다 느리다'고 어떻게 말할 수 있습니까?
나는 연구 논문을 쓰고 있는데 기본적으로 하나의 마이크로 컨트롤러가 다른 마이크로 프로세서보다 느리다는 것을 말해야한다. 그러나 나는 그것이 느리다고 말하는 것이 연구 논문에서 적절하지 않을 것이라고 걱정하고 있습니다. 내가 맞아? 하나의 프로세서가 '더 느리다'고 말하는 것이 좋습니까, 아니면 다른 말을해야합니까? 다른 말을 할 수 있습니까? 내가 생각해 낸 최선은 하나가 …
6
동적 프로그래밍과 Brute Force의 차이점
다음 인용문을 보았을 때 동적 프로그래밍 에 대해 읽었습니다. 동적 프로그래밍 알고리즘은 가능한 모든 방법으로 문제를 해결하고 최상의 솔루션을 선택합니다. 따라서 우리는 동적 프로그래밍을 가능한 모든 솔루션을 통해 최상의 솔루션을 선택할 수 있는 지능적이고 무차별 한 방법 이라고 생각할 수 있습니다 . 문제의 범위가 모든 가능한 솔루션을 통과하는 것이 가능하고 …
5
고정 된 점, 컴퓨터 과학의 세계에서 무엇을 의미 하는가
나는 stackexchange에서 질문과 답변의 고정 된 점 에 대한 언급을 계속 접하고 있으며 Wikipedia와 같은 사이트에서 분명히 참조를 찾는 웹의 의미를 찾습니다. 그러나 참고 문헌 중 어느 것도 고정 소수점이 무엇이며 컴퓨터 과학 세계에서 이것이 무엇을 의미하는지에 대한 내 질문에 실제로 대답하지 않습니다.
3
예외 계층 구조 이론이 있습니까?
나는 어떤 방식 으로든 예외가있는 십여 개의 프로그래밍 언어에 익숙하지만, 두 가지 "병리학 적"경향을 목격하게되었습니다. 일반적인 패턴이나 예외 계층 구조는없는 것 같습니다. 모든 언어는 기본적으로 자체 버전을 롤링하고 예외가 표준으로 만들어지면 표준에서 찾은 예외 종류는 다소 임의적입니다 (대개 소스 코드를 읽는 것과 같은 언어 도구를 만드는 동안 구현 된 예외) …
3
타이핑 규칙을 읽는 방법?
점점 더 많은 언어 연구 논문을 읽기 시작했습니다. 프로그래밍에 대해 더 많이 배울 수있는 매우 흥미롭고 좋은 방법입니다. 그러나, 일반적으로 난 항상 (예를 부분의 세 가지에 걸릴 투쟁 섹션이 제공 이 유형 규칙 : 나는 컴퓨터 과학의 이론적 배경이 부족하기 때문에이). 이 분야에서 시작할 수있는 좋은 책이나 온라인 자료가 있습니까? …
3
널 노드를 나타내는 데 NIL을 사용하는 목적은 무엇입니까?
내 알고리즘 및 데이터 구조 과정에서 교수, 슬라이드 및 책 ( Algorithms 소개, 3 판 )은 NIL예를 들어 존재하지 않는 노드 (트리의)의 자식을 나타내는 단어 를 사용하고 있습니다. 한 번 강의 중에라는 말 대신에 NIL내 반 친구가 말했다 null. 교수가 그를 교정했는데 교수가 왜이 단어를 강조하는지 이해할 수 없다. 사람들 …
3
"소프트"실시간 운영 체제가 실제로 제공하는 보장
"하드"실시간 운영 체제가 무엇인지 알고 있습니다. 응용 프로그램 프로그래머와 계약을 제공하는 스케줄러가있는 운영 체제입니다. 응용 프로그램은 각 자원 할당 요청에 대한 기한을 제공합니다. 경우 마감일 요청이 가능 , 스케줄러는 각 자원 마감일 전에 요청하는 응용 프로그램에 할당됩니다 보장합니다. 애플리케이션 프로그래머가 특정 요청의 최대 대기 시간 및 최소 처리량을 추론 할 …
2
스캇 연속 함수 : 대체 정의
나는이 속성으로 정말로 고투하고있다 : 하자 될 간섭 공간 및 일 단조 함수. 인 경우에만 는 지시 된 집합이 되도록 모든 에 대해 연속적입니다.X,YX,YX,Yf f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) D ⊆ C l ( X ) Df:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.