.. _ChurchNumerals:

.. raw:: html

   <script>ODSA.SETTINGS.DISP_MOD_COMP = true;ODSA.SETTINGS.MODULE_NAME = "ChurchNumerals";ODSA.SETTINGS.MODULE_LONG_NAME = "Church numerals and Booleans";ODSA.SETTINGS.MODULE_CHAPTER = "Lambda Calculus"; ODSA.SETTINGS.BUILD_DATE = "2017-10-08 00:53:41"; ODSA.SETTINGS.BUILD_CMAP = false;JSAV_OPTIONS['lang']='en';JSAV_EXERCISE_OPTIONS['code']='java';</script>


.. |--| unicode:: U+2013   .. en dash
.. |---| unicode:: U+2014  .. em dash, trimming surrounding whitespace
   :trim:


.. This file is part of the OpenDSA eTextbook project. See
.. http://algoviz.org/OpenDSA for more details.
.. Copyright (c) 2012-13 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata:: 
   :author: David Furcy and Tom Naps


Church Numerals and Booleans
============================

Church Numerals
---------------

Text forthcoming

RP 18 Part 1
------------

This problem will help you recognize and use the Church numerals as
well as the representation of the corresponding addition and
multiplication operators. To get credit for this randomized problem,
you must solve it correctly three times in a row.

.. avembed:: Exercises/PL/RP18part1.html ka
   :module: ChurchNumerals
   :points: 1.0
   :required: True
   :threshold: 5.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java
   :long_name: RP set #18, question #1

Church Booleans
---------------

RP 18 Part 2
------------

This problem is about a possible representation for the ternary IF/THEN/ELSE
operator.

.. avembed:: Exercises/PL/RP18part2.html ka
   :module: ChurchNumerals
   :points: 1.0
   :required: True
   :threshold: 5.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java
   :long_name: RP set #18, question #2

RP 18 Part 3
------------

This problem is about a possible representation for the binary OR
operator.

.. avembed:: Exercises/PL/RP18part3.html ka
   :module: ChurchNumerals
   :points: 1.0
   :required: True
   :threshold: 5.0
   :exer_opts: JXOP-debug=true&amp;JOP-lang=en&amp;JXOP-code=java
   :long_name: RP set #18, question #3