소프트웨어 제출
  1. 홈
  2. Android
  3. 교육 및 교육 도구
  4. Lambda Calculus Playground
  5. Download

Lambda Calculus Playground 1.1.0

라이센스: 무료 ‎파일 크기: 1.36 MB
‎사용자 평가: 0.0/5 - ‎0 ‎투표

에 대해 Lambda Calculus Playground

컴퓨팅에서 가장 기본적인 시스템 중 하나인 무형의 람다 미적분을 살펴보십시오. 놀랍도록 간단한 규칙 집합부터 시작하여 모든 계산이 가능합니다. 그러나 규칙이 간단하다고 해서 람다 미적분학이 쉽다는 것을 의미하지는 않습니다: 당신은 무엇이든 계산할 수 있는 지점에 도착하기 위해 약간의 영리함과 창의성이 필요합니다. 이 응용 프로그램은 시각적으로 람다 미적분 표현 (람다, 변수 및 기능 통화)을 만들고 평가 할 수 있습니다. 부울, 교회 숫자 또는 Y 콤비네이터를 시험해 보십시오. 정제에 좋은 작품! 휴대 전화에서 풍경 모드에서 가장 잘 작동합니다.

관련 프로그램

  • Physics Hindi - भौतिक शास्त्र 무료

    이 힌디어 물리학서 -&#2349 #2380&#2340 #2367&#2325 #2367&#2367&#2358&#2366&#2360&#2381&#2340&#2381र이 책의 주제:: भौतिक शास्

  • MPRE Flashcards 무료

    MPRE를 효과적으로 공부하는 방법?MPRE 시험에 성공하시겠습니까?MPRE 플래시 카드를 사용하면 더 빨리 배우고 잊어 버리기 직전에 MPRE 플래시 카드를 보여 줌으로써 짧은 시간에 더 많은 것을 기억하는 데 도움이됩니다. MPRE 플래시 카드 응용 프로그램은 몇 가지 학습 모드가 있습니다 : 연구, 슬라이드 쇼, 일치, 암기, 퀴즈는 MPRE 시험에 대한 학습 과정을 더 흥미

  • Tutorials for Photoshop CS6 무료

    이 응용 프로그램은 포토샵을 사용하는 방법을 배우고 자하는 학생들을위한 것입니다. 이것은 공식 어도비 제품이 아닙니다. 이것은 포토샵의 다른 버전을 사용하는 방법에 대한 교육 자료와 응용 프로그램입니다.

  • English Grammar in Hindi 무료

    영어 문법 책이나 응용 프로그램을 찾고 있다면 올바른 장소에 있습니다.이 응용 프로그램은 힌디어 라우게지에서 당신에게 영어 문법을 제공 할 것입니다.그것은 매우 강력한 빠른 검색 옵션을 가지고 있으며 힌디어 영어 문법을 배우는 데 도움이됩니다.이 응용 프로그램은 특별히 S.S.C 및 H.S..C 학생들을위한 것입니다.영어 문법 힌디어 응용 프로그램 기능 :사용자 친화적빠른 검

  • Recycle Plastic Bottles 무료

    다음은이 응용 프로그램에서 플라스틱 병 자습서 비디오를 재활용의 예입니다 :플라스틱 병을 재활용하는 5가지 아이디어10 DIY 창조적 인 방법 재사용 / 재활용 플라스틱 병 부분 1플라스틱 병 5 아이디어 # 1재활용 플라스틱 병 #4 5 가지 아이디어10 DIY 창조적 인 방법 재사용 / 재활용 플라스틱 병 부분 2DIY 공예품: 플라스틱 병을 재활용하는 팔찌플라스틱 병

  • Tamil Computer 무료

    컴퓨터, 기술, 인터넷, 모바일은 간단한 타밀에서 방법을 알고있다.타밀 컴퓨터는 컴퓨터와 기술에 대한 최초의 언어 잡지입니다. 타밀 컴퓨터는 타밀 인쇄 매체의 기술 커버리지를 위한 새로운 시대를 열었습니다.영어보다 타밀에 더 익숙한 독자들은 모국어로 컴퓨팅에 대해 기꺼이 읽었는데, 이는 그들이 그렇지 않은 것보다 훨씬 더 나은 컴퓨터를 이해할 수 있는 기회를 제공했기 때문에 행복했습니다

  • Easy Origami Flower Tutorial 무료

    당신은 쉽게 종이 접기 꽃을 만드는 방법을 배우고 싶으십니까?종이 접기와 종이 접는 것을 좋아합니까?당신은 사랑스러운 장미 종이 접기를 만들고 싶습니까?쿠수다마 꽃을 만들고 싶으신가요?종이 꽃 만들기 단계별로 배우고 싶으신가요?종이 꽃을 만드는 방법을 배우고 싶습니까?당신의 대답이 '예'인 경우,이 쉬운 종이 접기 꽃 튜토리얼은 확실히 당신을위한 것입니다. 이 응용 프로그램에

  • Cisco 300-115 Exam Dumps 무료

    killexams.com 시험 브레인덤프는 긍정 시험을 해야 하는 모든 사람에게 제공합니다. Cisco 300-115 시험은 실제 시험을 반복하는 확정된 답변으로 시험 질문을 드립니다. killexams.com 300-115 시험에 합격하여 최고 평가를 통과할 수 있도록 준비합니다. killexams.com 당신이 실제 테스트 환경을 경험할 수 있도록 우리의 시험 시뮬레이터를 테스트, 데모 버전을 통

  • Pre-K Phonics KizPhonics® 무료 평가판

    이 응용 프로그램에서, 아이들은 문자의 시작 소리와 각 문자로 시작하는 세 개의 새로운 단어를 학습하는 동안 알파벳의 대문자와 소문자 문자를 구별하는 법을 배워야합니다. 이것은 읽기 를 배우는 첫 번째 단계입니다. 어린이들은 이러한 활동에서 전화와 인쇄 의식을 배우게 됩니다. 이 비디오와 게임은 http://www.kizphonics.com/phonics-program/preschool/ 우리의

  • Nurse Exam SLE - MOH - DHA 무료 평가판

    이 응용 프로그램은 간호사에 대한 특정, 이는 당신의 면허 시험을 준비하는 데 중요한 간호에 질문의 수천을 포함.앱의 목적은 실제 시험에 들어가기 전에 많은 시험을 치르는 것이므로 완전히 통과 할 준비가되어 있으며 시험에 대한 두려움이 없습니다.- 간호사 시험 앱 - 기능 :1- 질문 은행:과거 시험 및 참조에서 가장 중요한 질문에 대한 질문 은행.2- 가상 시험:모든 학습