일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
- reiteration
- identity elimination
- first order logic
- formal proof
- negation
- functional symbol
- 원자 명제
- substitution
- soundness
- 1차 논리
- conjunction
- arguments
- predicate symbols
- 개별 상수
- Validity
- truth table
- Connectives
- disjunction
- transitivity of identity
- identity introduction
- individual constants
- 논리학
- fol
- terms
- atomic sentence
- Today
- Total
목록2024/11/21 (12)
컴공생의 공부LOG
awk 유틸리티awk 변수
소프트웨어 관리 우분투 패키지 패키지 설치 명령어 소프트웨어 컴파일하기패키지 설치하기프로그램 작성Make 파일 활용하기
리눅스 파일 시스템리눅스 디렉토리 구조리눅스 파일과 디렉터리 이름 규칙파일 시스템의 종류 리눅스 디스크 관리저장 매체 인터페이스하드디스크 추가하기디스크 관리 명령어
쉘의 개념
리눅스 파일파일 관련 명령어 touch mkdir rmdir cp rm mv file cat more 리눅스 파일의 특징 파일 소유권 (ownership)과 허가권 (permission) 파일 허가권 chmod 파일 소유권 chown 파일 소유권 실습 링크 하드 링크 (hard link)와 심볼릭 링크 (symbolic link) 파일 링크 실습 파일 압축 및 tar 리눅스 압축 파일 포맷 tar gzip bzip2 zip 실제 압축 파일 풀기 압축 파일 실습 압축 파일 해제 실습 파일 내용 검색 grep 파일명으로 검색 find
리눅스 사용자 관리 리눅스의 사용자 리눅스의 다중 사용자 환경 슈퍼 유저 (=root) 일반 사용자 사용자 추가하기 (슈퍼 유저 권한 필요) 리눅스 명령어 기본 명령어 리눅스 명령어의 규칙 날짜 및 시간 확인 시스템 정보 확인 사용자 정보 확인 디렉터리 내용 확인 패스워드 변경 화면 정리 온라인 매뉴얼 명령에 대한 간단한 설명 파일과 디렉터리 파일의 종류 일반 파일 (regular file) 디렉터리 파일 (directory file) 장치 파일 (device file) 심볼릭 링크 파일 (symbolic link file) 리눅스 파일파일 관련 명령어리눅스 파일의 특징파일 압축 및 tar
우분투 리눅스 기본 사용법 시작과 종료시작 종료 터미널을 통한 종료 터미널 닫기 로그아웃 우분투 데스크톱 환경 우분투 데스크톱 상단의 구성요소 시작 아이콘들 프로그램 선택 한국어 입력 방식 선택 기타 설정 파일 텍스트 편집기 찾기 자주 사용하는 프로그램 아이콘 고정 자주 사용하지 않는 프로그램 아이콘 제거 터미널과 쉘터미널 사용법 자동 완성 기능 명령어 관리 터미널 화면 청소 쉘 쉘(shell)이란? 쉘의 종류 Bash 쉘의 특징 쉘 명령문의 형식 환경 변수 .bashrc .bashrc의 사용 예 쉘 스크립트 쉘 스크립트 작성 실습
리눅스란 무엇인가 운영체제의 역사 UNIX (Uniplexed Information and Computing Service) 유닉스의 발전 과정 유닉스의 종류 유닉스의 계통도 리눅스 (Linux) Mac OS GNU (GNU is Not Unix) 윈도우 (Windows) 윈도우의 단점 RTOS (Real Time OS) 리눅스의 역사 유닉스 vs 리눅스 리눅스의 탄생 리눅스 커널 리눅스 커널의 발전 과정 리눅스 커널의 버전 종류 커널 버전 숫자의 의미 커널 컴파일과 커널 업그레이드 리눅스 배포판과 X윈도우 시스템리눅스 배포판 리눅스 배포판의 구성 리눅스 배포판의 종류 리눅스 배포판의 분류 리눅스 배포판 계통도 데비안 리눅스 (Debian Linux) 우분투 리눅스 (Ubuntu Linu..

프로세스 관리 프로그램과 프로세스의 차이 프로세스의 개념- 프로세스(process)는하나의작업단위- 사용자가마우스를더블클릭하여프로그램(program)을실행하면 그프로그램은프로세스가됨 프로그램과 프로세스의 비유- 레시피→조리→요리- 프로그램→생성→프로세스 프로그램과 프로세스의 차이1. 프로그램- 어떤데이터를사용하여어떤작업을할지그절차를적어놓은것- 하드디스크같은저장장치에보관하고있다가마우스로더블클릭하면실행 2. 프로세스- 프로그램으로작성된작업절차를실제로실행에옮긴다는의미- 해당코드가메모리에올라와서작업이진행된다는의미 프로그램과 프로세스 예제- 팟플레이어는하드디스크에저장된프로그램중하나-> 저장장치에보관된정적인상태- 팟플레이어를실행시키면프로세스가됨-> 메모리에올라와서작업을수행하는동적인상태 프로세스 상태 보기PCB와 ..