[이산수학] 논리와 명제

논리와 명제 논리 #1 논리 사고하는 사람이 주어진 문제를 객관적으로 명확한지 여부와 사고의 법칙을 체계적으로 추구하여 분석하는지 여부로 결정 #2 논리의 목적 특정한 논리를 통한 입증이 옳은가를 측정하는 데 필요한 법칙을 제공 알고리즘의 설계나 증명, 논리 프로그램 관련, 관계형 데이터베이스 이론 등에 필요한 이론적 기반을 제공 #3 명제 논리 (Propositional Logic) 주어와 술어를 구분하지 않고 전체를 하나의 식으로 처리하여 참 또는 거짓을 판별하는 법칙 #4 술어 논리 (Predicate Logic) 주어와 술어로 구분하여 참 또는 거짓을 판별하는 법칙 명제 #1 명제 어떤 사고를 나타내는 문장 중에서 true나 false를 객관적이고 명확하게 구분할 수 있는 문장이나 수학적 식 어떤..

• format_list_bulleted Computer Science/Discrete Mathematics
• · 2023. 8. 5.
• textsms

[이산수학] 이산수학 개요

이산수학이란? 1) 이산수학 과학 기술과 공학적 응용의 핵심은 수학 이산수학을 통해 복잡한 문제를 추상화함 논리적으로 엄밀하게 판단하고 정확한 방법으로 모델링함 이산수학 : 연속의 개념을 사용하지 않고 이산적인 수학 구조에 대해 연구하는 학문 → 집합, 정수, 관계, 그래프, 형식 언어와 같은 개념을 다룸 2) 이산수학 학습이 중요한 이유 이산적 개념을 적용하는 컴퓨터의 사용이 계속적으로 증가 컴퓨터공학, 정보통신, 소프트웨어 등의 정보기술 분야에서 시스템을 설계하거나 컴퓨터를 이용하여 문제를 해결함 이산수학과 관련된 지식은 전자공학, 기계공학 등 여러 공학 분야에도 중요한 학문적 기반 이산적 개념과 연속적 개념 이산적 개념 / 연속적 개념 → 디지털 시계처럼 일정한 속도로 생성되는 펄스에 따라 시각과 ..

• format_list_bulleted Computer Science/Discrete Mathematics
• · 2023. 8. 1.
• textsms

되 나눔수

문제 설명 임의의 정수 n이 있을때, n의 약수의 개수로 n을 나눌 수 있을 경우 이를 되 나눔수 라고 한다 예를 들어 1(1개), 12(6개), 9(3개)의 경우 되 나눔이 가능하지만 7(2개), 16(5개)의 경우 되 나눔이 되지 않는다 숫자 a, b (1≤a≤b≤1000000)(b-a≤1000)이 입력되었을 경우, a,b를 포함하여 a부터 b 사이에 있는 수 중 되 나눔 수의 개수를 구하는 프로그램을 작성하고자 한다 입력 첫째 줄에 검사하고자 하는 총 경우의 수 T (1≤T≤50)가 주어진다 이어지는 T 줄 각각엔 두 정수 a, b가 하나의 공백으로 구분되어 주어진다 출력 검사하는 각 경우에 대해 a부터 b 사이에 있는 수 중 되 나눔 수의 개수를 출력하라 실행 예시 입력 6 1 2 1 200 90..

• format_list_bulleted Problem Solving/C++
• · 2023. 8. 1.
• textsms

[운영체제] 대용량 저장 장치 관리

저장 장치 1) 저장 장치 #1 저장 장치 목적 프로그램과 데이터를 보조적으로 저장 하드 디스크, SSD, CD 등 #2 저장 장치의 특성 GB에서 TB 크기의 대용량 장치 비휘발성 영구 기역 장치 가상 메모리의 스왑 공간 2) 저장 장치 성능과 신뢰성 저장 장치가 컴퓨터 성능과 신뢰성에 영향을 줌 #1 입출력 병목 문제 저장 장치의 성능에 따라 발생 가능 저장 장치의 속도가 cpu 처리 속도에 비해 매우 느려 많은 입출력 요청 시 발생 입출력 병목 현상으로 cpu 유휴 시간이 늘고 시스템전체를 느려지게 함 줄이기 위한 방법으로 빠른 저장 장치 사용 및 디스크 캐시 증가, 메모리 크기 증가, 디스크 스케줄링 사용 #2 데이터 신뢰성 저장 장치의 고장은 데이터 손실을 가져옴 데이터 신뢰성을 높이는 방법 →..

• format_list_bulleted Computer Science/Operating System
• · 2023. 7. 26.
• textsms

[운영체제] 파일 시스템 관리

파일 시스템과 저장 장치 1) 파일과 저장 장치 파일 : 정보를 저장하고 관리하는 논리적 단위 컴퓨터 시스템 관점에서 정보를 저장하는 컨테이너 → 0과 1로 이루어진 데이터 덩어리로 영구 저장 장치나 일시 저장 장치에 저장 운영체제는 파일 생성, 기록, 읽기 모든 과정을 통제 2) 디스크 장치 #1 디스크 매체 정보가 저장되는 원형 판 : 플래터 플래터 한 면당 하나의 헤드를 가지며 플래터에서 정보를 읽고 저장하는 장치 #2 디스크 제어 모듈 프로세서 : 디스크 메체 모듈 제어, 물리적인 디스크 액세스 진행 디스크 캐시 : 호스트와 디스크 매체 모듈 사이의 중간 버퍼 역할 3) 섹터/트랙/실린더/블록 #1 섹터 디스크에 정보가 저장되는 최소 단위 #2 트랙 플래터에 정보가 저장되는 하나의 동심원 여러 개..

• format_list_bulleted Computer Science/Operating System
• · 2023. 7. 25.
• textsms

2178번 - 미로 탐색

문제 N×M크기의 배열로 표현되는 미로가 있다. 미로에서 1은 이동할 수 있는 칸을 나타내고, 0은 이동할 수 없는 칸을 나타낸다. 이러한 미로가 주어졌을 때, (1, 1)에서 출발하여 (N, M)의 위치로 이동할 때 지나야 하는 최소의 칸 수를 구하는 프로그램을 작성하시오. 한 칸에서 다른 칸으로 이동할 때, 서로 인접한 칸으로만 이동할 수 있다. 위의 예에서는 15칸을 지나야 (N, M)의 위치로 이동할 수 있다. 칸을 셀 때에는 시작 위치와 도착 위치도 포함한다. 입력 첫째 줄에 두 정수 N, M(2 ≤ N, M ≤ 100)이 주어진다. 다음 N개의 줄에는 M개의 정수로 미로가 주어진다. 각각의 수들은 붙어서 입력으로 주어진다. 출력 첫째 줄에 지나야 하는 최소의 칸 수를 출력한다. 항상 도착위치로..

• format_list_bulleted Problem Solving/C++
• · 2023. 7. 24.
• textsms