컴퓨터과학이 여는 세계_9.1 튜링증명 리뷰, 시간복잡도의 개념_이광근 강좌 동영상 예전에 스위치만 켜면 참인 명제만 만드는 기계가 존재한다 --A 라면어떤 명제가 현실적으로 가능한 시간만에 끝난다--H 인 명제가 사실임을 증명했다. 그 증명을 짧게 요야하자면 어떤 명제M이 있을 때, A에서 말한 기계가 M에 대하여'M이 끝난다''M이 끝나지 않는다'를 밝힐 것이다. 그런데 그것을 밝히는 역할은 H에서 말한 기계가 하는 일이므로 A가 참이면 H도 참이다. 또, H가 거짓이라 A가 거짓임을 밝혔다. 그런데 강좌에서 한 학생이 질문을 한다.만약 참인 명제만을 만드는 기계가"어떤 명제 M이 끝나는지 아닌지 알 수 없다." 라는 명제를 증명하면 어떡하죠? 이것을 답하기 전에 명제의 종류를 알아야한다.먼저 기본적인 명제 'p이면 q이다' 같은 것들은 "1st order"명제라고 한다.. 더보기 [Python3] 버스 여행 버스정류장 N개가 있습니다. 정류장에는 1번부터 N번까지의 번호가 매겨져 있습니다.2차원 배열에서 A번 정류장에서 B번 정류장으로 가는 버스가 있다면 O, 없다면 X로 표시합니다.예를들어 3개의 버스정류장이 있을 때 X O X X X O O X X 와 같이 표시하면1번 정류장에서 2번정류장으로 갈 수 있음(첫 번째 줄의 O)2번 정류장에서 3번정류장으로 갈 수 있음(두 번째 줄의 O)3번 정류장에서 1번정류장으로 갈 수 있음(세 번째 줄의 O)이 표를 이용해서 버스를 계속 갈아타서라도 갈 수 있는 정류장을 모두 표시하는 2차원 배열을 리턴하세요.위의 표와 같이 1번에서 2번 정류장으로, 그리고 2번에서 3번 정류장으로 가는 버스가 있다면, 한 번 갈아타면 1번에서 3번 정류장으로 갈 수 있다는 뜻이 됩니.. 더보기 사물인터넷 - 커넥팅랩(편석준, 진현호, 정영호, 임성전) 모바일 시대를 지나 사물인터넷 시대가 다가오고 있다.지금 대처하지 않으면, 아무리 잘나가는 IT기업이라도20년 후엔 생존하지 못할 수도 있다.-존 체임버스, 시스코 회장 가전제품이나 안경, 자동차 등 수 많은 물품들이 인터넷을 통해 연결되고 있다. 이러한 변화가 어떻게 이루어질지 시장은 어떤식으로 바뀌게 될지 새로생길 기술들이 사회에 무슨 영향을 줄지를 다룬 책이다. 여러 사물들이 인터넷에 연결되는 것과 나오게 될 사물들은 다른책과 비교해 비슷한 것이 많지만, 다른책과 달리 기업들의 움직임이나 시장조사 같은것들은 전문성이 느껴질 정도로 심도있게 다룬다. 가장 인상깊은것은 로봇 3원칙처럼 사물인터넷 4원칙을 다룬 내용이다.로봇공학 3원칙0원칙: 로봇은 인류에게 해를 가하거나, 행동을 하지 않음으로써 인류에.. 더보기 이전 1 ··· 3 4 5 6 7 8 9 ··· 73 다음
