ソフトウェアの提出
  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

型付けされていないラムダ計算を調べ、コンピューティングの最も基本的なシステムの 1 つです。非常に単純なルールのセットから始めて、すべての計算が可能です。しかし、ルールが単純だからといって、ラムダの微積分が簡単であるとは限りません: 何かを計算できるポイントに到達するには、巧妙さと創造性が必要です。 このアプリでは、ラムダ計算式 (ラムダ、変数、関数呼び出し) を視覚的に作成し、それらを評価することができます。ブール値、教会の数字、または Y コンビネーターを試してみてください。 タブレットで素晴らしい作品!電話では、風景モードで最高の作品。

関連プログラム

  • Physics Hindi - भौतिक शास्त्र 無料

    これはヒンディー語物理学の本 -भौतिकशा #2360;्त्रこのブックのトピック:: भौतिक शास्त्र (परि

  • MPRE Flashcards 無料

    MPREを効果的に勉強するには?MPRE試験に合格しますか?MPREフラッシュカードを使用すると、あなたがそれらを忘れる直前にMPREフラッシュカードを表示することにより、より速く学び、より短い時間でより多くを覚えているのに役立ちます。MPREフラッシュカードアプリは、いくつかの学習モードを持っています:勉強、スライドショー、マッチング、暗記、MPRE試験のための学習プロセスをよりエキサイティングで楽しくするためにクイズ。

  • Tutorials for Photoshop CS6 無料

    このアプリケーションは、フォトショップの使用方法を学びたい学生を対象としています。 これは公式のアドビ製品ではありません。 これは、Photoshopの異なるバージョンを使用する方法に関する教材を含むアプリケーションです。

  • English Grammar in Hindi 無料

    あなたは正しい場所にいるので、あなたは英語の文法の本やアプリケーションを探している場合。このアプリケーションは、あなたのヒンディー語のラウゲージで英語の文法を提供します。それは非常に強力なクイック検索オプションを持っており、それはヒンディー語で英語の文法を学ぶのに役立ちます。このアプリケーションは、S.S.C&H.S..Cの学生のために特別です。英語文法ヒンディー語アプリの特徴:ユーザーフレンドリークイック検索

  • Recycle Plastic Bottles 無料

    ここでは、このアプリでリサイクルペットボトルのチュートリアルビデオの例です:ペットボトルのリサイクルで5アイデア10 DIY創造的な再利用/リサイクルペットボトルパート1ペットボトル付きの5つのアイデア #1リサイクルペットボトル#4 5アイデア10 DIY創造的な再利用/リサイクルペットボトルパート2DIY工芸品:ブレスレットリサイクルペットボトルプラスチックボトルを再利用する3 DIYクリエイティブな方法D

  • Tamil Computer 無料

    コンピュータ, 技術, インターネット, モバイルは、単純なタミル語で方法を知っています.タミルコンピュータは、コンピュータと技術に関する最初の言語雑誌です。タミルコンピュータは、タミルの印刷メディアで技術報道のための新しい時代を迎えました。英語よりもタミル語に慣れていた読者は、コンピュータを他の方法よりもはるかによく理解する機会を提供したので、母国語でコンピューティングについて読んで喜んでいました。タミルコンピュータの背後

  • Easy Origami Flower Tutorial 無料

    あなたは簡単な折り紙の花を作る方法を学びたいですか?折り紙と折り紙が好きですか?あなたは素敵なバラの折り紙を作りたいですか?あなたは、kusdamaの花を作りたいですか?あなたは一歩一歩紙の花作りを学びたいですか?あなたは紙の花を作る方法を学びたいですか?あなたの答えが「はい」である場合、この簡単な折り紙の花のチュートリアルは間違いなくあなたのためです。このアプリケーションでは、あなたが学び易い紙折り手順の多くを持って

  • Cisco 300-115 Exam Dumps 無料

    killexams.com試験のブレインダンプは、あなたが肯定試験を受けなければならないあなたの一人一人を提供しています。Cisco 300-115 試験では、実際の試験を繰り返す肯定回答を得て試験の質問を受けます。killexams.comの私たちは、トップの評価を超えてあなたの300-115試験に合格するためにあなたを従事させる手配をしています。killexams.comは、あなたが実際のテスト環境を体験することを可能にする私たちの試験シミュ

  • Pre-K Phonics KizPhonics® 無料トライアル

    このアプリでは、子供たちは文字の始まりの音と各文字で始まる3つの新しい単語を学習しながら、アルファベットの大文字と小文字を区別することを学びます。これは、読むことを学ぶ最初のステップです。子どもたちは、これらの活動で音語を学び、意識を印刷します。これらのビデオやゲームは、http://www.kizphonics.com/phonics-program/preschool/の就学前のフォニックスプログラムの一部ですこのアプリは、幼稚園&a

  • Nurse Exam SLE - MOH - DHA 無料トライアル

    看護師のためのこのアプリ固有の、あなたのライセンス試験の準備に重要な看護の質問の数千が含まれています。アプリの目的は、あなたが実際のものを入力する前に多くの試験を行うことなので、あなたは完全に合格する準備ができて、試験の恐れを持っていません。- 看護師の試験アプリ - 機能:1- 質問銀行:過去の試験や参考文献からの最も重要な質問のための質問銀行。2- 仮想試験:すべての学習方法に適したクイズの異なるタイプ。-