Computer science 관련 내용

해킹이 다른 사람의 컴퓨터 시스템이나 통신망에 정당한 접근 권한 없이 접근하거나 허용된 접근 권한의 범위를 초과하여 침입하는 행위 자체를 의미
크래킹은 그렇나 불법적 접근을 통해 다른 사람의 컴퓨터 시스템이나 통신망을 파괴하는 행위

소프트웨어 크래킹(software cracking)은 소프트웨어를 수정하여 소프트웨어를 크랙하는 사람이 원하지 않는 기능들, 보통은 수정 방식을 비활성화하거나 제거하는 일

자동 정리증명(Automated theorem proving)
- 자동 추론 연구의 한 분야로, 수학적 정리들을 컴퓨터 프로그램을 통해 형식적으로 증명하는 것
-> 컴퓨터를 이용한 증명 : 수학적 증명과정에 컴퓨터를 이용한 계산이 포함되어 있는 경우 
-> 기호계산은 수학이나 과학분야에서 기호 들로 구성된 대상에 대해 컴퓨터로 계산을 대신하는 처리를 말함
-> 논리형프로그래밍은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둠

자동화된 추론
- 각기 다른 면의 추론을 이해하기 위한 컴퓨터 과학, 인지과학, 수리 논리의 한 분야