전체 글

전체 글

    [ZFC Set Theory] XVI. 알레프 수 Aleph NumbersBy 초코맛 도비

    [lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As mentioned in the previous post, this post will introduce the aleph numbers, a specific sequence of cardinal numbers.[/lang-en] [lang-ko]이전 글에서 언급한 바와 같이, 이 글에서는 특정한 순서의 기수인 알레프 수에 대해 소개하겠습니다.[/lang-ko] [lang-en]To introduce the aleph numbers, we need to define the concept of the "next" cardinal. To achieve this, ..

    [ZFC Set Theory] XV. 기수의 산술연산 Cardinal ArithmeticBy 초코맛 도비

    [lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As mentioned in the previous post, we will discuss the cardinal arithmetic in this post. The definitions of cardinal arithmetic are as follows:[/lang-en] [lang-ko]이전 글에서 언급했듯이 이번 글에서는 기수의 산술연산에 대해 다룰 것입니다. 기수의 산술연산은 다음과 같이 정의됩니다.[/lang-ko] [def]{1. [lang-en]Cardinal Arithmetic[/lang-en][lang-ko]기수의 산술연산[/lang-ko]}[l..

    [ZFC Set Theory] XIV. 기수 Cardinal NumbersBy 초코맛 도비

    [lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As noted in the previous post, we will talk about cardinal numbers in this post. Cardinal number is what is commonly called the number of elements of a set. Formally, we can define cardinal numbers as follows:[/lang-en] [lang-ko]저번 글에서 언급했듯이, 이번 글에선 기수에 대해 다룰 것입니다. 기수는 우리가 흔히 집합의 원소의 개수라고 일컫는 그 개념을 말합니다. 보다 엄밀하게는 다음..

    자, 다시 처음으로 돌아와 우리가 다룰 내용을 조금 더 자세히 들여다 봅시다. 써놓고 보니 글 사이의 순서가 살짝 꼬인 것 같지만, 우선 컴퓨터구조에 대해 논하려면 '기계어 프로그램의 동작'에 대해 먼저 살펴볼 필요가 있습니다. 컴퓨터가 하는 일은 주어진 데이터를 주어진 프로그램에 맞게 처리하는 것이니까요. 그리고 이를 윗 단계의 추상화인, 사람이 이해할 수 있는 '코드'와 연관지어보기 위해서는 데이터의 표현 방식과 각 명령어의 동작에 대해 이해해야 합니다. 이렇게 컴퓨터의 동작 및 이를 정의하는 '아키텍처'에 대해 이해하고 나면 이제 주어진 동작을 어떻게 더 빠르게 할 수 있을지에 대해 생각해 볼 수 있습니다. 여러 가지 방법이 있겠지요. '컴퓨터 구조 및 설계' 책의 저자인 David Patterso..

    A 1.05: 둘러보기 & 위대한 발상들By 재두루미

    자, 다시 처음으로 돌아와 우리가 다룰 내용을 조금 더 자세히 들여다 봅시다. 써놓고 보니 글 사이의 순서가 살짝 꼬인 것 같지만, 우선 컴퓨터구조에 대해 논하려면 '기계어 프로그램의 동작'에 대해 먼저 살펴볼 필요가 있습니다. 컴퓨터가 하는 일은 주어진 데이터를 주어진 프로그램에 맞게 처리하는 것이니까요. 그리고 이를 윗 단계의 추상화인, 사람이 이해할 수 있는 '코드'와 연관지어보기 위해서는 데이터의 표현 방식과 각 명령어의 동작에 대해 이해해야 합니다. 이렇게 컴퓨터의 동작 및 이를 정의하는 '아키텍처'에 대해 이해하고 나면 이제 주어진 동작을 어떻게 더 빠르게 할 수 있을지에 대해 생각해 볼 수 있습니다. 여러 가지 방법이 있겠지요. '컴퓨터 구조 및 설계' 책의 저자인 David Patterso..

    [Atkins' PHYSICAL CHEMISTRY] 17B Integrated rate lawsBy 수학은제친구가잘해요

    안녕하세요! 수학은제친구가잘해요입니다!! 글을 안 올린 지 시간이 조금 지났네요 ㅠㅠ 그 동안에 따로 할 일이 좀 있었어서 조금 늦어지게 되었습니다... 저번 글에서 오늘 미분 방정식이 등장한다고 말씀드리긴 했는데, 매우매우 간단한 미분 방정식만 나올 예정이라 따로 공부 안 하셔도 글 보고 이해하실 수 있으실 거예요!! 각설하고 바로 시작해보겠습니다! 이전 게시글 목록입니다. https://susiljob.tistory.com/89 (1B.1(a) Pressure and molecular speed) https://susiljob.tistory.com/90 (1B.1(b) The Maxwell-Boltzmann distribution of speed) https://susiljob.tistory.com/..

    [ZFC Set Theory] XIII. 칸토어 정리 Cantor's TheoremBy 초코맛 도비

    [lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As noted in the previous post, we will talk about Cantor's theorem. Cantor's Theorem is a fundamental concept in set theory that states that for any given set $X$, the power set of $X$ (denoted as $\mathscr{P}(X)$) is strictly larger than $X$ itself. In other words, there are always more subsets of a set than there ..

    [ZFC Set Theory] XII. 칸토어-슈뢰더-베른슈타인 정리 Cantor-Schröder-Bernstein TheoremBy 초코맛 도비

    [lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As noted in the previous post, we will address the question, "Is the $\leq$ between the cardinality of sets antisymmetric?" The answer is, YES! The answer is, yes! But what does this mean exactly? Formally, this can be stated as: "If $\lvert X \rvert \leq \lvert Y \rvert$ and $\lvert Y \rvert \leq \lvert X \rvert$ f..

    [Atkins' PHYSICAL CHEMISTRY] 17A.2 The rates of reactionsBy 수학은제친구가잘해요

    안녕하세요 ㅎㅎ 수학은제친구가잘해요 입니다! FOCUS 16의 내용이 모두 끝나고 오늘부터는 FOCUS 17을 배우면서 반응 속도에 대해서 배워보겠습니다. 사실 반응 속도에 대해서 고등학교 화학 2에서 배우기도 하고, 일반화학에서도 배우는 내용이라 전체 내용의 반 정도는 여러분들이 쉽게 이해하실 것이라 생각합니다! 특히 오늘 배우는 내용은 특별한 게 없어서 금방 끝날 것 같아요. 참고로 17A.1 내용은 시험에 나올 만한 내용도 아니고, 반응 속도를 측정하는 기구와 방법 정도를 소개하는 파트라 글로 안 적고 혼자 읽어보시는 정도로 충분합니다. 그럼 시작해볼게요!! 이전 게시글 목록입니다. https://susiljob.tistory.com/89 (1B.1(a) Pressure and molecular s..

    1945년 폰 노이만이 작성한 EDVAC에 대한 보고서에 영감을 받아 stored-program 구조(프로그램을 데이터와 같은 메모리에 저장하는 구조)를 채택한 여러 컴퓨터가 등장하게 됩니다. EDSAC (1949) 폰 노이만의 보고서에 영감을 받은 모리스 윌크스는 1946년 영국으로 돌아와 그 해 말 EDSAC 컴퓨터의 개발을 시작해 1949년 EDSAC을 완성하게 됩니다. EDSAC 컴퓨터는 진공관과 수은 지연선(delay line) 메모리를 사용하였으며 11kW의 전력을 소모하였습니다. 17-bit 또는 35-bit* (2's complement) 데이터를 처리할 수 있었으며 18-bit 데이터 512개를 저장할 수 있는 메모리가 장착되었고 (이후 1024개 크기로 확장되었습니다.) 입력으로 5줄짜..

    A 1.02: 컴퓨터의 역사 [2]By 재두루미

    1945년 폰 노이만이 작성한 EDVAC에 대한 보고서에 영감을 받아 stored-program 구조(프로그램을 데이터와 같은 메모리에 저장하는 구조)를 채택한 여러 컴퓨터가 등장하게 됩니다. EDSAC (1949) 폰 노이만의 보고서에 영감을 받은 모리스 윌크스는 1946년 영국으로 돌아와 그 해 말 EDSAC 컴퓨터의 개발을 시작해 1949년 EDSAC을 완성하게 됩니다. EDSAC 컴퓨터는 진공관과 수은 지연선(delay line) 메모리를 사용하였으며 11kW의 전력을 소모하였습니다. 17-bit 또는 35-bit* (2's complement) 데이터를 처리할 수 있었으며 18-bit 데이터 512개를 저장할 수 있는 메모리가 장착되었고 (이후 1024개 크기로 확장되었습니다.) 입력으로 5줄짜..

    [Atkins' PHYSICAL CHEMISTRY] 16C.3 The statistical viewBy 수학은제친구가잘해요

    안녕하세요! 수학은제친구가잘해요 입니다 ㅎㅎ 드디어 앳킨스 물리화학 FOCUS 16의 마지막이네요! FOCUS 16이 분량 자체는 압도되게 많은 편은 아니긴 해요. 반응 속도론을 다루는 FOCUS 17, 반응 동력학을 다루는 FOCUS 18, 고체 표면에서의 과정을 배우는 FOCUS 19가 내용은 더 많은 편인데, 좀 가볍게 볼 만한 내용이 없어서 조금 힘들지 않나 생각합니다. 여기까지 따라오신 분들 정말 대단하시구요!! 앞으로도 계속 같이 공부하는 걸로 해요 ㅎㅎ 이전 게시글 목록입니다. https://susiljob.tistory.com/89 (1B.1(a) Pressure and molecular speed) https://susiljob.tistory.com/90 (1B.1(b) The Maxwe..