Notice
Recent Posts
Recent Comments
Link
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 | 31 |
Tags
- reiteration
- formal proof
- 개별 상수
- first order logic
- soundness
- 원자 명제
- individual constants
- terms
- truth table
- fol
- Connectives
- atomic sentence
- predicate symbols
- disjunction
- transitivity of identity
- identity introduction
- Validity
- arguments
- conjunction
- substitution
- negation
- 논리학
- 1차 논리
- identity elimination
- functional symbol
Archives
- Today
- Total
컴공생의 공부LOG
[컴퓨터개론] 리눅스 파일 다루기 본문
리눅스 파일
파일 관련 명령어
touch
mkdir
rmdir
cp
rm
mv
file
cat
more
리눅스 파일의 특징
파일 소유권 (ownership)과 허가권 (permission)
파일 허가권
chmod
파일 소유권
chown
파일 소유권 실습
링크
하드 링크 (hard link)와 심볼릭 링크 (symbolic link)
파일 링크 실습
파일 압축 및 tar
리눅스 압축 파일 포맷
tar
gzip
bzip2
zip
실제 압축 파일 풀기
압축 파일 실습
압축 파일 해제 실습
파일 내용 검색
grep
파일명으로 검색
find
'학교 수업 > 1학년 1학기' 카테고리의 다른 글
[컴퓨터개론] 프로세스 (0) | 2024.11.21 |
---|---|
[컴퓨터개론] 쉘과 명령어 (0) | 2024.11.21 |
[컴퓨터개론] 리눅스 사용자와 기본 명령어 (0) | 2024.11.21 |
[컴퓨터개론] 리눅스 기본 사용법 (0) | 2024.11.21 |
[컴퓨터개론] 리눅스 소개 (0) | 2024.11.21 |