본문 바로가기

천천히, 꾸준히..15

TCP/IP 4계층 ? 원문 : https://yozm.wishket.com/magazine/detail/1956/ 데이터를 주고받기 위해, 네트워트가 탄생 하게 됨 내 컴퓨터 안에 있던 데이터를 다른 컴퓨터와 교환하기 위해 연결을 하면서 네트워크가 되고, 네트워크간의 연결이 인터넷이 된 것 ! 네트워크가 하는 행동 ? 내가 원하는 것을 상대방에게 요청하고, 응답 받는 것 같은 컴퓨터 안에서 다른 응용 프로그램과 통신하기 같은 네트워크 안에 있는 컴퓨터의 응용프로그램과 통신하기 다른 네트워크에 있는 컴퓨터의 응용 프로그램과 통신하기 등.. 위 글에서는 택배 배송과정으로 컴퓨터 네트워크에 대해 알아보는 글 오.. 좋당 2024. 3. 6.

[이산수학] 논리 명제 참과 거짓을 구분 할 수 있는 문장 또는 수식 구분 할 수 있다면 명제이고, 진리값(참/거짓)도 알 수 있음 논리연산 논리연산 (논리합, 논리곱, 부정, 배타적 논리합) 합성명제 조건명제 [ p -> q ] 쌍조건명제 [ p q ] 논리적 동치 [ p ≡ q ] 항진명제와 모순명제 술어논리 명제함수 ? 변수의 값에 의해 함수의 진리값이 결정되는 문장이나 식 한정자 전체한정자(∀) -> "모든(임의의)"을 의미 존재한정자(∃) -> "존재한다"를 의미 추론 참(T)이라고 알려져 있는 사실로부터 논리적인 과정을 거쳐 참(T)인 사실들을 이끌어내는 과정을 추론이라고 함 전제를 참(T)이라고 가정했을 때, 결론이 항상 참(T)인 추론을 유효추론이라고 함 2024. 3. 4.

[이산수학] 개요 이산수학이란 ? 이산적인 수학구조(뚝뚝떨어진)에 대해서 연구하는 학문 모델링과 추상화 성공적인 문제 해결을 위해 도구, 기법, 방법론 선택이 중요함 수학적 모델링 ? 수학적 도구로 실생활의 문제를 해결할 수 있도록 추상화 하는 과정 추상화 ? 특정한 성질을 뽑아내는 것 => 문제 해결을 위해 꼭 필요한 것만 남기고 관련 없는 내용을 제거하거나 단순화 시키는 과정 정보모델링 ? 실생활의 문제를 컴퓨터에서 해결할 수 있는 형태로 추상화하는 과정 알고리즘 언어 알고리즘을 모호하지 않게 표현하기 위해 컴퓨터 프로그래밍 언어(PL), 순서도, 의사코드 등을 사용 컴퓨터로 해결 할 수 있는 문제 => 순차/선택(if/switch)/반복(for/while/foreach) 연습문제 Q 연속적인 데이터 집합을 주위에서 .. 2024. 3. 4.

[Docker] 디스크 공간 부족 : overlay2 파일 정리 최근 WRF용 컨테이너를 만들면서 빌드했다 삭제했다를 반복중인데, df -h로 용량을 확인해보면 계속 남은 용량이 줄어들고 있어서 사용하지 않는 도커 이미지를 삭제했는데도 계속 용량이 줄어들고 있었음.. 아래는 현재 내 사용중인 디스크 현황과 docker/overlay2 에서 사용중인 용량을 확인 할 수 있다. 총 1.4T 중에 927GB를 사용중인데, 그 중 822GB를 docker/overlay2 에서 사용중이다... mimi@mimi:~/wk$ df -h Filesystem Size Used Avail Use% Mounted on tmpfs 6.3G 2.7M 6.3G 1% /run /dev/nvme0n1p5 1.4T 927G 375G 72% / tmpfs 32G 102M 32G 1% /dev/shm.. 2023. 12. 28.

이전 1 2 3 4 다음

티스토리툴바