-
인생망함 0
과거의 나와 미래의 내가 싸우며 현재의 내가 고통을 받음
-
맛점이요
-
나도 저런 따뜻한 말투 쓰고 싶다 미소녀가아니라서못하나봐
-
시간 왤케 빨라..
-
귀여운 담요단 1
내 일상인데
-
신창섭 섭 섭 섭 섭 섭
-
자작시:죽음 0
밥먹고 공부해야 겠음뇨
-
얼버기 17
지금 11시 반이죠?
-
ktx 화장실은 2
올 때마다 냄새 ㅅㅂㅋㅋ
-
3월 모의고사에서 백분위 기준 몇 정도 떨어지나요 보통
-
그냥 극히 일부의 돈에눈먼 비양심 교사들이 자기 신분 속이고 문항공모...
-
이대봉 ㅅㅂ련… 0
현역 6모도 이 지문을 시작으로 개말렸는데 지금 3번째 풀어봤는데도 ㅈㄴ 어렵네…...
-
미적분쎈 대충 다풀었는데 b단계빼고 그다음 교재로 뭐푸는게나음? 그냥 일단 c단계도...
-
아무데나 쓴 자작시들 옮겨적고 있음뇨.. 작아서 불편하긴한데 감성은 있네뇨
-
고3인데 내신은 3.0에서 3.6으로 하락햇고3모는 64655를 받으면서 완전...
-
매일 아침마다 수특 분석한거 읽으려고 하는데 어떤 선생님의 분석서가 가장...
-
흠...
-
혼밥 6
-
원래 단과대에서 아카라카 응모할 때는 그나마 구글 스프레드로 선착순 배부했는데 이제...
-
자결하기 2
푸슉
-
계산기에 나타난 결과 값이 1.365248010*10^7kg´이다. 결과 값의...
-
역시 메가스터디 플래너가 제일 많나요, ???
-
1컷에서 4점마다 인원이 많아서 1컷이 78인가 그런데 내가 82라서 얼마 차이 안...
-
우울증걸려서 공부못해서 수능떨어지는것보다 나으니까 살이 탄다해도 일부로 점심먹고...
-
미친놈
-
시발점 워크북 4
개정 시발점 수1수2 완강하고 수분감 수1수2 step1까지 다 풀고 확통1단원...
-
이거거든~
-
아이랑 자리가 떨어졌다길래 창가자리였는데..
-
이차함수 f(x), f(1)=7, f(2)=0임 두 점 (1, 7), (2, 0)을...
-
3월 14일쯤 시작해서 오늘 올오카가 마무리 됐는데, 내일만 잡고 쭉 올오카...
-
5덮보러 3
타학원 가야하나..;
-
코는 필러같은 간단 시술?로 대체할까... 아무리 생각해도 코수술까지 하면 비용부담 심하네
-
제곧내
-
짜증과 분노보단 무기력함과 공포가 느껴졌을꺼 같음 보통의 독해력과 추론력으로는 손도...
-
32222 1
건홍동 공대ㄱㄴ해요? 미적 언매 과1사1
-
나름 국어좀 한다고 생각하는데 88점으로 2등급.. 독서 어렵지 않나요? 5개...
-
CC만 안 뜨면 되지ㅋㅋ 난 몰라
-
1. 아이돌(투어스 신유) 매우 정확하다. 2. 필자 외모 9등급 치곤 선방했다!
-
심찬우 체화 0
혹시 지금 심찬우 선생님 현강 합류할려고 하는데, 지금 합류하기에는 늦었을까요?...
-
걍 1시간을 자버림 샹 ㅋㅋㅋㅋ
-
ㅅㅂㅅㅂㅅㅂㅅ
-
ㅈㄴ 뛰어서 겨우 탐 아 다리 아파
-
1.시험이 얼마 안남아서 내신공부를 해야 함 2.내신공부가 좆같이 하기 싫음...
-
옛날에 문제 만들 때 나오던 악랄함을 다시금 되살려...
-
화1 생1 고2때 내신으로만 했는데 올해 수능판 못뜨면 털고 생물학과로 전과할...
-
변증법,브레턴우즈,카메라 다 있네 무슨 ㅋㅋㅋㅋㅋ 변증법 하나만 있어도 멘탈 소멸할거같은데
-
과탐 투과목은 가점 때문에라도 사실상 필수인가요?
-
이게질린다면내명줄이다한걸거야
-
굿.
-
머리아픔
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

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

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