본문 바로가기
숨터
가볍게 읽는 공간
이미지 차단
차단 없음
모든 이미지 표시
디시콘만
댓글·본문 디시콘 차단
본문 이미지만
본문 이미지를 차단하고 댓글 디시콘은 표시
본문 이미지까지
디시콘과 본문 이미지 모두 차단
전체
베스트
최근
← logic 게시판
lambda calculus 의의가 뭔가요?
익명(223.62)
2019-10-13 09:18
추천 0
함수의 표현방식의 일종인건 알겠는데
어떤 특징이 있는 건지...
댓글 3
람다 셈법은 함수형 프로그래밍 언어의 뿌리에요 - dc App
기괴공학도(mecheng98)
2019-10-13 14:13
답글
함수형 프로그래밍이먼가여
익명(223.62)
2019-10-13 20:48
답글
윗분은 아이피가 같네요. 어쨌든 개념부터 공부하고 의의를 논해야겠습니다
익명(223.38)
2019-10-14 12:35
다른 게시글
철수와 영희의 밥값 계산
[5]
공대생(115.23)
|
19.10.11
추천 2
[논리철학] ‘139.162는 죽는다’ 를 논증하는 효율적인 방법
[4]
익명(175.223)
|
19.10.09
추천 0
수학적 귀납법 질문
[4]
럿셀수리(114.200)
|
19.10.01
추천 0
수학갤에 올리기 싫어서 올리는 집합론 질문
[2]
럿셀수리(114.200)
|
19.09.28
추천 0
논리식 질문 (양상?)
[8]
익명(58.140)
|
19.09.27
추천 0
벤슨 메이츠 기호논리학 연습문제 풀어주실분?
[4]
럿셀수리(114.200)
|
19.09.24
추천 0
스티븐 바커 기초논리학 연습문제 해답 있으신 분?
[6]
ㄱㅇㅎ(121.188)
|
19.09.22
추천 0
Lowenheim-Skolem theorem 문제 도와주실 분 계신가요?
[5]
익명(107.204)
|
19.09.18
추천 0
연역논증, 귀납논증 구분 방법에 대해 질문드려요.. ㅎ
[17]
뇌리논리(221.146)
|
19.09.16
추천 0
왜 "이론"을 추론에 대해 닫힌 집합으로 정의할까요?
[12]
익명(119.203)
|
19.09.12
추천 0
더보기
검색
제목+내용
제목
내용
글쓴이
댓글
검색
목록으로
↑
람다 셈법은 함수형 프로그래밍 언어의 뿌리에요 - dc App
함수형 프로그래밍이먼가여
윗분은 아이피가 같네요. 어쨌든 개념부터 공부하고 의의를 논해야겠습니다