LUG: Talk Tomorrow: Lambda Calculus - Cyrus Boushehri
jrosenth at mines.edu
Wed Feb 14 08:58:51 MST 2018
Tomorrow, Cyrus will be giving a talk on some of the basic aspects of
lambda calculus, a formal mathematical system based on functions that
serves as a universal model of computation: lambda calculus can be used
to simulate a Turing machine.
Date: Thursday, 2018-02-15
Time: 6 PM
Location: ALAMODE Linux Lab (BB 136)
Also, the Linux Help Session will be in the same room directly before at
5 PM. Look for Adam Frick.
See you there!
Jack M. Rosenthal ( http://inside.mines.edu/~jrosenth
Graduate Student, Computer Science ) http://jack.rosenth.al
We guarantee that each number is random individually, but we
don't guarantee that more than one of them is random.
-- early PMMLCG vendor
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: not available
More information about the LUG