기술 블로그

전칭예시화 ∀xP(x)가 주어졌을 때, ∀xP(x)가 true라면 domain에 속하는 임의의 값 c에 대하여 p(c) 가 true임을 보이는데 활용된다. 전칭일반화 ∀xP(x)가 주어졌을 때, domain에 속하는 모든 값 c에 대하여 p(c)가 true이면 ∀xP(x)가 true임을 보일 때 사용하는 추룐 규칙이다. 존재예시화 ∃xP(x)가 주어졌을 때, ∃xP(x)가 true라면, domain 안에 p(c)를 ;true로 하는 값 c가 적어도 하나 있다는 것을 나타내는 추론 규칙이다. 존재일반화 ∃xP(x)가 주어졌을 때, 특정값 c에 대하여 p(c)가 true이면 ∃xP(x)가 true라는 추론규칙이다. 예시 다음 가정이 "Maria has taken a course in computer scie..

중첩된 한정자 ∀x ∀y P(x,y) 임의의 양의 두 실수의 합은 양수이다. L(x, y)를 'x가 y를 사랑한다' 라고 하자. 다음 문장을 기호로 표현. 모든 사람은 어떤 사람을 사랑한다. ∀ x ∃ y L(x, y) -모든 사람 x에 대하여, x가 y를 사랑하는 어떤 사람 y가 존재한다. ∃x ∀y L(x, y) -어떤 사람 x가 존재하는데, 모든 y에 대해서 x가 y를 사랑한다. -어떤 사람은 모든 사람을 사랑한다. 한정 기호의 순서는 중요합니다. 한정 기호의 순서를 바꾸면 의미 또한 바뀝니다. ∀x ∀y P(x, y) ∀y ∀x P(x, y) ∀x ∃y P(x,y) ∃x ∀y P(x,y) ∃x ∃x P(x,y) ∃y ∃x P(x,y) 모든 x에 대하여 P(x,y)를 true로 하는 적어도 하나의 ..

존재한정자 ∃ ( there exist)의 의미로 e를 대문자로 표현하고 좌우로 바꾼 것입니다. 따라서 어떤 x에 대해서 ∃xP(x) : 도메인 D의 어떤 x에 대해서 하는 것입니다. 명제 x의 p(x)가 참이 되도록 하는 domain에 속하는 적어도 하나의 값이 존재하면 ∃x는 참이 되는 것입니다. 존재한정자의 의미는 Domain의 모든 원소를 x1, x2, ... xn으로 나열할 수있다면 ∃xP(x)는 다음과 동일합니다. 구속 변수와 자유 변수 구속 변수와 자유 변수 변수 X에 QUANTIFIER가 적용되거나 특정 값이 할당되면 x를 구속변수라고 합니다. 변수 x에 quantifier가 적용되지 않거나 특정 값이 할당되지 않으면 이를 자유변수라고 합니다.

시스템 명세란? 시스템 공학자나 소프트웨어 공학자는 영어와 같은 자연언어로 요구 사항을 접수 받아 논리에 기반한 정확하고 모호하지 않은 명세서를 작성합니다. 일관성있는 명세가 되기 위해서는 각 명제가 참 이 되도록 명제 변수에 진리 값을 할당할 수 있다면, 명제들의 목록은 일관성이 있다고 봅니다. 즉 시스템 명세는 모순이 나오게 하는 상호 배치되는 요구 사항을 포함해서는 안됩니다. 예시 - 진단 메세지는 버퍼에 저장되거나 또는 재전송된다. - 진단 메세지는 버퍼에 저장되지 않는다. - 진단 메세지는 버퍼에 저장된다면, 재전송된다. 풀이 p : "진단 메세지는 버퍼에 저장된다." q : "진단 메세지는 재전송된다." 시스템 명세 문장들 - p U q - ~ p - p -> q p가 거짓이고 q가 참이면 위..

예시코드 #include #include #include using namespace std; struct Date { int m_month; int m_day; int m_year; }; int main() { Date today; today.m_month = 8; today.m_day = 4; today.m_year = 2024; return 0; } 이렇게 struct를 사용할 수 있지만 class로 바꿀 수도 있습니다. 하지만 class로 바꿀 때 int main에 있는 것들은 에러가 납니다. 왜냐하면 public:을 사용하지 않았기 때문입니다. public: 은 acces specifier라고 부릅니다. 즉 접근지정자라고 부릅니다. class 안에 지정된 것이 밖에서 지정할 수 있는지 없는지를 ..

https://www.acmicpc.net/problem/1316 1316번: 그룹 단어 체커 그룹 단어란 단어에 존재하는 모든 문자에 대해서, 각 문자가 연속해서 나타나는 경우만을 말한다. 예를 들면, ccazzzzbb는 c, a, z, b가 모두 연속해서 나타나고, kin도 k, i, n이 연속해서 나타나기 때 www.acmicpc.net 코드 #include #include #include #include using namespace std; int main() { int n; cin >> n; string word; int count = 0; for (int i = 0; i > word; word.erase(unique(word.begin(), word.end()),..

높은 전압 상태와 낮은 전압 상태의 논리값을 할당할 때 어느것을 0 혹은 1로 설정할지는 설계자의 선택에 따라 달려있습니다. 높은 전압 상태를 1의 논리값으로 할당하고 낮은 전압 상태를 0으로 하는 것을 정논리라고 합니다. 반대로 낮은 전압 상태를 1로 할당하고 높은 전압을 0으로 할당하는 것은 바로 부논리라고 합니다. 정논리와 부논리는 반대의 개념이지만 동일한 입력의 전압 레벨과 동일한 출력을 가지는 전압 레벨이 존재합니다. 정논리의 값과 부논리의 값이 같은 것은 바로 다음과 같습니다. 정논리 AND과 부논리 OR이 어떻게 같은지 보겠습니다. 정논리 AND A B F 0 0 0 0 1 0 1 0 0 1 1 1 부논리 OR A B F 1 1 1 1 0 1 0 1 1 0 0 0 여기서 부논리 OR과 NOR..

NAND 게이트의 기본 개념 [2입력] 입력이 모두 1인 경우에만 출력이 0이 되고, 그렇지 않은 경우에는 출력이 1이 됩니다. 이 게이트는 AND 게이트와는 반대로 작동하는 게이트로서, NOT AND 의미를 가지고서 NAND 게이트라고 부릅니다. NOR 게이트 입력이 모두 0인 경우에만 출력이 1이고, 입력에 1이 하나라도 있으면 출력이 0 XOR 게이트 입력에 1이 홀수 개면 출력 1, 짝수 개면 0 원래 F(출력) = A'*B + A*B' 로 계산해야 함 XNOR 게이트 입력 중 짝수 개의 1이 입력될 때 출력이 1이 되고, 그렇지 않은 경우에는 출력이 0이 됩니다. 출력값은 XOR 게이트에 NOT 게이트를 연결한 것이므로 XOR 게이트와 반대입니다. 2입력 XNOR의 게이트의 경우 두 개의 입력이..

3상태 버퍼란? 출력이 3개 레벨(High, Low, 하이 임피던스) 중의 하나를 갖는 논리 소자 여기서 하이 임피던스는 입력과 출력이 연결되어 있지 않은 상태입니다. 제어단자 E를 통해서 회로를 개폐합니다. E위에 바가 붙으면 Not를 의미합니다. 제어단자 E는 1일때 열리는데 ~E면 0일때 열리게 됩니다. 위의 그림처럼 제어단자가 Low(~E)일 때 동작은 이런 식으로 됩니다. 제어단자가 LOW가면 0에서 출력이 정상적으로 되므로 ~E가 0일때는 정상적으로 나오게 됩니다. 하지만 ~E 가 1일 때는 하이 임피던스가 발생하게 됩니다. 제어단자가 high 즉 E일때는 1이 나올 때 정상적으로 입력과 출력이 되므로 0과 1일 때 그대로 나오는 것을 볼 수 있습니다. 하지만 E가 0일 때는 출력이 되지 않는..

패리티 비트란? 정보의 전달 과정에서 오류가 생겼을 때 검사하기 위해 추가한 비트라고 생각하시면 됩니다. 전송하고자 하는 비트의 끝에 1을 더하여 전송하는 방법으로 2가지의 패리티 비트가 존재합니다(홀수 짝수) 짝수 패리티(even parity) : 데이터에서 1의 개수를 짝수 개로 맞춤 홀수 패리티(odd parity): 데이터에서 1의 개수를 홀수 개로 맞춤 이렇게 하면 하나만 바꿔주면 홀수, 짝수 패리티를 맞출 수 있기 때문에 이런 패리티를 사용하는 것입니다. 패리티함수는 전송 과정에서 에러 검사를 위한 추가비트이며 단지 에러 검출만 할 뿐, 여러 비트에 에러가 발생한 경우에는 검출이 안될 수도 있습니다. 데이터 짝수 패리티 홀수 패리티 A 0 1000001 1 1000001 B 0 1000010 ..