전산학/형식논리학 (9) 썸네일형 리스트형 형식논리학(propositional logic)을 배워보자 - 서론 저는 전산학을 전공하고 있는 곤지라고 합니다:) 제가 처음 다룰 주제는 바로 형식논리학(propositional logic)입니다. 네? 형식논리학이 뭐냐고요? 전산학부는 코딩, 알고리즘, 인공지능 이런거 하는 곳 아니냐고요? 물론 컴퓨터를 다루는 데에 있어서 프로그래밍 언어를 익히는 것, 알고리즘을 이해하는 것도 중요하지만, 가장 중요한 것 중 하나는 ‘논리적인 사고’입니다! 한 번 예를 들어볼까요? 먼저 사람에게 ‘마트에서 우유 좀 사와’ 라고 명령을 내려봅시다. 이때 명령을 받은 사람은 주관적으로, 그리고 유동적으로 일을 처리합니다. 적당히 근처 마트에서 우유 한 팩에서 두 팩 정도를 사올 것이라고 예상할 수 있어요. 하지만 컴퓨터에게 같은 명령을 내린다면 어떨까요? 지금 당장 컴퓨터에게 가서 ‘마.. 이전 1 2 다음
