본문 바로가기

upcurve601

이산수학 논리 - 명제, 논리 연산, 술어 논리, 추론 명제명제참과 거짓을 구별할 수 있는 문장이나 수학적 식을 명제라고 한다.명제의 진리값참 (True), T: 명제가 타당한 경우거짓 (False), F: 명제가 타당하지 않은 경우명제의 종류합성명제조건명제, 쌍조건명제항진명제, 모순명제명제의 예다음 문장이 명제인지 아닌지 구분해보자(1) 6은 2의 배수다. -> 명제이다(2) 철수는 공부를 잘한다 -> 명제가 아니다.(3) 2+3=7 -> 명제이다(진리값이 거짓임).(4) x +2 = 0 -> x의 값에 따라서 참일 수도 있고, 거짓일 수도 있다. 따라서 명제가 아니다.  다음 명제의 진리값을 구하라(1) 2,3,6는 소수이다. -> F(2) 소수의 개수는 무한하다. -> T(3) 126 = 2^6 -> F(4) 지구에서 가장 높은 산은 에베레스트이다. -.. 2024. 5. 2.
[프로그래머스] 진료 순서 정하기 - 5가지 방식의 자바 풀이 📌 문제 외과의사 머쓱이는 응급실에 온 환자의 응급도를 기준으로 진료 순서를 정하려고 합니다. 정수 배열 emergency가 매개변수로 주어질 때 응급도가 높은 순서대로 진료 순서를 정한 배열을 return하도록 solution 함수를 완성해주세요. ⚔ 제한 사항 중복된 원소는 없습니다. 1 ≤ emergency의 길이 ≤ 10 1 ≤ emergency의 원소 ≤ 100 👀 문제 해석 이 문제에서는 환자들의 응급 상황을 나타내는 정수 배열 emergency가 주어진다. 배열에서 주어지는 숫자를 기준으로, 응급도가 높은 순서대로 환자들에게 진료 순서를 부여해야 한다. 여기서 각 숫자는 응급도를 의미한다. 정렬 알고리즘이 사용되는 문제라고 볼 수 있다. 주어진 배열을 정렬하되, 원래 배열의 순서에 대한 정보.. 2024. 4. 21.
[독서 기록] 자바 병렬 프로그래밍 간단 회고 👀 다시 읽고 싶다: ★★★★★ 🔥 추천한다: ★★★★★ 🔖 리뷰: 이 책을 읽지 않고 자바 개발자로서 연차가 계속 쌓이다가 시니어쯤 되었을 때 이 책을 만나면 정말 억울했을 것 같다. 사실 벌써 좀 억울하다. 최근에 자바에서 동시성을 탐구해보고 작성했는데, 그 글이 부끄러워졌다. 이 책을 읽고나서 썼더라면 아마 완전히 다른 글이 되었을 것 같다. 이 책은 어렵다. 하지만 그만큼 깊이 있는 내용을 다룬다. 조금 오래된 책이긴 하지만 CS에 있어서 다른 책에서 읽은 부분과 조합되는 부분이 많았고, 퍼즐이 맞춰지면서 지적인 성취감이 느껴지는 경험을 조금 했다. 그런데 그럼에도 확실히 어려워서 몇 년 후 다시 읽으면 새롭게 이해되는 부분이 또 많을 것 같은 책이다. 자바 개발자로서 1회독은 필수인.. 2024. 4. 18.
[독서 기록] 컴퓨터 밑바닥의 비밀 간단 회고 👀 다시 읽고 싶다: ★★★★★ 🔥 추천한다: ★★★★★ 컴퓨터 밑바닥의 비밀 "어? 이 코드가 왜 돌아가지?"라고 생각해 본 경험이 다들 있을 것이다. 코드가 잘 실행되더라도 이 코드가 어떻게 작동하는지, 컴퓨터가 코드를 실행할 때 내부에서 무슨 일이 벌어지는지, 다양한 문제들이 왜 발생하며 이를 어떻게 최적화해야 할지는 모르는 경우가 많다. 이 책은 단순하게 눈앞의 코드 몇 줄이 오류 없이 돌아가는 것에 만족하기보다는 그 안에서 무슨 일이 벌어지고 있으며, 코드에 어떤 영향을 미치는지를 고민하는 개발자들을 대상으로 한다. 이 책에서는 계층별로 추상화되어 있는 컴퓨터 시스템의 구조를 하나씩 뜯어본다. 프로그래밍 언어와 컴파일러로 시작하여 운영 체제와 프로세스, 스레드와 코루틴, 동기화, 메모.. 2024. 4. 14.
[독서 기록] 웹 개발자를 위한 대규모 서비스를 지탱하는 기술 대규모 서비스를 지탱하는 기술 대규모 서비스를 개발ㆍ운용하는 기술자를 위한 입문서! 『웹 개발자를 위한 대규모 서비스를 지탱하는 기술』은 저자가 서버 1대부터 시작하여 1,000대의 호스트를 운영하기까지 수없이 많이 겪었던 시행착오와 해결책, 먼 길을 돌고 돌아서 비로소 체득한 대규모 서비스 개발과 운용에 관한 핵심 노하우들을 전한다. OS 및 컴퓨터의 동작원리, DB 분산방법, 실전적인 알고리즘을 시스템에 적용하는 방법, 대규모 데이터를 요리하는 검색엔진의 원리와 구조, 시스템 전체를 조망하기 위한 인프라 설계지식 등을 다양한 샘플 코드와 함께 자세하게 소개하고 있다. 저자 다나카 신지, 이토 나오야 출판 제이펍 출판일 2011.02.28 1. 대규모 웹 서비스 개발 오리엔테이션 이 책의 근원이 되는 .. 2024. 4. 14.