일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |
- disjunction
- 1차 논리
- reiteration
- arguments
- 논리학
- first order logic
- truth table
- functional symbol
- identity elimination
- fol
- atomic sentence
- Connectives
- soundness
- conjunction
- identity introduction
- individual constants
- substitution
- formal proof
- terms
- Validity
- predicate symbols
- transitivity of identity
- 개별 상수
- negation
- 원자 명제
- Today
- Total
목록2024/11/20 (3)
컴공생의 공부LOG
소프트웨어의 종류와 계층적 구조 소프트웨어의 필요성 및 종류 소프트웨어 필요성- 컴퓨터는 하드웨어만으로 동작하지 않음- 하드웨어와 별도로 컴퓨터를 움직이기 위한 소프트웨어가 필요함- 소프트웨어란?-> 하드웨어를 사용하여 특정 목적을 달성하기 위한 데이터 처리 방법 모음 소프트웨어의 종류 응용 소프트웨어- 특정 작업 시 사용하는 소프트웨어문서 작성 : 아래아한글, MS워드인터넷 : 익스플로러, 크롬영화 재생 : 곰플레이어, 팟플레이어발표 자료 제작 : 파워포인트 시스템 소프트웨어- 시스템 소프트웨어(system software) = 운영체제 + 유틸리티- 운영체제(Operating System, OS)-> 컴퓨터 전체를 관리하고 운영하는 소프트웨어-> 하드웨어를 작동하는 기본 규칙과 절차를 규..
컴퓨터에서 사용하는 단위 용량을 표현하는 단위 비트와 바이트1. 비트(bit)- 컴퓨터에서 데이터를 표시 할 때 사용하는 최소 단위- 2진법을 사용하기 때문에 1비트로 표현 할 수 있는 수는 0과 1 2. 바이트(byte)- 비트 8개를 묶어서 사용하는 단위 (1바이트 = 8비트) 워드CPU의 데이터 처리 속도 변화- 초기 : 한 번에 8비트를 처리하는 CPU 사용 (예 : 개인용 컴퓨터 애플II)- 이후 : 32비트 CPU 등장- 현재 : 64비트 CPU 대중화 워드(word)- 컴퓨터가 한 번에 처리 할 수 있는 데이터 크기를 나타내는 단위- 32비트 CPU : 한 번에 32비트 데이터 처리, 1워드 = 32비트- 64비트 CPU : 한 번에 64비트 데이터 처리, 1워드 = 64비트 ..
컴퓨터의 역사 컴퓨터의 탄생 (1940s) 에니악- 펜실베니아 대학의 모클리와 에커트 교수가 만듦- 최초의 전자식 컴퓨터로써 30톤의 거대한 계산기- 날씨나 바람의 미세한 영향을 미리 프로그래밍해 놓음으로써, 미사일을 발사할 때 정확도를 높임 => 3초 만에 탄도 계산 가능- 진공관 1만 8,000개와 전선을 여러 잭에 꽂아 회로를 연결- 계산한 결과는 진공관을 통해 확인 (켜지면 1, 꺼지면 0) => 이러한 원리는 컴퓨터가 2진법을 사용하는 이유임- 선을 연결하여 논리 회로를 구성한 하드 와이어링 (hard wiring) 방식 일괄 처리 시스템 (1950s) IC칩-기술이 발전하면서 진공관을 대치하는 트랜지스터를 사용- 또 트랜지스터 여러 개를 하나로 만든 IC(Integrated C..