일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
- formal proof
- soundness
- Validity
- predicate symbols
- conjunction
- arguments
- transitivity of identity
- 1차 논리
- negation
- 논리학
- substitution
- disjunction
- 원자 명제
- reiteration
- functional symbol
- identity elimination
- identity introduction
- fol
- first order logic
- individual constants
- terms
- truth table
- 개별 상수
- Connectives
- atomic sentence
- Today
- Total
목록학교 수업/1학년 1학기 (36)
컴공생의 공부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
리눅스 사용자 관리 리눅스의 사용자 리눅스의 다중 사용자 환경 슈퍼 유저 (=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와 ..
가상머신의 개념가상머신이란?- PC 1대만으로여러대의PC를운영하는것처럼만드는방법- 가상머신소프트웨어또는가상머신프로그램이라부름 가상머신 소프트웨어- 컴퓨터에설치된운영체제(호스트OS)안에가상의컴퓨터를만들수있음- 가상의컴퓨터안에또다른운영체제(게스트OS)를설치・운영할수있음 일반적인 컴퓨터 사용 환경- 현재호스트컴퓨터에는운영체제로윈도우가설치되어있다고가정- 기존에설정된IP주소를이용하여네트워크카드를통해인터넷에접속함 실습에서 사용할 환경- PC 1대에서리눅스3대를구동- 리눅스서버,리눅스서버(B),리눅스클라이언트- 원래PC에설치된윈도우까지,총4개의운영체제가PC1대에서동작함- 실습환경구성계획-> 가상머신(게스트컴퓨터)3대를만들고리눅스3대설치 가-> 상머신3대에는가상IP주소를할당-> 가상라우터를통해가상머신3대를하나의네트워크..
보안의 개념과 물리보안보안의 개념 보안의 개념-보안이란?-> 다양한 위협에서 자신의 신체나 재산을 지키는 일체의 행위-보안 기술은 물리보안과 정보보안으로 나뉨-> 물리보안 : 물리적인 위협을 막는 기술-> 정보보안 : 온라인에서 발생하는 위협을 막는 기술 물리보안 물리보안- 돈을 훔치는 도둑질, 강도 등 공격 행위- 지폐나 유가증권을 위조하는 행위- 원래 내용을 다른 내용으로 바꾸는 변조 행위- 유사 제품을 제조 및 유통하는 행위- CD나 음반 등 저작물을 무단으로 복제(저작권 침해)하는 행위 피싱(phishing)- 개인(private)과 낚시(fishing)의 합성어- 보이스피싱 사례ex) 은행,검사,경찰을 사칭하여 돈을 송금하게 함ex) 특정 장소에 돈을 보관하게 하여 착취ex) 자녀가 납치된..
소프트웨어의 종류와 계층적 구조 소프트웨어의 필요성 및 종류 소프트웨어 필요성- 컴퓨터는 하드웨어만으로 동작하지 않음- 하드웨어와 별도로 컴퓨터를 움직이기 위한 소프트웨어가 필요함- 소프트웨어란?-> 하드웨어를 사용하여 특정 목적을 달성하기 위한 데이터 처리 방법 모음 소프트웨어의 종류 응용 소프트웨어- 특정 작업 시 사용하는 소프트웨어문서 작성 : 아래아한글, 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비트 ..