All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info
Home > Logic
Logic problems. The solution to these problems does not usually require a lot of math, but will take some thinking until you find the right approach.
Sub-Categories (All Problem Categories)
> Liars and Knights> Weights and Scales
A combinator is a function that inputs a combinator and outputs another combinator. The combinator xy is the output of x with input y. There are many combinators. Each combinator has a formula for its output in terms of its input. For example, the identity combinator I always outputs the input. The formula for the identity combinator is Ix=x.

Two useful combinators are S and K. They have the following formulas.
((Sx)y)z=(xz)(yz)
(Kx)y=x

1. Derive I from S and K.
2. Derive B from S and K such that ((Bx)y)z=x(yz) for all x, y, and z.
3. Derive C from S and K such that ((Cx)y)z=(xz)y for all x, y, and z.
4. Prove that all combinators can be derived from S and K.

(No Solution Yet, 0 Comments) Submitted on 2017-06-24 by Math Man   
Page 1 of 41   next >>    
Difficulty: 3 of 5 Empty the bucket | Rating: 4.50
Posted on 2017-05-29 by Ady TZIDON (Solution Posted, 12 Comments)
Difficulty: 2 of 5Two sentences about Lady Chatterley | Rating: 4.00
Posted on 2017-05-18 by ollie (No Solution Yet, 3 Comments)
Difficulty: 3 of 5Unreliable Witnesses | Rating: 3.67
Posted on 2017-05-17 by Charlie (Solution Posted, 4 Comments)
Difficulty: 3 of 5Dirichlet sends his regards | Rating: 3.00
Posted on 2017-05-12 by Ady TZIDON (No Solution Yet, 4 Comments)
Difficulty: 3 of 5One more line |
Posted on 2017-05-10 by Ady TZIDON (No Solution Yet, 3 Comments)
Difficulty: 2 of 5The Dot-town Suicides |
Posted on 2017-04-20 by Ady TZIDON (No Solution Yet, 1 Comments)
Difficulty: 3 of 5Names in Boxes | Rating: 3.75
Posted on 2017-04-09 by Ady TZIDON (No Solution Yet, 10 Comments)
Difficulty: 4 of 5Murder in the Castle | Rating: 4.00
Posted on 2017-03-30 by ollie (No Solution Yet, 4 Comments)
Difficulty: 2 of 5Leave no stone unturned | Rating: 4.00
Posted on 2017-03-19 by Ady TZIDON (Solution Posted, 5 Comments)
Difficulty: 2 of 5An easy whodunit | Rating: 3.50
Posted on 2017-03-08 by Ady TZIDON (Solution Posted, 8 Comments)
Difficulty: 3 of 5Off and On | Rating: 3.00
Posted on 2017-01-29 by Charlie (Solution Posted, 1 Comments)
Difficulty: 1 of 5Beginning of the Month | Rating: 5.00
Posted on 2017-01-09 by Charlie (Solution Posted, 2 Comments)
Difficulty: 3 of 5A's, B's, C's and D's | Rating: 3.00
Posted on 2016-12-30 by Charlie (Solution Posted, 1 Comments)
Difficulty: 3 of 5Who discovered the secret? |
Posted on 2016-12-27 by ollie (No Solution Yet, 4 Comments)
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (8)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2017 by Animus Pactum Consulting. All rights reserved. Privacy Information