-
어떤가요..? 풀만 한가요? 이매진 풀고 있고 추가로 풀려고 하는데 난이도랑 퀄리티...
-
생각보다 더 힘드네
-
아 아 아 아 진짜 미친 거 아니냐 10만원 주고 샀는데 체대 때는 끼고 싶었는데 또 못 끼네...
-
수면시간 3시간 0
수학까지만 말짱하게 버텨줘라 내 정신 내 주의력..!
-
ㅋㅋㅋㅋ
-
성심당에 왔어용
-
지금 국어 그냥 독학으로 다른 공부 없이 하루에 평가원 기출 4지문씩만 풀고...
-
난 20분까지 간다.
-
영어 듣기치다가 자는거 아니겟지
-
개힘드네
-
이건 늦었네요 2
죽어야지 그냥 토요일에 쳐야겠군
-
가보자가보자 1
먼저 갑니다 다들 화이팅
-
출발 0
아오 늦겠네 ㅋㅋ
-
혹시 왜 판매종료인지 알 수 있을까요 ? 그리고 판매종료면 올해꺼도 안나오는 거죠,,?
-
원래 지금쯤이면 도착해야하는디 ㅅㅂ
-
25뉴런보고 한번 더 보려고 26뉴런 샀는데,, 미친 비주얼 색깔이 졸ㄹㄹㄹ라 이쁨...
-
생윤 커리 0
지금 이지영쌤 출제자의 눈 개념 끝냈는데 이 시점에서 현자의 돌. 마더텅 ,...
-
지나가는 여자들 중에 절반은 이뻐보이네 미치겟어 수능준비 안할때도 이랬어,,
-
한완수 상중 0
현역 기하 3모 2컷인데 상, 중도 해야하나요?
-
지각 각인데 급함
-
시험지만이라도 받아가서 따로 칠 수 있을까요 지금 차가 레전드로 막혀서 늦을지도...
-
이건 변수인데 2
차가 평소보다 더 막히는데 이런
-
더프 홧팅 2
-
아침 7
쩝쩝
-
일교시좀 0
그만좀 ㅅㅂ
-
전 안봄
-
물변표로 작년에 서성한은 탐구가 거의 의미없음 <<<실제로 했고 올해 심해지면...
-
얼버기
-
얼버기 0
다들 좋은아침
-
언매야 살살좀해주렴
-
오늘 더프였네.. 7시 50분까지 가야되는데 큰일났다!
-
얼버기 0
부지런행
-
게바쁘내 진짜 1
근데 넷플 드라마 하나 처음부터 끝까지 봐버림
-
킹스날 0
-
앞날 깜깜해서 미치겠는데 이것보다 친구를 못보는 게 너무 외롭고 힘듦..고딩 때...
-
맨큐 읽다 보니 어느새 창밖이 환하네요
-
한국사 시간에도 못잠?? 걍 시험 끝났다싶음 자도 되나요
-
일찍 잘걸 ㅜㅡㅜ
-
4덮은 4덮일뿐이지만 4잘 6잘 수잘 드가자~
-
ㅇㅂㄱ 0
애초에 자지도 않았음
-
골좀넣어봐
-
여기 물리 많이쓰이나요? 로드맵에는 딱히 물리같은거없고 코딩 소프트웨어...
-
그날 해야 하는 공부들이 있는데 다 못 끝냈을 때의 스트레스가 너무 심해요. 생활...
-
전문의 따고도 남을시간 아닌감…
-
D-210 0
영어단어 수특 1~13강 복습 사회문화 일탈이론 복습 관료제,탈관료제 복습 수학...
-
자야지 3
-
돌멩이는 신임 4
돌멩이: 수익률 0%정백: 수익률 -9.2% ㅅ ㅣ발
-
윤사 생윤만 봐도 너무 어렵던디 그리고 경우의수 잼병이라 확통은 ㄹㅇ 엄두도...
-
6년동안 읽은책 저거밖에없는데 많이심각한거임?
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

반박빨리빨리위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!

쿠쿠리 쉴드쳐주는게 대의적으로 좋은짓이었나...ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용
논화 앞에서 논리를 논하는자
쿠쿠리 그는 신...은 아니고 병신
논리화학슨수 화내는거 처음봤는데
ㅈㄴ웃김 ㅋㅋ