수테크📱⌚️👀

1.    논리와 증명

1)    논리

• 일상 생활에서는 Soft Logic이 빠르기 때문에 유용 : 논리적으로 부정확한 표현을 사용하지만, 어떤 의미인지 모든 사람이 이미 알고 있다는 가정
• 프로그래밍에서는 Hard Logic을 사용 : 프로그래밍 언어의 표현들이 모두 논리학에서 나온 것 : 사용되는 수많은 알고리즘들을 이해하기 위해서는 Hard Logic이 필요
• 오해의 근원 : Soft Logic으로 알고리즘을 이해하려고 하는 것 / 알고리즘 설명을 보고 또 봐도 이해가 안되는 것은 증명을 안 봤기 때문 / 증명을 봐도 이해가 안되는 것은 직관으로 이해하려고 하기 때문 / 가끔 직관적으로 이해되는 알고리즘이 있지만 조금만 어려워지면 직관으로 완전한 이해를 얻는 것은 사실상 불가능
• 명제의 역, 이, 대우(p->q)

•    ^ : and / v : or (처음 보는디요…)

2)    증명 (정확한 명제식으로 표현할 수 있는 것)

-      수학적 귀납법 : P(1)이 참이고, P(n)->P(n+1)이 참이면 P(n)은 모든 자연수 n에 대해서 참이다

-      항진 명제 : 논리식 혹은 합성명제에 있어 각 명제의 참, 거짓의 모든 조합에 대하여 항상 참인 것

명제 파트를 좀 못하긴 했지만 너무 이해가 안되서 유튜브 찾아봤습니다.

https://www.youtube.com/watch?v=q8-4NmwCHd4 

완전 명쾌하지는 않지만 그래도 "이렇게 생각하면 되겠구나"라는 방향은 잡아주셔서 논리에 대해 조금 이해를 했습니다.

혹시 더 자세하게 아시는 분은 댓글 남겨주세요😊😊

+ ) 백준 하면서 알게 된것!!

 싸피 합격하고 분반 시험으로 백준을 하면 좋을 것 같아서 묵혀 놓은 아이디를 꺼내보았습니다 ㅋㅋㅋㅋ

사실 아이디 없는 줄 알고 가입하려다가 맨날 쓰는 아이디가 존재하는 아이디라고해서 찾아봤더니 있었네요 ㅋㅋㅋㅋㅋㅋ

어떻게 공부할까 하다가 단계별로 풀어보기가 있어서 그걸로 시작!!

아무래도 이런 알고리즘 공부를 하는게 처음이다 보니 단계별로 하는게 좋은거 같아요

1단계 부터 public static void main 이후로 생각이 안나서 고민해보고 하니까 내가 얼마나 몰랐는지 느껴짐...

사칙 연산까지는 Scanner(키보드 입력값) 써서 신나게 풀다가 갑자기 나를 당황하게 한 문제가 생겼는데..

아니 오잉? 어떻게 해야하나? 한참을 고민하다가

일단 입력을 해야하니까 Scanner 사용하고 문자열이니까 Scanner 쓰고 

그 다음에 a = sc.nextString(); 쳤는데 빨간줄 끄여서 생각해보니까 나도 이런거 본적 없어서 한참을 고민하다가

다시 적어서 next뒤에 자동완성으로 나오는게 뭔지 보고 nextLine이 있길래 맞는거 같아서 적었는데

처음으로 첫 시도만에 맞춰서 정말 기분이 좋았다^^ 뿌듯잼....

줄 간격은 안 맞지만 고려해주시구여...

정말 별거 아니지만 맞았습니다!!가 기분이가 정말 좋다 :)

그러고 문자를 입력할때는 sc.nextLine인가보다 싶어서 다시한번 검색을 해봤는데,

next()랑 nextLint()이 있었다

이 둘의 차이는

char이랑 next / string이랑 nextLine 짝꿍이라고 생각하면 될 것 같다!!