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
- conjunction
- formal proof
- arguments
- substitution
- identity elimination
- disjunction
- transitivity of identity
- individual constants
- Validity
- negation
- reiteration
- 1차 논리
- 원자 명제
- terms
- soundness
- first order logic
- identity introduction
- 개별 상수
- predicate symbols
- truth table
- fol
- atomic sentence
- 논리학
- functional symbol
- Connectives
Archives
- Today
- Total
컴공생의 공부LOG
[컴퓨터개론] 리눅스 소개 본문
리눅스란 무엇인가
운영체제의 역사
UNIX (Uniplexed Information and Computing Service)
유닉스의 발전 과정
유닉스의 종류
유닉스의 계통도
리눅스 (Linux)
Mac OS
GNU (GNU is Not Unix)
윈도우 (Windows)
윈도우의 단점
RTOS (Real Time OS)
리눅스의 역사
유닉스 vs 리눅스
리눅스의 탄생
리눅스 커널
리눅스 커널의 발전 과정
리눅스 커널의 버전 종류
커널 버전 숫자의 의미
커널 컴파일과 커널 업그레이드
리눅스 배포판과 X윈도우 시스템
리눅스 배포판
리눅스 배포판의 구성
리눅스 배포판의 종류
리눅스 배포판의 분류
리눅스 배포판 계통도
데비안 리눅스 (Debian Linux)
우분투 리눅스 (Ubuntu Linux)
우분투 리눅스 버전
레드햇 (RedHat)
X윈도우 시스템
X윈도우 시스템이란?
X윈도우의 역사
X윈도우 초기 버전
X윈도우의 구조도
X윈도우의 구조
X윈도우의 특징
X윈도우와 데스크톱 환경 (Desktop Environment)
데스크톱 환경의 종류
Qt
KDE (Kool Desktop Environment)
GNOME
XFCE
'학교 수업 > 1학년 1학기' 카테고리의 다른 글
[컴퓨터개론] 리눅스 사용자와 기본 명령어 (0) | 2024.11.21 |
---|---|
[컴퓨터개론] 리눅스 기본 사용법 (0) | 2024.11.21 |
[컴퓨터개론] 운영체제의 역할 (0) | 2024.11.21 |
[컴퓨터개론] 리눅스 개발환경 구축 (0) | 2024.11.21 |
[컴퓨터개론] 정보보안 (0) | 2024.11.21 |